Commonsense reasoning in Prolog.
Wei Si JiangWilliam G. WeePublished in: ACM Conference on Computer Science (1987)
Keyphrases
- commonsense reasoning
- knowledge representation
- logic programming
- nonmonotonic reasoning
- event calculus
- incomplete information
- classical logic
- expert systems
- knowledge base
- formal theory
- programming language
- logic programs
- default reasoning
- deductive databases
- natural language
- theorem proving
- artificial intelligence
- first order logic
- machine learning
- database systems
- automated reasoning
- possibility theory