More on Representation Theory for Default Logic

AbstractIn this paper, we investigate the representability of a family of theories as the set of extensions of a default theory. First, we present both new necessary conditions and sufficient ones for the representability by means of general default theories, which improves on similar results known before. Second, we show that one always obtains representable families by eliminating countably many theories from a representable family. Finally, we construct two examples of denumerable, representable families; one is not supercompactly nonincluding, and the other consists of mutually inconsistent theories but fails to be represented by a normal default theory

Towards efficient default reasoning

A decision method for Reiter's default logic is developed. It can determine whether a default theory has an extension, whether a formula is in some extension of a default theory and whether a formula is in every extension of a default theory. The method handles full propositional default logic. It can be implemented to work in polynomial space and by using only a theorem prover for the underlying propositional logic as a subroutine. The method divides default reasoning into two major subtasks: the search task of examining every alternative for extensions, which is solved by backtracking search, and the classical reasoning task, which can be implemented by a theorem prover for the underlying classical logic. Special emphasis is given to the search problem. The decision method employs a new compact representation of extensions which reduces the search space. Efficient techniques for pruning the search space further are developed

Graph theoretical structures in logic programs and default theories

In this paper we present a graph representation of logic programs and default theories. We show that many of the semantics proposed for logic programs can be expressed in terms of notions emerging from graph theory, establishing in this way a link between the fields. Namely the stable models, the partial stable models, and the well-founded semantics correspond respectively to the kernels, semikernels and the initial acyclic part of the associated graph. This link allows us to consider both theoretical problems (existence, uniqueness) and computational problems (tractability, algorithms, approximations) from a more abstract and rather combinatorial point of view. It also provides a clear and intuitive understanding about how conflicts between rules are resolved within the different semantics. Furthermore, we extend the basic framework developed for logic programs to the case of Default Logic by introducing the notions of partial, deterministic and well-founded extensions for default theories. These semantics capture different ways of reasoning with a default theory

Embedding defaults into terminological knowledge representation formalisms

We consider the problem of integrating Reiter\u27s default logic into terminological representation systems. It turns out that such an integration is less straightforward than we expected, considering the fact that the terminological language is a decidable sublanguage of first-order logic. Semantically, one has the unpleasant effect that the consequences of a terminological default theory may be rather unintuitive, and may even vary with the syntactic structure of equivalent concept expressions. This is due to the unsatisfactory treatment of open defaults via Skolemization in Reiter\u27s semantics. On the algorithmic side, we show that this treatment may lead to an undecidable default consequence relation, even though our base language is decidable, and we have only finitely many (open) defaults. Because of these problems, we then consider a restricted semantics for open defaults in our terminological default theories: default rules are only applied to individuals that are explicitly present in the knowledge base. In this semantics it is possible to compute all extensions of a finite terminological default theory, which means that this type of default reasoning is decidable

A Default-Logic Paradigm for Legal Reasoning and Factfinding

Unlike research in linguistics and artificial intelligence, legal research has not used advances in logical theory very effectively. This article uses default logic to develop a paradigm for analyzing all aspects of legal reasoning, including factfinding. The article provides a formal model that integrates legal rules and policies with the evaluation of both expert and non-expert evidence – whether the reasoning occurs in courts or administrative agencies, and whether in domestic, foreign, or international legal systems. This paradigm can standardize the representation of legal reasoning, guide empirical research into the dynamics of such reasoning, and put the representations and research results to immediate use through artificial intelligence software. This new model therefore has the potential to transform legal practice and legal education, as well as legal theory