Belnap's epistemic states and negation-as-failure

Generalizing Belnap's system of epistemic states [Bel77] we obtain the system of disjunctive factbases which is the paradigm for all other kinds of disjunctive knowledge bases. Disjunctive factbases capture the nonmonotonic reasoning based on paraminimal models. In the schema of a disjunctive factbase, certain predicates of the resp. domain are declared to be exact, i.e. two-valued, and in turn some of these exact predicates are declared to be subject to the Closed-World Assumption (CWA). Thus, we distinguish between three kinds of predicates: inexact predicates, exact predicates subject to the CWA, and exact predicates not subject to the CWA

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

Inconsistency and Incompleteness in Relational Databases and Logic Programs

The aim of this thesis is to study the role played by negation in databases and to develop data models that can handle inconsistent and incomplete information. We develop models that also allow incompleteness through disjunctive information under both the CWA and the OWA in relational databases. In the area of logic programming, extended logic programs allow explicit representation of negative information. As a result, a number of extended logic programs have an inconsistent semantics. We present a translation of extended logic programs to normal logic programs that is more tolerant to inconsistencies. Extended logic programs have also been used widely in order to compute the repairs of an inconsistent database. We present some preliminary ideas on how source information can be incorporated into the repair program in order to produce a subset of the set of all repairs based on a preference for certain sources over others

Disjunctive deductive databases.

by Hwang Hoi Yee Cothan.Thesis (M.Phil.)--Chinese University of Hong Kong, 1996.Includes bibliographical references (leaves 68-70).Abstract --- p.iiAcknowledgement --- p.iiiChapter 1 --- Introduction --- p.1Chapter 1.1 --- Objectives of the Thesis --- p.1Chapter 1.2 --- Overview of the Thesis --- p.7Chapter 2 --- Background and Related Work --- p.8Chapter 2.1 --- Deductive Databases --- p.8Chapter 2.2 --- Disjunctive Deductive Databases --- p.10Chapter 2.3 --- Model tree for disjunctive deductive databases --- p.11Chapter 3 --- Preliminary --- p.13Chapter 3.1 --- Disjunctive Logic Program --- p.13Chapter 3.2 --- Data-disjunctive Logic Program --- p.14Chapter 4 --- Semantics of Data-disjunctive Logic Program --- p.17Chapter 4.1 --- Model-theoretic semantics --- p.17Chapter 4.2 --- Fixpoint semantics --- p.20Chapter 4.2.1 --- Fixpoint operators corresponding to the MMSpDD --- p.22Chapter 4.2.2 --- "Fixpoint operator corresponding to the contingency model, CMP" --- p.25Chapter 4.3 --- Equivalence between the model-theoretic and fixpoint semantics --- p.26Chapter 4.4 --- Operational Semantics --- p.30Chapter 4.5 --- Correspondence with the I-table --- p.31Chapter 5 --- Disjunctive Deductive Databases --- p.33Chapter 5.1 --- Disjunctions in deductive databases --- p.33Chapter 5.2 --- Relation between predicates --- p.35Chapter 5.3 --- Transformation of Disjunctive Deductive Data-bases --- p.38Chapter 5.4 --- Query answering for Disjunctive Deductive Data-bases --- p.40Chapter 6 --- Magic for Data-disjunctive Deductive Database --- p.44Chapter 6.1 --- Magic for Relevant Answer Set --- p.44Chapter 6.1.1 --- Rule rewriting algorithm --- p.46Chapter 6.1.2 --- Bottom-up evaluation --- p.49Chapter 6.1.3 --- Examples --- p.49Chapter 6.1.4 --- Discussion on the rewriting algorithm --- p.52Chapter 6.2 --- Alternative algorithm for Traditional Answer Set --- p.54Chapter 6.2.1 --- Rule rewriting algorithm --- p.54Chapter 6.2.2 --- Examples --- p.55Chapter 6.3 --- Contingency answer set --- p.56Chapter 7 --- Experiments and Comparison --- p.57Chapter 7.1 --- Experimental Results --- p.57Chapter 7.1.1 --- Results for the Traditional answer set --- p.58Chapter 7.1.2 --- Results for the Relevant answer set --- p.61Chapter 7.2 --- Comparison with the evaluation method for Model tree --- p.63Chapter 8 --- Conclusions and Future Work --- p.66Bibliography --- p.6

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions