Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols.
Jaime RamírezAngélica de AntonioPublished in: ESAW (2005)
Keyphrases
- communication protocols
- agent architecture
- bdi architecture
- protocol specification
- reasoning process
- autonomous agents
- multi agent
- resource bounded
- plan execution
- bdi agents
- intelligent agents
- consistency checking
- multi agent systems
- reasoning engine
- multi agent architecture
- belief desire intention
- multiagent systems
- communication protocol
- incomplete knowledge
- communication networks
- reasoning mechanism
- cognitive agents
- knowledge base
- practical reasoning
- multiple agents
- software agents
- model checking
- dynamic environments
- agent model
- peer to peer
- sensor networks
- cp nets
- past experience
- concurrent systems
- mobile agents