The Role of Logic in Knowledge Representation and Commonsense Reasoning.
Robert C. MoorePublished in: AAAI (1982)
Keyphrases
- commonsense reasoning
- knowledge representation
- logic programming
- classical logic
- nonmonotonic reasoning
- knowledge base
- expert systems
- event calculus
- incomplete information
- knowledge acquisition
- description logics
- artificial intelligence
- formal theory
- automated reasoning
- machine learning
- autoepistemic logic
- natural language
- missing information
- default logic
- modal logic