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