Mental State Ascription Using Dynamic Logic.
Michal P. SindlarMehdi DastaniJohn-Jules Ch. MeyerPublished in: ECAI (2010)
Keyphrases
- mental states
- dynamic logic
- intelligent agents
- reasoning about actions
- modal logic
- bdi agents
- imperative programs
- operational semantics
- autonomous agents
- propositional dynamic logic
- communicative acts
- belief desire intention
- speech acts
- first order logic
- cognitive agents
- cognitive states
- rational agents
- modal operators
- internal state
- group activities
- agent programming
- high level
- belief revision
- general purpose