[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 :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2009-117
Author, co-author :
Boella, Guido
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
A Logical Architecture of a Normative System
Publication date :
2006
Event name :
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
Event date :
2006
Main work title :
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science ($$EON'06)
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
Bibliography
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.
Similar publications
Sorry the service is unavailable at the moment. Please try again later.
