Applications of Circumscription to Formalizing Common Sense Knowledge.
John McCarthyPublished in: NMR (1984)
Keyphrases
- default reasoning
- world knowledge
- logic programs
- situation calculus
- theorem prover
- commonsense knowledge
- default logic
- closed world reasoning
- disjunctive logic programming
- autoepistemic logic
- semantic network
- sentiment analysis
- closed world assumption
- answer sets
- nonmonotonic reasoning
- logic programming
- general logic programs
- nonmonotonic logics
- data sets
- loop formulas
- databases
- minimal models
- real world
- stable model semantics
- information retrieval
- feature generation
- fixpoint
- probabilistic reasoning