Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic.
Truls PedersenSjur K. DyrkolbotnThomas ÅgotnesPublished in: AT (2013)
Keyphrases
- modal logic
- modal operators
- nonmonotonic logics
- rational agents
- temporal logic
- decision making
- decision procedures
- inference rules
- social choice
- classical logic
- epistemic logic
- default logic
- possibilistic logic
- situation calculus
- dynamic logic
- conditional logic
- model checking
- user preferences
- prime implicates
- soft constraints
- autoepistemic logic
- case based reasoning
- natural language