Credulous Reasoning About Defaults (bibtex)
by L. van der Torre, Y Tan
Abstract:
In this paper we propose a preference-based conditional logic for credulous reasoning about defaults. A conditional default "if fi then by default ff" is either formalized by the strong preference "fi :ff is not preferred to or equivalent to fi ff", or by the weak preference "the preferred fi is an ff". We show that these two expressions, instances of what we call the ordering and minimizing usages of preference orderings, can be considered as duals of each other. Moreover, we give a formalization of ordering and minimizing in Boutilier's modal logic CT40 and we show how to combine them in a two-phase default logic.
Reference:
Credulous Reasoning About Defaults (L. van der Torre, Y Tan), In Proceedings of the Asian Conference on Logic, China, 1996.
Bibtex Entry:
@InProceedings{Torre1996,
  Title                    = {Credulous Reasoning About Defaults},
  Author                   = {van der Torre, L. and Tan, Y},
  Booktitle                = {Proceedings of the Asian Conference on Logic, China},
  Year                     = {1996},

  Abstract                 = {In this paper we propose a preference-based conditional logic for credulous reasoning about defaults. A conditional default "if fi then by default ff" is either formalized by the strong preference "fi :ff is not preferred to or equivalent to fi ff", or by the weak preference "the preferred fi is an ff". We show that these two expressions, instances of what we call the ordering and minimizing usages of preference orderings, can be considered as duals of each other. Moreover, we give a formalization of ordering and minimizing in Boutilier's modal logic CT40 and we show how to combine them in a two-phase default logic.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/asian96.ps.Z},
  Date-modified            = {2011-12-20 17:13:57 +0100},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/asian96.ps.Z}
}
Powered by bibtexbrowser