Computational Logic Foundations of KGP Agents

01/15/2014
by   Antonis Kakas, et al.
0

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 agents 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/28/2017

Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)

Autonomous software agents operating in dynamic environments need to con...
research
09/18/2019

Reasoning in Highly Reactive Environments

The aim of my Ph.D. thesis concerns Reasoning in Highly Reactive Environ...
research
04/11/2022

Value-based Practical Reasoning: Modal Logic + Argumentation

Autonomous agents are supposed to be able to finish tasks or achieve goa...
research
07/03/2002

Agent Programming with Declarative Goals

A long and lasting problem in agent research has been to close the gap b...
research
02/13/2013

Plan Development using Local Probabilistic Models

Approximate models of world state transitions are necessary when buildin...
research
06/19/2020

Contextual and Possibilistic Reasoning for Coalition Formation

In multiagent systems, agents often have to rely on other agents to reac...
research
09/18/2022

Autonomous Task Planning for Heterogeneous Multi-Agent Systems

This paper presents a solution to the automatic task planning problem fo...

Please sign up or login with your details

Forgot password? Click here to reset