Skip header navigation

University of Stirling

×

Conference Proceeding

On modelling multi-agent systems declaratively

Citation
Bracciali A, Mancarella P, Stathis K & Toni F (2005) On modelling multi-agent systems declaratively. In: Leite J, Omicini A, Torroni P & Yolum P (eds.) Declarative Agent Languages and Technologies II. Lecture Notes in Computer Science, 3476. Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, New York, NY, USA, 19.07.2004-19.07.2004. Berlin, Heidelberg: Springer, pp. 53-68. http://centria.di.fct.unl.pt/~jleite/dalt04/index.htm; https://doi.org/10.1007/11493402_4

Abstract
We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametric with respect to an input/output semantics for agents, whereby inputs are the agents' observations, and outputs are their actions. The observations include actions performed by other agents and events happening in the world. We define the semantics of a multi-agent system via a stability condition over the individual agents' semantics. We instantiate the framework with respect to simple abductive logic agents. We illustrate the framework and the proposed properties by means of a simple example of agent negotiation.

StatusPublished
Author(s)Bracciali, Andrea; Mancarella, Paolo; Stathis, Kostas; Toni, Francesca
Title of seriesLecture Notes in Computer Science
Number in series3476
Publication date31/12/2005
Related URLshttp://centria.di.fct.unl.pt/~jleite/dalt04/index.htm
PublisherSpringer
Publisher URLhttp://centria.di.fct.unl.pt/~jleite/dalt04/index.htm
Place of publicationBerlin, Heidelberg
ISSN of series0302-9743
ISBN978-3-540-26172-8
ConferenceSecond International Workshop on Declarative Agent Languages and Technologies, DALT 2004
Conference locationNew York, NY, USA
Dates
Scroll back to the top