Two-Phase Exception Logic (bibtex)
by Leendert van der Torre, Yao-Hua Tan
Abstract:
In this paper we propose an exception logic - formalizing reasoning about exceptions. We use this logic to defend two claims. First, we argue that default logic - formalizing reasoning about default assumptions - is an extension of exception logic. A deconstruction argument shows that reasoning about exception is one of the first principles of reasoning about default assumptions. Second, we argue that two phases have to be distinguished in reasoning about default assumptions. We identify two causes of the distinction between two phases, the disjunction rule OR and right weakening RW. This sheds some new light on these 'standard' (according to the Kraus-Lehmann-Magidor paradigm) properties of default inference.
Reference:
Two-Phase Exception Logic (Leendert van der Torre, Yao-Hua Tan), 1998.
Bibtex Entry:
@Misc{Torre1998h,
  Title                    = {Two-Phase Exception Logic},

  Author                   = {Leendert van der Torre and Yao-Hua Tan},
  Year                     = {1998},

  Abstract                 = {In this paper we propose an exception logic - formalizing reasoning about exceptions. We use this logic to defend two claims. First, we argue that default logic - formalizing reasoning about default assumptions - is an extension of exception logic. A deconstruction argument shows that reasoning about exception is one of the first principles of reasoning about default assumptions. Second, we argue that two phases have to be distinguished in reasoning about default assumptions. We identify two causes of the distinction between two phases, the disjunction rule OR and right weakening RW. This sheds some new light on these 'standard' (according to the Kraus-Lehmann-Magidor paradigm) properties of default inference.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/2el.ps.Z}
}
Powered by bibtexbrowser