Article

Automated Reasoning in Deontic Logic

Authors:

Ulrich Furbach,

Frieder StolzenburgAuthors Info & Claims

MIWAI 2014: Proceedings of the 8th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 8875

Pages 57 - 68

https://doi.org/10.1007/978-3-319-13365-2_6

Published: 08 December 2014 Publication History

Abstract

Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DL-clauses, such that it can be processed by Hyper, a high performance theorem prover which uses a hypertableau calculus. Two use cases, one from multi-agent research and one from the development of normative system are investigated.

References

[1]

Artosi, A., Cattabriga, P., Governatori, G.: Ked: A deontic theorem prover. In: On Legal Application of Logic Programming, ICLP 1994, pp. 60—76 (1994)

[2]

Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43—95. Cambridge University Press (2003)

Digital Library

[3]

Bassiliades, N., Kontopoulos, E., Governatori, G., Antoniou, G.: A modal defeasible reasoner of deontic logic for the semantic web. Int. J. Semant. Web Inf. Syst.ä7(1), 18—43 (2011)

Digital Library

[4]

Baumgartner, P., Furbach, U., Niemelä, I.: Hyper tableaux. In: Alferes, J.J., Pereira, L.M., Orlowska, E. (eds.) JELIA 1996. LNCS, vol.ä1126, pp. 1—17. Springer, Heidelberg (1996)

Digital Library

[5]

Beirlaen, M.: Tolerating normative conflicts in deontic logic. PhD thesis, Ghent University (2012)

[6]

Bender, M., Pelzer, B., Schon, C.: System description: E-KRHyper 1.4 - Extensions for unique names and description logic. In: Bonacina, M.P. (ed.) CADE 2013. LNCS (LNAI), vol.ä7898, pp. 126—134. Springer, Heidelberg (2013)

Digital Library

[7]

Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systemsä21(4), 38—44 (2006)

Digital Library

[8]

Chisolm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysisä23, 33—36 (1963)

[9]

Furbach, U., Schon, C.: Deontic logic for human reasoning. CoRR, abs/1404.6974 (2014)

[10]

Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications (2013)

[11]

Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)

[12]

Klarman, S., Gutiérrez-Basulto, V.: Description logics of context. Journal of Logic and Computation (2013)

[13]

McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University (2010)

[14]

McNamara, P., Prakken, H.: Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science. Frontiers in artificial intelligence and applications. IOS Press (1999)

Digital Library

[15]

Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.ä4603, pp. 67—83. Springer, Heidelberg (2007)

Digital Library

[16]

Murakami, Y.: Utilitarian deontic logic. In: Proceedings of the Fifth International Conference on Advances in Modal Logic (AiML 2004), pp. 288—302 (2004)

[17]

Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. J. Symb. Comput.ä2(3), 293—304 (1986)

Digital Library

[18]

Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of IJCAI 1991, pp. 466—471 (1991)

Digital Library

[19]

Schmidt, R.A., Hustadt, U.: First-order resolution methods for modal logics. In: Voronkov, A., Weidenbach, C. (eds.) Programming Logics. LNCS, vol.ä7797, pp. 345—391. Springer, Heidelberg (2013)

[20]

Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Webä5(2), 51—53 (2007)

Digital Library

[21]

von Kutschera, F.: Einführung in die Logik der Normen, Werte und Entscheidungen. Alber (1973)

[22]

Pelzer, B., Wernhard, C.: System description: E- KRHyper. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.ä4603, pp. 508—513. Springer, Heidelberg (2007)

Digital Library

Cited By

Faciano CMera SSchapachnik FDi Iorio AClara BUriarte VGiaccaglia MRuffa MMarcos CKeppens JGovernatori G(2017)Performance improvement on legal model checkingProceedings of the 16th edition of the International Conference on Articial Intelligence and Law10.1145/3086512.3086518(59-68)Online publication date: 12-Jun-2017
https://dl.acm.org/doi/10.1145/3086512.3086518

Recommendations

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations
Logic, Language, Information, and Computation
Abstract
We propose a minimal deontic logic, called MIND, based on intuitionistic logic. This logic gives a very simple solution to handling conflicting obligations: the presence of two conflicting obligations does not entail the triviality of the set of ...
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
WI-IAT '08: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03

Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible logic with modal operators. This ...
A Neutral Temporal Deontic STIT Logic
Logic, Rationality, and Interaction
Abstract
In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

MIWAI 2014: Proceedings of the 8th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 8875

December 2014

243 pages

ISBN:9783319133645

Editors:
M. Murty
Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India
,
Xiangjian He
Faculty of Engineering and Information Technology, University of Technology Sydney, Australia
,
Raghavendra Chillarige
Department of Computer and Information Sciences, University of Hyderabad, Hyderabad, India
,
Paul Weng
LIP6, University Pierre et Marie Curie, Paris, France

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 08 December 2014

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Faciano CMera SSchapachnik FDi Iorio AClara BUriarte VGiaccaglia MRuffa MMarcos CKeppens JGovernatori G(2017)Performance improvement on legal model checkingProceedings of the 16th edition of the International Conference on Articial Intelligence and Law10.1145/3086512.3086518(59-68)Online publication date: 12-Jun-2017
https://dl.acm.org/doi/10.1145/3086512.3086518

View Options

View options

Figures

Tables

Media

View Table of Conten