Abstract
This paper introduces Exclusion Logic - a modal logic based on hierarchical finite-state machines. We show how Exclusion Logic can be used as a deontic logic to model social practices. We describe a computer implementation of Exclusion Logic in a multi-agent simulation, and explain how it efficiently resolves conflicts between incompatible norms.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourron, C., Makinson, D.: Hierarchies of Regulations and their Logic. New Studies in Deontic Logic, pp. 125–148. D. Reidel, Dordrecht (1981)
Boella, G., van der Torre, L.: Permissions and Obligations in Hierarchical Normative Systems. In: Proc. of ICAIL (2003)
Brandom, R.: Making It Explicit. Harvard University Press, Cambridge (1994)
Brandom, R.: Between Saying and Doing. Oxford University Press, Oxford (2008)
Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The Boid Architecture: conflicts between beliefs, obligations, intentions and desires. In: Proceedings of the Fifth International Conference on Autonomous Agents (2001)
Evans, R.: The Logical Form of Status-Function Declarations. In: Etica & Politica, vol.XI, pp.203–259 (2009)
Evans, R.: Re-expressing Normative Pragmatism in the Medium of Computation. In: Collective Intentionality VI, Berkeley (2008)
Evans, R.: Introducing Exclusion Logic as a Deontic Logic. Deontic Logic in Computer Science. Springer, Heidelberg (2010)
Forgy, C.L.: Rete: A Fast Algorithm for the Many Pattern / Many Object Pattern Match Problem. Artificial Intelligence 19, 17–37 (1982)
Garfinkel, H.: Autochthonous Order Properties of Formatted Queues. In: Ethnomethodology’s Program. Rowman and Littlefield, Oxford (2002)
Habermas, J.: The Theory of Communicative Action, p. 85. Beacon Press, Boston (1984)
Makinson, D., van der Torre, L.: Input/Output Logics. Journal of Philosophical Logic 29, 383–408 (2000)
Makinson, D., van der Torre, L.: Permission from an Input/Output Perspective. Journal of Philosophical Logic 32, 391–416 (2003)
Parent, X.: Moral Particularism and Deontic Logic. Deontic Logic in Computer Science. Springer, Heidelberg (2010)
von Wright, G.H.: Deontic Logic. Mind 60 (1951)
von Wright, G.H.: An Essay in Modal Logic. New York Humanities Press (1953)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Evans, R. (2011). Using Exclusion Logic to Model Social Practices. In: Dignum, F. (eds) Agents for Games and Simulations II. AGS 2010. Lecture Notes in Computer Science(), vol 6525. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18181-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-18181-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18180-1
Online ISBN: 978-3-642-18181-8
eBook Packages: Computer ScienceComputer Science (R0)