Strategies in Human Nonmonotonic Reasoning.
Marilyn FordDavid BillingtonPublished in: Comput. Intell. (2000)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- default logic
- belief revision
- commonsense reasoning
- conditional logic
- nonmonotonic inference
- defeasible reasoning
- nonmonotonic logics
- proof theoretic
- autoepistemic logic
- possibility theory
- abductive reasoning
- defeasible logic
- general purpose
- causal inference
- extended logic programs
- expert systems
- deductive databases
- knowledge representation
- artificial intelligence
- inheritance reasoning