[en] Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as conditionals and institutional constraints a proposal of Jones and Sergot, and for obligations and permissions we adapt the input/output logic framework of Makinson and van der Torre. We use our architecture to study logical relations among counts-as conditionals, institutional constraints, obligations and permissions. We show that in our logical architecture the combined system of counts-as conditionals and institutional constraints reduces to the logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is characterized.
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2009-117
Auteur, co-auteur :
Boella, Guido
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
A Logical Architecture of a Normative System
Date de publication/diffusion :
2006
Nom de la manifestation :
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
Date de la manifestation :
2006
Titre de l'ouvrage principal :
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
C. Alchourrón and Bulygin. Normative systems. Springer, 1972.
J.R. Anderson. Rules of the mind. Lawrence Ellbaum Associates, 1993.
A. Artosi, A. Rotolo, and S. Vida. On the logical nature of count-as conditionals. In Procs. of LEA 2004 Workshop, 2004.
A. Bochman. Explanatory Nonmonotonic reasoning. World Scientific, 2005.
G. Boella, J. Hulstijn, and L. van der Torre. Interaction in normative multi-agent systems. Electronic Notes in Theoretical Computer Science, 141(5):135-162, 2005.
G. Boella and L. van der Torre. Regulative and constitutive norms in normative multiagent systems. In Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR'04), pages 255-265, 2004.
G. Boella and L. van der Torre. An architecture of a normative system (short paper). In Proceedings of AAMAS06, 2006.
G. Boella and L. van der Torre. A game theoretic approach to contracts in multiagent systems. IEEE Trans. SMC, Part C, 36(1):68- 79, 2006.
C. Boutilier. Toward a logic for qualitative decision theory. In Proceedings of KR'94, pages 75-86, 1994.
E. Bulygin. Permissive norms and normative systems. In Automated Analysis of Legal Texts, pages 211-218. Publishing Company, Amsterdam, 1986.
J. Gelati, G. Governatori, N. Rotolo, and G. Sartor. Declarative power, representation, and mandate. A formal analysis. In Procs. of JURIX 02. IOS press, 2002.
B. Hansson. An analysis of some deontic logics. Nôus, 3:373-398, 1969.
F.F. Ingrand, M.P Georgeff, and A.S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.
A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of IGPL, 3:427-443, 1996.
J.E. Laird, A. Newell, and Paul S. Rosenbloom. SOAR: an architecture for general intelligence. Artificial Intelligence, 33:1-64, 1987.
M. Lankhorst et al. Enterprise Architecture At Work. Springer, 2005.
D. Makinson and L. van der Torre. Input-output logics. Journal of Philosophical Logic, 29:383-408, 2000.
D. Makinson and L. van der Torre. Constraints for input-output logics. Journal of Philosophical Logic, 30:155-185, 2001.
D. Makinson and L. van der Torre. Permissions from an input/output perspective. Journal of Philosophical Logic, 32 (4):391-416, 2003.
D. Makinson and L. van der Torre. What is input/output logic? In Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, volume 17 of Trends in Logic. Kluwer, 2003.
J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, United Kingdom, 1969.
G.H. von Wright. Deontic logic. Mind, 60:1-15, 1951.
