Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription.
Patrick DohertyAndrzej SzalasPublished in: KR (2008)
Keyphrases
- qualitative preferences
- commonsense knowledge
- default reasoning
- knowledge base
- reasoning systems
- automated reasoning
- knowledge representation
- user preferences
- satisfiability problem
- default logic
- model based diagnosis
- nonmonotonic reasoning
- decision making
- language understanding
- reasoning process
- spatial reasoning
- theorem prover
- situation calculus
- probabilistic reasoning
- belief revision
- logic programming
- commonsense reasoning
- reasoning mechanisms
- bayesian networks
- loop formulas
- artificial intelligence