Giving Operational Semantics to Multi-Context Systems Using DEVS

Autores
Pilotti, Pablo; Casali, Ana; Chesñevar, Carlos Iván
Año de publicación
2010
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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
Materia
Ciencias Informáticas
DEVS
Operational Semantics
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/152579
Acceder
id SEDICI_136ef6d02ebc022da4ac5abc55518414
oai_identifier_str oai:sedici.unlp.edu.ar:10915/152579
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Giving Operational Semantics to Multi-Context Systems Using DEVSPilotti, PabloCasali, AnaChesñevar, Carlos IvánCiencias InformáticasDEVSOperational SemanticsMulti-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 Operativa2010info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf25-36http://sedici.unlp.edu.ar/handle/10915/152579enginfo:eu-repo/semantics/altIdentifier/url/http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-asai-03.pdfinfo:eu-repo/semantics/altIdentifier/issn/1850-2784info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T11:11:24Zoai:sedici.unlp.edu.ar:10915/152579Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 11:11:24.309SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Giving Operational Semantics to Multi-Context Systems Using DEVS
title Giving Operational Semantics to Multi-Context Systems Using DEVS
spellingShingle Giving Operational Semantics to Multi-Context Systems Using DEVS
Pilotti, Pablo
Ciencias Informáticas
DEVS
Operational Semantics
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
dc.creator.none.fl_str_mv Pilotti, Pablo
Casali, Ana
Chesñevar, Carlos Iván
author Pilotti, Pablo
author_facet Pilotti, Pablo
Casali, Ana
Chesñevar, Carlos Iván
author_role author
author2 Casali, Ana
Chesñevar, Carlos Iván
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
DEVS
Operational Semantics
topic Ciencias Informáticas
DEVS
Operational Semantics
dc.description.none.fl_txt_mv 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
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.
publishDate 2010
dc.date.none.fl_str_mv 2010
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/152579
url http://sedici.unlp.edu.ar/handle/10915/152579
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://39jaiio.sadio.org.ar/sites/default/files/39jaiio-asai-03.pdf
info:eu-repo/semantics/altIdentifier/issn/1850-2784
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
25-36
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260617720758272
score 13.13397

Publicaciones similares