de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Labeled logics of conditional goals

MPS-Authors

van der Torre,  Leendert W. N.
Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

van der Torre, L. W. N. (1998). Labeled logics of conditional goals. In H. Prade (Ed.), Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98) (pp. 368-369). Chichester, USA: Wiley.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-384B-0
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.