Location of Repository

Distinguishing Different Roles in Normative Reasoning

By Leendert W.N. van der Torre, Im Stadwald and Yao-hua Tan

Abstract

In this paper we introduce the diagnostic and decision- theoretic framework for deontic reasoning diO(de) 2 . The framework diO(de) 2 formalizes reasoning about violations and goals. We use this framework to discuss two theories of normative reasoning, diagnosis theory and (qualitative) decision theory. A crucial distinction between the two theories is their perspective on time. Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled obligations and unfulfilled obligations. Moreover, we discuss the relation between the two theories of normative reasoning and deontic logic. The theories formalize reasoning with norms, and they are thus different from deontic logic, that formalizes reasoning about norms. 1 Introduction There is a discussion in AI and law literature whether deontic..

Year: 1997
OAI identifier: oai:CiteSeerX.psu:10.1.1.41.9482
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.vu.nl/~torre/pap... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.