This short paper describes a simple agent system aimed at addressing the food gathering problem set for the 2005 CLIMA contest. Our system is implemented as a collection of reactive agents which dynamically switch between a number of behaviours depending on interaction with their environment. Our agents maintain no internal representation of their environment and operate purely in response to their immediate surroundings. The agents collectively map the environment co-operating indirectly via environmental markers and they use these markers to assist them in locating the depot when they discover food. The required behaviour emerges from the interaction between agents and the marked environment. Despite the simplicity of the agents and their behaviours formal description is difficult. We concentrate more on identifying interesting problems in characterising system exhibiting emergent behaviour and outline possible logic approaches to dealing with them. The application (and one or two other systems addressing the same problem in a different manner) can be downloaded from: http: //219.1.164.219/∼robert/pwBlog/wp-content/CLIMAbuild.zip
[1]
Guido Boella,et al.
Fulfilling or violating obligations in normative multiagent systems
,
2004
.
[2]
Marco Dorigo,et al.
Swarm intelligence: from natural to artificial systems
,
1999
.
[3]
Nicholas R. Jennings,et al.
A Roadmap of Agent Research and Development
,
2004,
Autonomous Agents and Multi-Agent Systems.
[4]
Joseph Y. Halpern,et al.
Reasoning about knowledge: a survey
,
1995
.
[5]
R. Conte,et al.
Cognitive and social action
,
1995
.
[6]
J. Horty.
Agency and Deontic Logic
,
2001
.
[7]
Alessio Lomuscio,et al.
Deontic Interpreted Systems
,
2003,
Stud Logica.
[8]
Guido Boella,et al.
Attributing mental attitudes to normative systems
,
2003,
AAMAS '03.
[9]
Guido Boella,et al.
Norm governed multiagent systems: the delegation of control to autonomous agents
,
2003,
IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003..
[10]
Yao-Hua Tan,et al.
An update semantics for deontic reasoning
,
1999
.
[11]
Ronald Fagin,et al.
Reasoning about knowledge
,
1995
.