Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming.
Koen V. HindriksM. Birna van RiemsdijkPublished in: DALT (2008)
Keyphrases
- temporal logic
- qualitative preferences
- agent programming
- satisfiability problem
- computation tree logic
- modal logic
- situation calculus
- model checking
- temporally extended goals
- dynamic logic
- game theoretic
- agent systems
- multi agent
- mental states
- partial observability
- operational semantics
- game theory
- control program
- bounded model checking
- belief revision
- utility function
- user preferences
- artificial intelligence
- epistemic logic
- search algorithm