A Modal Logic for Beliefs and Pro Attitudes.
Kaile SuAbdul SattarHan LinMark ReynoldsPublished in: AAAI (2007)
Keyphrases
- modal logic
- mental attitudes
- modal operators
- cognitive effort
- decision procedures
- temporal logic
- inference rules
- epistemic logic
- conditional logic
- belief revision
- nonmonotonic logics
- attitudes toward
- default logic
- classical logic
- situation calculus
- dynamic logic
- bdi agents
- decision making
- formal semantics
- mental states
- autoepistemic logic
- belief functions
- model checking
- prime implicates
- default theories
- propositional logic
- normative systems
- programming language
- artificial intelligence
- description logic alc