Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

KGP - A modular, computational logic-based model for intelligent agents in dynamic environments

The KGP model for agency provides a highly modular and hierarchical specification of agents equipped with a variety of advanced reasoning features to allow intelligent decision making and behaviour. KGP agents are particularly suited to open, dynamic environments where they have to adapt to changes in their environment and they have to function in circumstances where they have incomplete information.

KGP is motivated, on the one hand, by the existing gap between modal logic specifications of BDI agents and their implementation and, on the other, to make available and extend many useful computational logic tools and techniques whose synthesis can produce executable specifications of agents. The model synthesises Abductive Logic Programming and Logic Programming with Priorities, both extended to deal with constraint solving as in Constraint Logic Programming.

Computational Logic is used in KGP to specify the individual state of the agent, its reasoning capabilities, state transitions, and its control. Using these components, an agent maintains a view of the environment, decides what its goals should be, depending on the current circumstances, plans (incrementally) for these chosen goals and interleaves this with incremental execution of the plan, reacts to information received from the environment or communication received from other agents, re-evaluates previous decisions in the light of the new information and adapts as necessary by changing or augmenting its goals and plan. The control component of this complex behaviour is regulated by a cycle theory, which also allows us to design agents with a wide range of heterogeneous behaviour suitable for different practical applications.

Informations connexes

Reported by

Dipartimento di Informatica - Universita' di Pisa
via Buonarroti 2
56100 Pisa
See on map