Agustin Ambrossio - UCALP - Argentine Fibring and an independent combination of a normal and a non-normal logics underlying a normative multi-agent system
We provide technical details for both a fibring and an independent combination of a 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. We prove that the system is complete, and decidable. 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 confguration-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.
En appuyant sur le bouton "j'accepte" vous nous autorisez à déposer des cookies afin de mesurer l'audience de notre site. Ces données sont à notre seul usage et ne sont pas communiquées. Consultez notre politique relative aux cookies