Generalized disjunctive well-founded semantics for logic programs

Chitta Baral, Jorge Lobo, Jack Minker

Research output: Contribution to journalArticle

14 Scopus citations

Abstract

Generalized disjunctive well-founded semantics (GDWFS) is a refined form of the generalized well-founded semantics (GWFS) of Baral, Lobo and Minker, to disjunctive logic programs. We describe fixpoint, model theoretic and procedural characterizations of GDWFS and show their equivalence. The fixpoint semantics is similar to the fixpoint semantics of the GWFS, except that it iterates over state-pairs (a pair of sets; one a set of disjunctions of atoms and the other a pair of conjunctions of atoms), rather than partial interpretations. The model theoretic semantics is based on a dynamic stratification of the program. The procedural semantics is based on SLIS refutations, + trees and SLISNF trees.

Original languageEnglish (US)
Pages (from-to)89-131
Number of pages43
JournalAnnals of Mathematics and Artificial Intelligence
Volume5
Issue number2-4
DOIs
StatePublished - Jun 1 1992
Externally publishedYes

ASJC Scopus subject areas

  • Artificial Intelligence
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Generalized disjunctive well-founded semantics for logic programs'. Together they form a unique fingerprint.

  • Cite this