How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences (bibtex)
by Yao-Hua Tan, Leendert W. N. van der Torre
Abstract:
In this paper we propose a semantics for dyadic deontic logic with an explicit preference ordering between worlds, representing different degrees of ideality. We argue that this ideality ordering can be used in two ways to evaluate formulas, which we call ordering and minimizing. Ordering uses all preference relations between relevant worlds, whereas minimizing uses the most preferred worlds only. We show that ordering corresponds to strengthening of the antecedent, and minimizing to weakening of the consequent. Moreover, we show that in some cases ordering and minimizing have to be combined to obtain certain desirable conclusions, and that this can only be done in a so-called two-phase deontic logic. In the first phase, the preference ordering is constructed, and in the second phase the ordering is used for minimization. If these two phases are not distinguished, then counterintuitive conclusions follow.
Reference:
How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences (Yao-Hua Tan, Leendert W. N. van der Torre), In DEON, 1996.
Bibtex Entry:
@InProceedings{Tan1996,
  Title                    = {How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences},
  Author                   = {Yao-Hua Tan and Leendert W. N. van der Torre},
  Booktitle                = {DEON},
  Year                     = {1996},
  Pages                    = {216-232},

  Abstract                 = {In this paper we propose a semantics for dyadic deontic logic with an explicit preference ordering between worlds, representing different degrees of ideality. We argue that this ideality ordering can be used in two ways to evaluate formulas, which we call ordering and minimizing. Ordering uses all preference relations between relevant worlds, whereas minimizing uses the most preferred worlds only. We show that ordering corresponds to strengthening of the antecedent, and minimizing to weakening of the consequent. Moreover, we show that in some cases ordering and minimizing have to be combined to obtain certain desirable conclusions, and that this can only be done in a so-called two-phase deontic logic. In the first phase, the preference ordering is constructed, and in the second phase the ordering is used for minimization. If these two phases are not distinguished, then counterintuitive conclusions follow. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/deon96.ps.Z},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/deon/1996},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/deon96.ps.Z}
}
Powered by bibtexbrowser