A Practical System for Defeasible Reasoning and Belief Revision.
Maria R. CravoJoão P. MartinsPublished in: ECSQARU (1993)
Keyphrases
- belief revision
- defeasible reasoning
- conditional logic
- nonmonotonic reasoning
- default reasoning
- belief change
- propositional logic
- logical properties
- knowledge base
- possibility theory
- defeasible logic
- belief update
- logical framework
- possibilistic logic
- minimal change
- temporal logic
- fixpoint
- nonmonotonic logics
- argumentation systems
- formal semantics
- default logic
- natural language
- reinforcement learning