A logic of intention and action for regular BDI agents based on bisimulation of agent programs.
Wayne WobckePublished in: Auton. Agents Multi Agent Syst. (2015)
Keyphrases
- bdi agents
- reasoning engine
- mental states
- agent architecture
- agent programming
- autonomous agents
- agent model
- multi agent systems
- internal state
- multiagent systems
- dynamic logic
- belief desire intention
- reasoning about actions
- bdi model
- mental attitudes
- multi context systems
- cognitive agents
- intelligent agents
- action selection
- operational semantics
- automated reasoning
- modal logic
- logic programming
- recursive programs
- computer programs
- situation calculus
- dynamic environments
- expert systems
- social networks