Automated reasoning in deontic logic

被引：5
作者：
Furbach, Ulrich [1 ]
Schon, Claudia [1 ]
Stolzenburg, Frieder [2 ]
机构：
[1] Universität Koblenz-Landau, Koblenz
[2] Harz University of Applied Sciences, Wernigerode
来源：
Furbach, Ulrich | 1600年 / Springer Verlag卷 / 8875期
关键词：
Automated theorem proving; Deontic logic; Description logics;
D O I：
10.1007/978-3-319-13365-2_6
中图分类号：
学科分类号：
摘要：
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 DLclauses, 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. © Springer International Publishing Switzerland 2014.
引用
收藏
页码：57 / 68
页数：11
相关论文
共 22 条
  • [1] Artosi A., Cattabriga P., Governatori G., Ked: A deontic theorem prover, On Legal Application of Logic Programming, ICLP 1994, pp. 60-76, (1994)
  • [2] Baader F., Nutt W., Basic description logics, The Description Logic Handbook: Theory, Implementation, and Applications, pp. 43-95, (2003)
  • [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, pp. 18-43, (2011)
  • [4] Baumgartner P., Furbach U., Niemela I., Hyper tableaux, JELIA 1996. LNCS, 1126, pp. 1-17, (1996)
  • [5] Beirlaen M., Tolerating normative conflicts in deontic logic, (2012)
  • [6] Bender M., Pelzer B., Schon C., System description: E-KRHyper 1.4 - Extensions for unique names and description logic, CADE 2013. LNCS (LNAI), 7898, pp. 126-134, (2013)
  • [7] Bringsjord S., Arkoudas K., Bello P., Toward a general logicist methodology for engineering ethically correct robots, IEEE Intelligent Systems, 21, 4, pp. 38-44, (2006)
  • [8] Chisolm R.M., Contrary-to-duty imperatives and deontic logic, Analysis, 23, pp. 33-36, (1963)
  • [9] Furbach U., Schon C., Deontic logic for human reasoning, (2014)
  • [10] Gabbay D., Horty J., Parent X., Van Der Meyden R., Van Der Torre L., Handbook of Deontic Logic and Normative Systems, (2013)
123