Some Proof Systems for Common Knowledge Predicate.
Yoshihito TanakaPublished in: Reports Math. Log. (2003)
Keyphrases
- expert systems
- knowledge representation
- distributed systems
- learning systems
- artificial intelligence
- complex domains
- enormous amounts
- learning environment
- domain knowledge
- knowledge discovery
- knowledge based systems
- intelligent behavior
- knowledge acquisition
- logic rules
- formal languages
- knowledge transfer
- design process
- higher level
- knowledge management
- e learning
- information systems