Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.
Jaime RamírezAngélica de AntonioPublished in: FAABS (2004)
Keyphrases
- communication protocols
- communication protocol
- agent architecture
- autonomous agents
- protocol specification
- multi agent
- multi agent systems
- multi agent architecture
- multiagent systems
- multi agent environment
- formal methods
- maintaining consistency
- cooperative
- formal analysis
- formal specification
- multiple agents
- mobile agents
- dynamic environments
- intelligent agents
- agent model
- model checking
- communication networks
- software agents
- resource allocation
- communicative acts
- bdi architecture
- end users
- bdi agents
- information systems