Automated Reasoning in Deontic Logic

11/18/2014
by   Ulrich Furbach, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/20/2015

Automated Reasoning for Robot Ethics

Deontic logic is a very well researched branch of mathematical logic and...
research
02/16/2012

Refinement Modal Logic

In this paper we present refinement modal logic. A refinement is like a...
research
03/07/2018

On the Verification of Logically Decorated Graph Transformations

We address the problem of reasoning on graph transformations featuring a...
research
03/28/2017

Universal Reasoning, Rational Argumentation and Human-Machine Interaction

Classical higher-order logic, when utilized as a meta-logic in which var...
research
07/07/2019

A Neutral Temporal Deontic STIT Logic

In this work we answer a long standing request for temporal embeddings o...
research
09/16/2015

Quantum Look at two Common Logics: the Logic of Primitive Thinking and the Logic of Everyday Human Reasoning

Based on ideas of quantum theory of open systems and psychological dual ...
research
03/04/2019

Learning Ex Nihilo

This paper introduces, philosophically and to a degree formally, the nov...

Please sign up or login with your details

Forgot password? Click here to reset