Comirit: Commonsense Reasoning by Integrating Simulation and Logic.
Benjamin JohnstonMary-Anne WilliamsPublished in: AGI (2008)
Keyphrases
- commonsense reasoning
- nonmonotonic reasoning
- classical logic
- incomplete information
- event calculus
- knowledge representation
- formal theory
- logic programming
- autoepistemic logic
- mathematical model
- machine learning
- expert systems
- artificial intelligence
- logic programs
- general purpose
- missing information
- nonmonotonic logics