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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/28/2017

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

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

Reasoning in Highly Reactive Environments

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

Value-based Practical Reasoning: Modal Logic + Argumentation

Autonomous agents are supposed to be able to finish tasks or achieve goa...
02/13/2013

Plan Development using Local Probabilistic Models

Approximate models of world state transitions are necessary when buildin...
07/03/2002

Agent Programming with Declarative Goals

A long and lasting problem in agent research has been to close the gap b...
09/30/2020

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

In this work, we focus on decomposing large multi-agent path planning pr...
06/03/2021

Modeling Communication to Coordinate Perspectives in Cooperation

Communication is highly overloaded. Despite this, even young children ar...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.