A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report.
Piotr J. GmytrasiewiczEdmund H. DurfeePublished in: AAAI (1992)
Keyphrases
- modal operators
- domain knowledge
- data mining techniques
- logic programming
- expert systems
- learning systems
- knowledge sharing
- probabilistic knowledge
- student modeling
- knowledge acquisition
- design process
- deductive reasoning
- classical logic
- multi valued
- belief functions
- knowledge extraction
- domain experts
- data mining
- knowledge based systems
- knowledge management
- knowledge representation
- knowledge base
- decision making