Automatically assigned DDC number: 0063

Manually assigned DDC number: 006333

Number of references: 4

Title: Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic

Author:

Subject: Yao-hua Tan Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic

Description: In this paper we give a general analysis of dyadic deontic logics that were introduced in the early seventies to formalize deontic reasoning about subideal behavior. Recently it was observed that they are closely related to nonmonotonic logics, theories of diagnosis and decision theories. In particular, we argue that two types of defeasibility must be distinguished in a defeasible deontic logic: overridden defeasibility that formalizes cancelling of an obligation by other conditional obligations and factual defeasibility that formalizes overshadowing of an obligation by a violating fact. We also show that this distinction is essential for an adequate analysis of notorious `paradoxes' of deontic logic such as the Chisholm and Forrester `Paradoxes'. 1 Introduction In recent years defeasible deontic logic has become increasingly popular as a tool to model legal reasoning in expert systems [ McCarty, 1992; Meyer and Wieringa, 1994; Jones and Sergot, 1994 ] , because defeasible reasoning i...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-03-21

Pubyear: 1995

Format: ps

Identifier: http://citeseer.ist.psu.edu/150706.html

Source: http://abduction.euridis.fbk.eur.nl/~torre/papers/ijcai95.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/553803.html"   Type="inproceedings"   CiteSeer_Book="Principles   of   Knowledge   Representation   and   Reasoning"   CiteSeer_Volume=""   Title="Toward   a   Logic   for   Qualitative   Decision   Theory,">

            <identifier   Org="ISBN:0262510952"   Paper_ID="/553803.html"   Extracted="0262510952"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0262510987"   Paper_ID="/553803.html"   Extracted="0262510987"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:038723067X"   Paper_ID="/553803.html"   Extracted="038723067X"   DDC="658.4/033"   Normalized_DDC="6584033"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792351614"   Paper_ID="/553803.html"   Extracted="0792351614"   />

            <identifier   Org="ISBN:0792372247"   Paper_ID="/553803.html"   Extracted="0792372247"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792376110"   Paper_ID="/553803.html"   Extracted="0792376110"   DDC="658.4/03"   Normalized_DDC="658403"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:155860412X"   Paper_ID="/553803.html"   Extracted="155860412X"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586036424"   Paper_ID="/553803.html"   Extracted="1586036424"   />

            <identifier   Org="ISBN:1586038915"   Paper_ID="/553803.html"   Extracted="1586038915"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540007318"   Paper_ID="/553803.html"   Extracted="3540007318"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="/553803.html"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540273263"   Paper_ID="/553803.html"   Extracted="3540273263"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540404945"   Paper_ID="/553803.html"   Extracted="3540404945"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540406654"   Paper_ID="/553803.html"   Extracted="3540406654"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540612866"   Paper_ID="/553803.html"   Extracted="3540612866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540670270"   Paper_ID="/553803.html"   Extracted="3540670270"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540752536"   Paper_ID="/553803.html"   Extracted="3540752536"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3642006086"   Paper_ID="/553803.html"   Extracted="3642006086"   />

      </rec>

      <rec   ID="/85445.html"   Type="article"   CiteSeer_Book="Annals   of   Mathematics   and   Artificial   Intelligence"   CiteSeer_Volume="9"   Title="Deontic   Logic   as   Founded   on   Nonmonotonic   Logic,">

            <identifier   Org="ISBN:019509090X"   Paper_ID="/85445.html"   Extracted="019509090X"   DDC="128/.3"   Normalized_DDC="1283"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0631221484"   Paper_ID="/85445.html"   Extracted="0631221484"   DDC="300./72"   Normalized_DDC="30072"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:063122713X"   Paper_ID="/85445.html"   Extracted="063122713X"   DDC="162"   Normalized_DDC="162"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0792346300"   Paper_ID="/85445.html"   Extracted="0792346300"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/85445.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0924922796"   Paper_ID="/85445.html"   Extracted="0924922796"   />

            <identifier   Org="ISBN:3540221115"   Paper_ID="/85445.html"   Extracted="3540221115"   DDC="004.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/85302.html"   Type="inproceedings"   CiteSeer_Book="Symbolic   and   Quantitative   Approaches   to   Reasoning   and   Uncertainty"   CiteSeer_Volume=""   Title="Why   Defeasible   Deontic   Logic   needs   a   Multi   Preference   Semantics,">

            <identifier   Org="ISBN:0792346300"   Paper_ID="/85302.html"   Extracted="0792346300"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540601120"   Paper_ID="/85302.html"   Extracted="3540601120"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540630953"   Paper_ID="/85302.html"   Extracted="3540630953"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/94964.html"   Type="inproceedings"   CiteSeer_Book="European   Conference   on   Artificial   Intelligence"   CiteSeer_Volume=""   Title="Violated   Obligations   in   a   Defeasible   Deontic   Logic,">

            <identifier   Org="ISBN:0387707603"   Paper_ID="/94964.html"   Extracted="0387707603"   DDC="658.4/38"   Normalized_DDC="658438"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0792346300"   Paper_ID="/94964.html"   Extracted="0792346300"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0792363507"   Paper_ID="/94964.html"   Extracted="0792363507"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/94964.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1402001932"   Paper_ID="/94964.html"   Extracted="1402001932"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1581131658"   Paper_ID="/94964.html"   Extracted="1581131658"   />

            <identifier   Org="ISBN:3540601120"   Paper_ID="/94964.html"   Extracted="3540601120"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540651411"   Paper_ID="/94964.html"   Extracted="3540651411"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540670270"   Paper_ID="/94964.html"   Extracted="3540670270"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540705244"   Paper_ID="/94964.html"   Extracted="3540705244"   />

            <identifier   Org="ISBN:3642004423"   Paper_ID="/94964.html"   Extracted="3642004423"   />

            <identifier   Org="ISBN:9051994273"   Paper_ID="/94964.html"   Extracted="9051994273"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Cancelling   and   Overshadowing:   Two   Types   of   Defeasibility   in   Defeasible   Deontic   Logic">

            <identifier   Org="ISBN:0262510987"   Paper_ID="SELF"   Extracted="0262510987"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0792346300"   Paper_ID="SELF"   Extracted="0792346300"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0792362373"   Paper_ID="SELF"   Extracted="0792362373"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0792363507"   Paper_ID="SELF"   Extracted="0792363507"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1402001932"   Paper_ID="SELF"   Extracted="1402001932"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540250638"   Paper_ID="SELF"   Extracted="3540250638"   DDC="340.072"   Normalized_DDC="340072"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540601120"   Paper_ID="SELF"   Extracted="3540601120"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540651411"   Paper_ID="SELF"   Extracted="3540651411"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540670270"   Paper_ID="SELF"   Extracted="3540670270"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:9810234325"   Paper_ID="SELF"   Extracted="9810234325"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

      </rec>

</references_metadata>