| dc.creator | Ambrossio, Agustín | |
| dc.creator | Mendoza, Leandro | |
| dc.date | 2011-08 | |
| dc.date | 2011 | |
| dc.date | 2022-09-19T15:37:39Z | |
| dc.date.accessioned | 2023-07-15T08:10:14Z | |
| dc.date.available | 2023-07-15T08:10:14Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/142314 | |
| dc.identifier | https://40jaiio.sadio.org.ar/sites/default/files/T2011/EST/TrabFinales/570.pdf | |
| dc.identifier | issn:1850-2946 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/7483295 | |
| dc.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. | |
| dc.description | Sociedad Argentina de Informática e Investigación Operativa | |
| dc.format | application/pdf | |
| dc.format | 171-185 | |
| dc.language | en | |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) | |
| dc.subject | Ciencias Informáticas | |
| dc.subject | modal logics | |
| dc.subject | combination of logics | |
| dc.subject | model checking | |
| dc.subject | normative multi-agent systems | |
| dc.title | Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems | |
| dc.type | Objeto de conferencia | |
| dc.type | Objeto de conferencia | |
