From disjunctive programs to abduction

Vladimir Lifschitz, Hudson Turner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

The purpose of this work is to clarify the relationship between three approaches to representing incomplete information in logic programming. Classical negation and epistemic disjunction are used in the first of these approaches, abductive logic programs with classical negation in the second, and a simpler form of abductive logic programming — without classical negation — in the third. In the literature, these ideas have been illustrated with examples related to properties of actions, and in this paper we consider an action domain also. We formalize this domain as a disjunctive program with classical negation, and then show how two abductive formalizations can be obtained from that program by a series of simple syntactic transformations. The three approaches under consideration turn out to be parts of a whole spectrum of different, but equivalent, ways of representing incomplete information.

Original languageEnglish (US)
Title of host publicationNon-Monotonic Extensions of Logic Programming - ICLP 1994 Workshop, Selected Papers
EditorsJürgen Dix, Teodor C. Przymusinski, Louis Moniz Pereira
PublisherSpringer Verlag
Pages23-42
Number of pages20
ISBN (Print)3540594671, 9783540594673
DOIs
StatePublished - 1995
Externally publishedYes
EventWorkshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994 - Santa Margherita Ligure, Italy
Duration: Jun 17 1994Jun 17 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume927
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherWorkshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994
CountryItaly
CitySanta Margherita Ligure
Period6/17/946/17/94

Fingerprint

Dive into the research topics of 'From disjunctive programs to abduction'. Together they form a unique fingerprint.

Cite this