Results 281 to 290 of about 405,638 (322)
Some of the next articles are maybe not open access.
Logic Programming and Default Logic
International Journal on Artificial Intelligence Tools, 1994We 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 +2 more sources
Using default logic to enhance default logic: preliminary report
2008 IEEE International Conference on Information Reuse and Integration, 2008This 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 +3 more sources
1998
Default logic was conceived by Raymond Reiter in [1980] as a formal account of reasoning in the absence of complete information. It has since proved to be one of the most widely-used formalizations of default reasoning. This is, among other reasons, due to its natural way to incorporate default reasoning into the framework of standard logic.
openaire +3 more sources
Default logic was conceived by Raymond Reiter in [1980] as a formal account of reasoning in the absence of complete information. It has since proved to be one of the most widely-used formalizations of default reasoning. This is, among other reasons, due to its natural way to incorporate default reasoning into the framework of standard logic.
openaire +3 more sources
Similarity preservation in default logic
Annals of Mathematics and Artificial Intelligence, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rachel Ben-Eliyahu-Zohary +2 more
openaire +3 more sources
An Application to Default Logic
2021Given a default theory \((\Delta ,D),\) where \(\Delta \) is a theory in propositional logic and D is a set of defaults, we will define three kinds of the minimal change in default logic: a theory \(\Theta \) is a \(\subseteq \)-/\(\preceq \)-/\(\vdash _\preceq \)-minimal change of D by \(\Delta ,\) where \(\Theta \) is a \(\subseteq \)-minimal change ...
Wei Li, Yuefei Sui
openaire +2 more sources
Alternative approaches to default logic
Artificial Intelligence, 1994A new variant of Reiter's default logic, constrained default logic, is proposed where a global consistency condition is imposed. In constrained default logic it is required that the set of justifications of the default rules generating an extension need to be jointly consistent whereas in Reiter's default logic a local consistency condition is employed
W. Ken Jackson +2 more
openaire +3 more sources
A framework for default logics
1992We 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 +2 more sources
Nonmonotonic default modal logics
Journal of the ACM, 1991Summary: 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.
Michael Kaminski, Michael Tiomkin
openaire +2 more sources
Modal logic for default reasoning
Annals of Mathematics and Artificial Intelligence, 1990zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Miroslaw Truszczynski, Wiktor Marek
openaire +2 more sources
Default Logic and purity of reasoning
1999Ray Reiter has worked out Default Logic during his sabbatical leave in 1979, at Imperial College in London. The paper on Default Logic then appeared in the landmark issue of the Artificial Intelligence Journal on “Commonsense Reasoning” [1].
GIANNI AMATI +2 more
openaire +3 more sources