Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alchourrón, C., Bulygin: Normative systems. Springer, Heidelberg (1972)
Anderson, J.R.: Rules of the mind. Lawrence Ellbaum Associates, Mahwah (1993)
Artosi, A., Rotolo, A., Vida, S.: On the logical nature of count-as conditionals. In: Procs. of LEA 2004 Workshop (2004)
Bochman, A.: Explanatory Nonmonotonic reasoning. World Scientific, Singapore (2005)
Boella, G., Hulstijn, J., van der Torre, L.: Interaction in normative multi-agent systems. Electronic Notes in Theoretical Computer Science 141(5), 135–162 (2005)
Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), pp. 255–265 (2004)
Boella, G., van der Torre, L.: An architecture of a normative system (short paper). In: Proceedings of AAMAS 2006 (2006)
Boella, G., van der Torre, L.: A game theoretic approach to contracts in multiagent systems. IEEE Trans. SMC, Part C 36(1), 68–79 (2006)
Boutilier, C.: Toward a logic for qualitative decision theory. In: Proceedings of KR 1994, pp. 75–86 (1994)
Bulygin, E.: Permissive norms and normative systems. In: Automated Analysis of Legal Texts, pp. 211–218. Publishing Company, Amsterdam (1986)
Gelati, J., Governatori, G., Rotolo, N., Sartor, G.: Declarative power, representation, and mandate. A formal analysis. In: Procs. of JURIX 2002. IOS Press, Amsterdam (2002)
Hansson, B.: An analysis of some deontic logics. Nôus 3, 373–398 (1969)
Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7(6) (1992)
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL 3, 427–443 (1996)
Laird, J.E., Newell, A., Rosenbloom, P.S.: SOAR: an architecture for general intelligence. Artificial Intelligence 33, 1–64 (1987)
Lankhorst, M., et al.: Enterprise Architecture At Work. Springer, Heidelberg (2005)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)
Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30, 155–185 (2001)
Makinson, D., van der Torre, L.: Permissions from an input/output perspective. Journal of Philosophical Logic 32(4), 391–416 (2003)
Makinson, D., van der Torre, L.: What is input/output logic? In: Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Trends in Logic, vol. 17. Kluwer, Dordrecht (2003)
Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boella, G., van der Torre, L. (2006). A Logical Architecture of a Normative System. In: Goble, L., Meyer, JJ.C. (eds) Deontic Logic and Artificial Normative Systems. DEON 2006. Lecture Notes in Computer Science(), vol 4048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786849_5
Download citation
DOI: https://doi.org/10.1007/11786849_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35842-8
Online ISBN: 978-3-540-35843-5
eBook Packages: Computer ScienceComputer Science (R0)