Labeled Logics of Conditional Goals (bibtex)
by Leendert W. N. van der Torre
Abstract:
In this paper we introduce labeled logics of conditional goals. The logics have two remarkable properties. First, conflicting goals are consistent, because they can refer to different objectives. Second, a priori problematic combinations - e.g. strengthening of the antecedent and weakening of the consequent - are supported thanks to the labels. They are used to construct complex inductive definitions with several arguments. In the labeled logics we discuss transitivity, formalizing that conditional goals can be applied one after the other, and the disjunction rule, formalizing reasoning by cases.
Reference:
Labeled Logics of Conditional Goals (Leendert W. N. van der Torre), In ECAI, 1998.
Bibtex Entry:
@InProceedings{Torre1998d,
  Title                    = {Labeled Logics of Conditional Goals},
  Author                   = {Leendert W. N. van der Torre},
  Booktitle                = {ECAI},
  Year                     = {1998},
  Pages                    = {368-369},

  Abstract                 = {In this paper we introduce labeled logics of conditional goals. The logics have two remarkable properties. First, conflicting goals are consistent, because they can refer to different objectives. Second, a priori problematic combinations - e.g. strengthening of the antecedent and weakening of the consequent - are supported thanks to the labels. They are used to construct complex inductive definitions with several arguments. In the labeled logics we discuss transitivity, formalizing that conditional goals can be applied one after the other, and the disjunction rule, formalizing reasoning by cases. },
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/ecai98yr2.ps.Z},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/ecai98yr2.ps.Z}
}
Powered by bibtexbrowser