A logic-based calculus of events
New Generation Computing
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Modeling rational agents with a BDI-architecture
Readings in agents
Autonomous Agents and Multi-Agent Systems
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Verification of Multiagent Systems via Unbounded Model Checking
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model Checking Rational Agents
IEEE Intelligent Systems
Computational & Mathematical Organization Theory
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
Variety of behaviours through profiles in logic-based agents
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
This paper contributes to the identification, formalisation and analysis of desirable properties of agent models in general and of the KGP model in particular. This model is specified in computational logic, and consequently lends itself well to formal analysis. We formalise three notions of welfare, in terms of goal achievement, progress, and reactive awareness, and we prove results related to these notions for KGP agents. These results broadly demonstrate the coherence of some of the design decisions in the KGP model, the need for some of its components for effectiveness in goal achievement, the extent to which the welfare of KGP agents can be shown to improve during their life-time, and the awareness of the agents of their reactions to changes in the environment.