English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Labeled logics of conditional goals

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.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
van der Torre, Leendert W. N.1, Author
Affiliations:
1Max Planck Society, ou_persistent13              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121998
 Publication Status: Issued
 Pages: -
 Publishing info: Chichester, USA : Wiley
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519712
Other: Local-ID: C1256104005ECAFC-8179ADD33B255CE6C125675100481BCD-torre:ecai98a
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Brighton, England
Start-/End Date: 1998

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)
Source Genre: Proceedings
 Creator(s):
Prade, Henri, Editor
Affiliations:
-
Publ. Info: Chichester, USA : Wiley
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 368 - 369 Identifier: -