On a Minimal Logic of Default Conditionals.
James P. DelgrandeBryan RennePublished in: Computational Models of Rationality (2016)
Keyphrases
- nonmonotonic inference
- conditional logic
- default rules
- modal logic
- nonmonotonic reasoning
- commonsense reasoning
- proof theoretic
- default reasoning
- logic programming
- classical logic
- sound and complete axiomatization
- default logic
- belief revision
- inference rules
- minimal models
- nonmonotonic logics
- multi valued
- data sets
- autoepistemic logic
- epistemic logic
- asynchronous circuits
- expert systems
- knowledge base
- artificial intelligence
- inheritance reasoning
- databases