Results 241 to 250 of about 421,883 (287)

Default Logic as Dynamic Doxastic Logic

Erkenntnis, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Using default logic to enhance default logic: preliminary report

2008 IEEE International Conference on Information Reuse and Integration, 2008
This paper is about the fusion of multiple knowledge sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories trivialize in this case. To overcome this problem, several candidate policies are discussed.
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

Default Logic

1994
Abstract In nonmonotonic reasoning we want to reach conclusions that we may not reach if we had more information. There seem to be two ways to handle this; we could change the logic to be defeasible, or we could allow some premises of the logical argument that may not be allowed when new information is received.
openaire   +1 more source

Embedding Modal Nonmonotonic Logics into Default Logic

Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Nonmonotonic default modal logics

Journal of the ACM, 1991
Summary: Conclusions by failure to prove the opposite are frequently used in reasoning about an incompletely specified world. This naturally leads to logics for default reasoning that, in general, are nonmonotonic; that is, introducing new facts an invalidate previously made conclusions.
Tiomkin, Michael, Kaminski, Michael
openaire   +1 more source

Hierarchical default logic

1991
We present a formal framework for ordered default reasoning which has desirable mathematical properties yet is relatively simple and can be implemented using standard theorem provers. By expressing default logic as a relation from theories to extensions we are able to formalise Brewka's prioritized default logic as a composite relation.
openaire   +1 more source

COMBINING DEFAULT LOGIC DATABASES

International Journal of Cooperative Information Systems, 1994
During the past decade, it has become increasingly clear that the future generation of large-scale knowledge bases will consist, not of one single isolated knowledge base, but a multiplicity of specialized knowledge bases that contain knowledge about different domains of expertise.
CHITTA BARAL, SARIT KRAUS, JACK MINKER, V. S. SUBRAHMANIAN   +3 more
openaire   +1 more source

Default Logic Revisited

1989
A number of people feel uncomfortable with the fact that not all theories of default logic have extensions and that there is no proof theory worthy of this name for the whole logic. They have attacked from various angles the way extensions are defined in default logic; one of them, Łukaszewicz [1984b], building on his diagnosis of the reason why ...
openaire   +1 more source

On cumulative default logics

Artificial Intelligence, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
GIORDANO, Laura, MARTELLI, Alberto
openaire   +2 more sources