Interpreting disjunctive logic programs based on a strong sense of disjunction

James J. Lu*, Monica D. Barback, Lawrence Joseph Henschen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

This paper studies a strong form of disjunctive information in deductive databases. The basic idea is that a disjunction A ∨B should be considered true only in the case when neither A nor B can be inferred, but the disjunction A ∨B is true. Under this interpretation, databases may be inconsistent. For those databases that are consistent, it is shown that a unique minimal model exists. We study a fixpoint theory and present a sound and complete proof procedure for query processing in consistent databases. For a class of inconsistent databases, we obtain a declarative semantics by selecting an interpretation that maximizes satisfaction, and minimizes indefiniteness. Two notions of negation are introduced.

Original languageEnglish (US)
Pages (from-to)345-370
Number of pages26
JournalJournal of Automated Reasoning
Volume10
Issue number3
DOIs
StatePublished - Oct 1 1993

Keywords

  • Disjunctive logic programs
  • strong disjunctive database (SDD)

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Interpreting disjunctive logic programs based on a strong sense of disjunction'. Together they form a unique fingerprint.

Cite this