Algebraic specification of agent computation.
David KinnyPublished in: Appl. Algebra Eng. Commun. Comput. (2005)
Keyphrases
- multi agent
- multiagent systems
- intelligent agents
- multi agent systems
- decision making
- agent architecture
- agent model
- autonomous agents
- software agents
- multiple agents
- efficient computation
- decision theoretic
- formal specification
- higher order
- action selection
- artificial agents
- agent systems
- agent oriented
- bdi agents
- cognitive agents
- database
- specification language
- mobile agents
- dynamic environments
- high level
- real time