Access-as-you-need: a computational logic framework for accessing resources in artificial societies

Authors:
Francesca Toni;Kostas Stathis
Affiliations:
Department of Computing, Imperial College London, London, UK;Department of Computing, School of Informatics, City University London, London, UK
Venue:
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Year:
2002

Citing 3
Cited 3

Connected communities from the standpoint of multi-agent systems

New Generation Computing
From logic programming towards multi-agent systems

Annals of Mathematics and Artificial Intelligence
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII

Interleaving belief updating and reasoning in abductive logic programming

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On modelling multi-agent systems declaratively

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate the application of abductive logic programming, an existing framework for knowledge representation and reasoning, for specifying the knowledge and behaviour of software agents that need to access resources in a global computing environment. The framework allows agents that need resources to join artificial societies where those resources are available. We show how to endow agents with the capability of becoming and ceasing to be members of societies, for different categories of artificial agent societies, and of requesting and being given or denied resources within societies. The strength of our formulation lies in combining the modelling and the computational properties of abductive logic programming for dealing with the issues arising in resource access within artificial agent societies.