A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.
Radu MardareMatteo CavaliereSean SedwardsPublished in: Int. J. Found. Comput. Sci. (2008)
Keyphrases
- multi agent systems
- multi agent
- autonomous agents
- intelligent agents
- multiple agents
- multiagent systems
- predator prey
- cooperative
- dynamic logic
- logical framework
- distributed agents
- decision making
- decision theoretic
- agent architecture
- software agents
- swarm intelligence
- mobile agents
- artificial agents
- complex environments
- social insects
- interacting agents
- test sequences
- reasoning process
- incomplete information
- game theoretic
- probabilistic logic
- single agent
- learning agents
- agent behavior
- computational efficiency
- ant colonies
- test cases
- coalition formation
- rationality postulates