A logic-based calculus of events
New Generation Computing
Artificial Intelligence
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
The PLACA agent programming language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
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
Readings in agents
Modeling rational agents with a BDI-architecture
Readings in agents
Connected communities from the standpoint of multi-agent systems
New Generation Computing
Reasoning agents in dynamic domains
Logic-based artificial intelligence
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Heterogeneous Agent Systems
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Autonomous Agents and Multi-Agent Systems
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
A System for Defeasible Argumentation, with Defeasible Priorities
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Formalisations of Capabilities for BDI-Agents
Autonomous Agents and Multi-Agent Systems
Computational & Mathematical Organization Theory
Belief revision for AgentSpeak agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Practical extensions in agent programming languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A formal analysis of KGP agents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
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
Planning partially for situated agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
BDI agent programming in agentspeak using Jason
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
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
Gorgias-C: Extending Argumentation with Constraint Solving
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Theory and Practice of Logic Programming
ABA: Argumentation Based Agents
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Query-based argumentation in agent programming
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Annals of Mathematics and Artificial Intelligence
Reasoning about Exceptions to Contracts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Logic Programs, Norms and Action
Reasoning about the intentions of agents
Logic Programs, Norms and Action
ABA: argumentation based agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
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 |
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous agents that can interact with each other, and can exhibit both proactive and reactive behaviour allowing them to function in dynamic environments by adjusting their goals and plans when changes happen in such environments. KGP provides a highly modular agent architecture that integrates a collection of reasoning and physical capabilities, synthesised within transitions that update the agent's state in response to reasoning, sensing and acting. Transitions are orchestrated by cycle theories that specify the order in which transitions are executed while taking into account the dynamic context and agent preferences, as well as selection operators for providing inputs to transitions.