Results 251 to 260 of about 24,578 (296)

A Fault-Tolerant Default Logic

, 2006
Reiter's default logic can not handle inconsistencies and incoherences and thus is not satisfactory enough in commonsense reasoning. In the paper we propose a new variant of default logic named FDL in which the existence of extension is guaranteed and the trivial extension is avoided.
Zhangang Lin, Yue Ma 0009, Zuoquan Lin
openaire   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Variations of constrained default logic

2005
Recently a variant of Reiter's default logic, called constrained default logic, has been developed in order to overcome certain short-comings of the original approach. In this paper, we introduce a very simple but powerful extension of constrained default logic, called preconstrained default logic.
Torsten Schaub, Schaub Torsten
exaly   +2 more sources

Expressing preferences in default logic

Artificial Intelligence, 2000
We address the problem of reasoning about preferences among properties (outcomes, desiderata, etc.) in Reiter's default logic. Preferences are expressed using an ordered default theory, consisting of default rules, world knowledge, and an ordering ...
James P Delgrande, Torsten Schaub
exaly   +2 more sources

Default logic and specification of nonmonotonic reasoning

Journal of Experimental and Theoretical Artificial Intelligence, 2001
In this paper constructions leading to the formation of belief sets by agents are studied. The focus is on the situation when possible belief sets are built incrementally in stages.
Joeri Engelfriet, V Wiktor Marek, Jan Treur   +2 more
exaly   +2 more sources

On cumulative default logics

Artificial Intelligence, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Laura Giordano 0001, Alberto Martelli
openaire   +1 more source

Logic Programming and Default Logic

International Journal on Artificial Intelligence Tools, 1994
We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic ...
openaire   +1 more source

Representability in Default Logic

Logic Journal of the IGPL, 2005
Summary: A default theory can be seen as a way for representing a set of formulae, i.e., its extensions. In this paper, we characterize the sets of formulae that can be expressed by a default theory according to various semantics: justified, constrained, rational, cumulative, QDL, CADL, and two semantics with priorities.
openaire   +2 more sources

Prioritizing Default Logic

2000
In nonmonotonic reasoning conflicts among defaults are ubiquitous. For instance, more specific rules may be in conflict with more general ones, a problem which has been studied intensively in the context of inheritance networks (Poole, 1985; Touretzky, 1986; Touretzky et al., 1991).
Gerhard Brewka, Thomas Eiter
openaire   +1 more source

A framework for default logics

1992
We present a general framework for default logics, which encompasses most of the existing variants of default logic. It allows us to compare those variants from a knowledge representation point of view. We then exploit this framework to generalize Brewka's work on cumulative default logic, and to give an operational definition of extensions.
Christine Froidevaux, Jérôme Mengin
openaire   +1 more source

Towards a classification of defaults logics

Journal of Applied Non-Classical Logics, 1997
ABSTRACT Reiter's default logic is one of the most prominent and well-studied approaches to nonmonotonic reasoning. Its evolution has resulted in diverse variants enjoying many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations ...
Linke, Thomas, Schaub, Torsten (Prof. Dr.)   +1 more
openaire   +2 more sources