Abstract
Deontic logic aims at formally modeling the reasoning with norm-related modalities. Von Wright recognized that the obligation modality bears a resemblance to modal necessity and the permission modality to modal possibility, which resulted in his Standard Deontic Logic [9]. SDL is the modal logic KD. Since its conception, SDL has drawn a lot of criticism: e.g., Chisholm [2] argued that it was unfit to represent certain types of conditional obligation, and Makinson [5] and van der Torre [6] emphasized that deontic logic is much more naturally studied as a process of iterative detachment relative to explicitly represented normative systems; a view that does not fit well with the modal logic modeling proposed by Von Wright.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Broersen, J.: Modeling attempt and action failure in probabilistic stit logic. In: Proceedings of Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI 2011 (2011)
Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)
Harel, A., Porat, A.: Aggregating probabilities across cases: Responsibility for unspecified offences. Minnesota Law Review 94, 261–310 (2009)
Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)
Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29–53. IOS Press, Amsterdam (1998)
Makinson, D., van der Torre, L.W.N.: Input-output logics. Journal of Philosphical Logic 29, 383–408 (2000)
Placek, T.: On attempting. In: Logica Yearbook 2009, pp. 155–161. College Publications, London (2010)
Vanderveken, D.: Attempt, success and action generation: A logical study of intentional action. In: Vanderveken, D. (ed.) Logic, Thought and Action, pp. 316–342. Springer, Heidelberg (2005)
von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)
Yaffe, G.: Attempts. Oxford University Press, Oxford (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broersen, J. (2011). Probabilistic Action and Deontic Logic. In: Leite, J., Torroni, P., Ã…gotnes, T., Boella, G., van der Torre, L. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science(), vol 6814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22359-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-22359-4_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22358-7
Online ISBN: 978-3-642-22359-4
eBook Packages: Computer ScienceComputer Science (R0)