The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
Modeling rational agents with a BDI-architecture
Readings in agents
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
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
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
Hi-index | 0.00 |
In an earlier paper we [6] presented a declarative approach for agent control. In that work we described how control can be specified in terms of cycle theories, which define declaratively the possible alternative behaviours of agents, depending on their internal state and (their perception of) the external environment in which they are situated. This form of control has been adopted for logic-based KGP agents [8, 2]. In this paper we show how using this form of control specification we can specify different profiles of agents, how they would vary the behaviour of agents and what advantages they have with respect to factors in the application and in the environment, such as time-criticality.