Verifying time, memory and communication bounds in systems of reasoning agents.
Natasha AlechinaBrian LoganNguyen Hoang NgaAbdur RakibPublished in: Synth. (2009)
Keyphrases
- resource bounded
- reasoning systems
- decentralized control
- open systems
- multi agent systems
- agent systems
- communication channels
- reason maintenance
- communication protocol
- reasoning process
- multiple agents
- multiagent systems
- intelligent behavior
- software agents
- incomplete information
- information exchange
- distributed control
- multi agent
- past experience
- autonomous agents
- intelligent systems
- knowledge based systems
- coalition formation
- knowledge representation systems
- distributed constraint satisfaction
- communicating agents
- heterogeneous agents
- cooperative
- decision making
- management system
- cognitive agents
- upper bound
- bdi agents
- distributed systems
- computer systems
- intelligent agents
- communication systems