Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems

We provide technical details for both a fibring and an independent combination of normal and a non-normal logics underlying a normative multi-agent system (normative MAS). Such combinations lead to different levels of expressiveness of the system. Based on the fibring, we give a possible structure f...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ambrossio, Agustín, Mendoza, Leandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2011
Materias:
Ciencias Informáticas
modal logics
combination of logics
model checking
normative multi-agent systems
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/142314
https://40jaiio.sadio.org.ar/sites/default/files/T2011/EST/TrabFinales/570.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-142314
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
modal logics
combination of logics
model checking
normative multi-agent systems
spellingShingle Ciencias Informáticas
modal logics
combination of logics
model checking
normative multi-agent systems
Ambrossio, Agustín
Mendoza, Leandro
Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
topic_facet Ciencias Informáticas
modal logics
combination of logics
model checking
normative multi-agent systems
description We provide technical details for both a fibring and an independent combination of normal and a non-normal logics underlying a normative multi-agent system (normative MAS). Such combinations lead to different levels of expressiveness of the system. Based on the fibring, we give a possible structure for a combined model checker for the MAS. The independent combination provides: (i) an ontology of pairs (mental configuration-visible behavior), which can be understood as a structural account to supporting non-monotonicity; and (ii) a logics where to write and test the validity of a wider set of well-formed formulas.
format Objeto de conferencia
Objeto de conferencia
author Ambrossio, Agustín
Mendoza, Leandro
author_facet Ambrossio, Agustín
Mendoza, Leandro
author_sort Ambrossio, Agustín
title Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
title_short Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
title_full Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
title_fullStr Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
title_full_unstemmed Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems
title_sort combinations of normal and non-normal modal logics for normative multi-agent systems
publishDate 2011
url http://sedici.unlp.edu.ar/handle/10915/142314
https://40jaiio.sadio.org.ar/sites/default/files/T2011/EST/TrabFinales/570.pdf
work_keys_str_mv AT ambrossioagustin combinationsofnormalandnonnormalmodallogicsfornormativemultiagentsystems
AT mendozaleandro combinationsofnormalandnonnormalmodallogicsfornormativemultiagentsystems
bdutipo_str Repositorios
_version_ 1764820459317100544

Ejemplares similares