Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
  Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben
Konferenzbeitrag

Labeled logics of conditional goals

MPG-Autoren

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

Externe Ressourcen
Es sind keine externen Ressourcen hinterlegt
Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte in PuRe verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

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.


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