Sceptical Reasoning About Defaults (bibtex)
by Yao-hua Tan, Leendert W.N. van der Torre
Abstract:
In this paper we investigate preference-based logics for sceptical reasoning about defaults. In preference-based default logics a default is either formalized by a strong or by a weak preference, instances of what we call the ordering and minimizing usages of preference orderings. In a previous paper, we showed how ordering and minimizing can be formalized in Boutilier's modal logic CT40 and how they can be combined in a two-phase default logic. In this paper, we extend these results from the credulous case to the more complex sceptical case.
Reference:
Sceptical Reasoning About Defaults (Yao-hua Tan, Leendert W.N. van der Torre), 1997.
Bibtex Entry:
@Misc{Tan1997,
  Title                    = {Sceptical Reasoning About Defaults},

  Author                   = {Yao-hua Tan and Leendert W.N. van der Torre},
  Year                     = {1997},

  Abstract                 = {In this paper we investigate preference-based logics for sceptical reasoning about defaults. In preference-based default logics a default is either formalized by a strong or by a weak preference, instances of what we call the ordering and minimizing usages of preference orderings. In a previous paper, we showed how ordering and minimizing can be formalized in Boutilier's modal logic CT40 and how they can be combined in a two-phase default logic. In this paper, we extend these results from the credulous case to the more complex sceptical case.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ScepReasAboutDefaults.pdf}
}
Powered by bibtexbrowser