Artificial Intelligence
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
A System for Defeasible Argumentation, with Defeasible Priorities
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A Multi-layered General Agent Model
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
A formal analysis of KGP agents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
LAIMA: a multi-agent platform using ordered choice logic programming
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Using the KGP model of agency to design applications
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Variety of behaviours through profiles in logic-based agents
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Multi-agent systems in computational logic: challenges and outcomes of the SOCS project
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
| Hi-index | 0.00 |
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of agent control. Control is given in terms of cycle theories, which define in a declarative way the possible alternative behaviours of agents, depending on the particular circumstances of the (perceived) external environment in which they are situated, on the internal state of the agents at the time of operation, and on the agents' behavioural profile. This form of control is adopted by the KGP model of agency and has been successfully implemented in the PROSOCS platform. We also show how, via cycle theories, we can formally verify properties of agents' behaviour, focusing on the concrete property of agents' interruptibility. Finally, we give some examples to show how different cycle theories give rise to different, heterogeneous agents' behaviours.