Giving Operational Semantics to Multi-Context Systems Using DEVS

Multi-context systems have proven to be a powerful tool for formalizing complex logical problems in Artificial Intelligence, providing a flexible framework that allows the definition of different formal components and their interrelationships. Several MCS applications are oriented towards multiagent...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pilotti, Pablo, Casali, Ana, Chesñevar, Carlos Iván
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2010
Materias:
Ciencias Informáticas
DEVS
Operational Semantics
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/152579
http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-asai-03.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-152579
record_format dspace
spelling I19-R120-10915-1525792023-05-08T20:04:15Z http://sedici.unlp.edu.ar/handle/10915/152579 http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-asai-03.pdf issn:1850-2784 Giving Operational Semantics to Multi-Context Systems Using DEVS Pilotti, Pablo Casali, Ana Chesñevar, Carlos Iván 2010 2010 2023-05-08T17:17:47Z en Ciencias Informáticas DEVS Operational Semantics Multi-context systems have proven to be a powerful tool for formalizing complex logical problems in Artificial Intelligence, providing a flexible framework that allows the definition of different formal components and their interrelationships. Several MCS applications are oriented towards multiagent systems, in which several asynchronous tasks (inferences, messaging, etc.) are carried out. In spite of their expressive power, MCS lack of an appropriate mechanism to capture their underlying operational semantics when they are used to provide a computational model for such systems. This paper presents a first approach to give operational semantics to MCS using Discrete Event System Specification (DEVS), a modular and hierarchical formalism for modeling, simulating and analyzing discrete event systems. We show that our proposal provides a flexible model for capturing several features of an agent’s reasoning process in an asynchronous setting. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 25-36
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
DEVS
Operational Semantics
spellingShingle Ciencias Informáticas
DEVS
Operational Semantics
Pilotti, Pablo
Casali, Ana
Chesñevar, Carlos Iván
Giving Operational Semantics to Multi-Context Systems Using DEVS
topic_facet Ciencias Informáticas
DEVS
Operational Semantics
description Multi-context systems have proven to be a powerful tool for formalizing complex logical problems in Artificial Intelligence, providing a flexible framework that allows the definition of different formal components and their interrelationships. Several MCS applications are oriented towards multiagent systems, in which several asynchronous tasks (inferences, messaging, etc.) are carried out. In spite of their expressive power, MCS lack of an appropriate mechanism to capture their underlying operational semantics when they are used to provide a computational model for such systems. This paper presents a first approach to give operational semantics to MCS using Discrete Event System Specification (DEVS), a modular and hierarchical formalism for modeling, simulating and analyzing discrete event systems. We show that our proposal provides a flexible model for capturing several features of an agent’s reasoning process in an asynchronous setting.
format Objeto de conferencia
Objeto de conferencia
author Pilotti, Pablo
Casali, Ana
Chesñevar, Carlos Iván
author_facet Pilotti, Pablo
Casali, Ana
Chesñevar, Carlos Iván
author_sort Pilotti, Pablo
title Giving Operational Semantics to Multi-Context Systems Using DEVS
title_short Giving Operational Semantics to Multi-Context Systems Using DEVS
title_full Giving Operational Semantics to Multi-Context Systems Using DEVS
title_fullStr Giving Operational Semantics to Multi-Context Systems Using DEVS
title_full_unstemmed Giving Operational Semantics to Multi-Context Systems Using DEVS
title_sort giving operational semantics to multi-context systems using devs
publishDate 2010
url http://sedici.unlp.edu.ar/handle/10915/152579
http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-asai-03.pdf
work_keys_str_mv AT pilottipablo givingoperationalsemanticstomulticontextsystemsusingdevs
AT casaliana givingoperationalsemanticstomulticontextsystemsusingdevs
AT chesnevarcarlosivan givingoperationalsemanticstomulticontextsystemsusingdevs
_version_ 1765660133451366400

Ejemplares similares