Towards a formal semantics of event-based multi-agent simulations
The aim of this paper is to define a non-ambiguous operational semantics for event-based multi-agent modeling and simulation, applied to complex systems. A number of features common to most multi-agent systems have been retained: 1) simultaneity: events can arrive simultaneously to an agent, an environment or any simulated entity and the actual change only depends on the target according to the influence/reaction paradigm, 2) instantaneity: if reaction takes time, perception as well as information diffusion is instantaneous and should be processed separately, 3) structure dynamics: the interaction structure (who is talking to whom) changes over time, and the agents as well as any simulated entity may be created or destroyed in the course of the simulation. For each of these features, a solution inspired by the work on DEVS (Discrete EVent Systems, is proposed. Simultaneity is naturally dealt with using //-DEVS, a variant of the pure DEVS. Instantaneity is managed by distinguishing the physical events producing state transitions and the logical events realizing only perception and information diffusion. The structure dynamics is achieved by using a variant of [rô]-DEVS where the expressiveness allows to manage hierarchical structures. The operational semantics is given as abstract algorithms and the expressive power of this formalism is illustrated on a simple example.
Main Author: | |
---|---|
Format: | conference_item biblioteca |
Language: | eng |
Published: |
Springer [Allemagne]
|
Subjects: | U10 - Informatique, mathématiques et statistiques, U30 - Méthodes de recherche, modèle de simulation, analyse de système, ontologie, http://aims.fao.org/aos/agrovoc/c_24242, http://aims.fao.org/aos/agrovoc/c_7581, http://aims.fao.org/aos/agrovoc/c_49845, |
Online Access: | http://agritrop.cirad.fr/545745/ http://agritrop.cirad.fr/545745/1/document_545745.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
dig-cirad-fr-545745 |
---|---|
record_format |
koha |
spelling |
dig-cirad-fr-5457452024-01-28T16:13:15Z http://agritrop.cirad.fr/545745/ http://agritrop.cirad.fr/545745/ Towards a formal semantics of event-based multi-agent simulations. Müller Jean Pierre. 2009. In : Multi-agent-based simulation IX : Ninth International workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008. Revised selected papers. David Nuno (ed.), Sichman Jaime Simão (ed.). Berlin : Springer [Allemagne], 110-126. (Lecture Notes in Artificial Intelligence, 5269) ISBN 978-3-642-01990-6 International Workshop on Multi-Agent-Based Simulation (MABS-2008). 9, Estoril, Portugal, 12 Mai 2008/13 Mai 2008.https://doi.org/10.1007/978-3-642-01991-3_9 <https://doi.org/10.1007/978-3-642-01991-3_9> Towards a formal semantics of event-based multi-agent simulations Müller, Jean Pierre eng 2009 Springer [Allemagne] Multi-agent-based simulation IX : Ninth International workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008. Revised selected papers U10 - Informatique, mathématiques et statistiques U30 - Méthodes de recherche modèle de simulation analyse de système ontologie http://aims.fao.org/aos/agrovoc/c_24242 http://aims.fao.org/aos/agrovoc/c_7581 http://aims.fao.org/aos/agrovoc/c_49845 The aim of this paper is to define a non-ambiguous operational semantics for event-based multi-agent modeling and simulation, applied to complex systems. A number of features common to most multi-agent systems have been retained: 1) simultaneity: events can arrive simultaneously to an agent, an environment or any simulated entity and the actual change only depends on the target according to the influence/reaction paradigm, 2) instantaneity: if reaction takes time, perception as well as information diffusion is instantaneous and should be processed separately, 3) structure dynamics: the interaction structure (who is talking to whom) changes over time, and the agents as well as any simulated entity may be created or destroyed in the course of the simulation. For each of these features, a solution inspired by the work on DEVS (Discrete EVent Systems, is proposed. Simultaneity is naturally dealt with using //-DEVS, a variant of the pure DEVS. Instantaneity is managed by distinguishing the physical events producing state transitions and the logical events realizing only perception and information diffusion. The structure dynamics is achieved by using a variant of [rô]-DEVS where the expressiveness allows to manage hierarchical structures. The operational semantics is given as abstract algorithms and the expressive power of this formalism is illustrated on a simple example. conference_item info:eu-repo/semantics/conferenceObject Conference info:eu-repo/semantics/publishedVersion http://agritrop.cirad.fr/545745/1/document_545745.pdf application/pdf Cirad license info:eu-repo/semantics/restrictedAccess https://agritrop.cirad.fr/mention_legale.html https://doi.org/10.1007/978-3-642-01991-3_9 10.1007/978-3-642-01991-3_9 http://catalogue-bibliotheques.cirad.fr/cgi-bin/koha/opac-detail.pl?biblionumber=197369 http://catalogue-bibliotheques.cirad.fr/cgi-bin/koha/opac-detail.pl?biblionumber=207827 info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-01991-3_9 info:eu-repo/semantics/altIdentifier/purl/https://doi.org/10.1007/978-3-642-01991-3_9 |
institution |
CIRAD FR |
collection |
DSpace |
country |
Francia |
countrycode |
FR |
component |
Bibliográfico |
access |
En linea |
databasecode |
dig-cirad-fr |
tag |
biblioteca |
region |
Europa del Oeste |
libraryname |
Biblioteca del CIRAD Francia |
language |
eng |
topic |
U10 - Informatique, mathématiques et statistiques U30 - Méthodes de recherche modèle de simulation analyse de système ontologie http://aims.fao.org/aos/agrovoc/c_24242 http://aims.fao.org/aos/agrovoc/c_7581 http://aims.fao.org/aos/agrovoc/c_49845 U10 - Informatique, mathématiques et statistiques U30 - Méthodes de recherche modèle de simulation analyse de système ontologie http://aims.fao.org/aos/agrovoc/c_24242 http://aims.fao.org/aos/agrovoc/c_7581 http://aims.fao.org/aos/agrovoc/c_49845 |
spellingShingle |
U10 - Informatique, mathématiques et statistiques U30 - Méthodes de recherche modèle de simulation analyse de système ontologie http://aims.fao.org/aos/agrovoc/c_24242 http://aims.fao.org/aos/agrovoc/c_7581 http://aims.fao.org/aos/agrovoc/c_49845 U10 - Informatique, mathématiques et statistiques U30 - Méthodes de recherche modèle de simulation analyse de système ontologie http://aims.fao.org/aos/agrovoc/c_24242 http://aims.fao.org/aos/agrovoc/c_7581 http://aims.fao.org/aos/agrovoc/c_49845 Müller, Jean Pierre Towards a formal semantics of event-based multi-agent simulations |
description |
The aim of this paper is to define a non-ambiguous operational semantics for event-based multi-agent modeling and simulation, applied to complex systems. A number of features common to most multi-agent systems have been retained: 1) simultaneity: events can arrive simultaneously to an agent, an environment or any simulated entity and the actual change only depends on the target according to the influence/reaction paradigm, 2) instantaneity: if reaction takes time, perception as well as information diffusion is instantaneous and should be processed separately, 3) structure dynamics: the interaction structure (who is talking to whom) changes over time, and the agents as well as any simulated entity may be created or destroyed in the course of the simulation. For each of these features, a solution inspired by the work on DEVS (Discrete EVent Systems, is proposed. Simultaneity is naturally dealt with using //-DEVS, a variant of the pure DEVS. Instantaneity is managed by distinguishing the physical events producing state transitions and the logical events realizing only perception and information diffusion. The structure dynamics is achieved by using a variant of [rô]-DEVS where the expressiveness allows to manage hierarchical structures. The operational semantics is given as abstract algorithms and the expressive power of this formalism is illustrated on a simple example. |
format |
conference_item |
topic_facet |
U10 - Informatique, mathématiques et statistiques U30 - Méthodes de recherche modèle de simulation analyse de système ontologie http://aims.fao.org/aos/agrovoc/c_24242 http://aims.fao.org/aos/agrovoc/c_7581 http://aims.fao.org/aos/agrovoc/c_49845 |
author |
Müller, Jean Pierre |
author_facet |
Müller, Jean Pierre |
author_sort |
Müller, Jean Pierre |
title |
Towards a formal semantics of event-based multi-agent simulations |
title_short |
Towards a formal semantics of event-based multi-agent simulations |
title_full |
Towards a formal semantics of event-based multi-agent simulations |
title_fullStr |
Towards a formal semantics of event-based multi-agent simulations |
title_full_unstemmed |
Towards a formal semantics of event-based multi-agent simulations |
title_sort |
towards a formal semantics of event-based multi-agent simulations |
publisher |
Springer [Allemagne] |
url |
http://agritrop.cirad.fr/545745/ http://agritrop.cirad.fr/545745/1/document_545745.pdf |
work_keys_str_mv |
AT mullerjeanpierre towardsaformalsemanticsofeventbasedmultiagentsimulations |
_version_ |
1792496960703299584 |