A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
A Minimal Model Semantics for Nonmonotonic Reasoning
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
This paper provides a general semantic framework for nonmonotonic reasoning, based on a minimal models semantics on the top of KLM systems for nonmonotonic reasoning. ...
In both cases a knowledge base must be expanded with a suitable set of consistency assumptions, represented by negated conditionals. ...
The rational closure of a knowledge base K seemingly contains all conditional assertions that, in the analysis of nonmonotonic reasoning provided in [8] , one rationally wants to derive from K. ...
doi:10.1007/978-3-642-33353-8_18
fatcat:x5rhh6p26bht3plyrw355sjvcy
Page 1040 of Mathematical Reviews Vol. , Issue 93b
[page]
1993
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
“The book is based on the author’s thesis [“Nonmonotonic reasoning—from theoretical foundation towards efficient compu- tation”, Ph.D. Thesis, Univ. ...
Intermediate inconsistencies may lead to the generation of justifications which produce results having nothing to do with the problem solver’s knowledge base. ...
Axiomatic Aspects of Default Inference
[article]
2002
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Our results give a theoretical justification for a set of basic rules governing the update of nonmonotonic knowledge bases, demonstrating the derivation of them from the more concrete and primitive construction ...
This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical structures for reasoning about partial information without a predefined ...
beliefs to enlarge the knowledge base to X ∪{a, b}. ...
arXiv:cs/0207087v1
fatcat:a7nvyw7yxffbrklpxpzarefezi
Page 3223 of Mathematical Reviews Vol. , Issue 98E
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A counterfactual p > q is a conditional query with the meaning ‘If p would be true in the knowledge base, would it then hold also that g is true’, which is different from material implication p => q. ...
, for an adequate system of nonmonotonic reasoning. ...
Multi-modal nonmonotonic logics of minimal knowledge
2007
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
for the agents modeled, based on the principle of minimal knowledge. ...
multiple agents through multiple modal operators; (ii) the possibility of using first-order quantification in the modal language; (iii) the possibility of formalizing nonmonotonic reasoning abilities ...
than in E (condition 3), which means that w 1 in E has "less objective knowledge" than in E with respect to the modality K i , since adding possible worlds in a structure reduces the knowledge represented ...
doi:10.1007/s10472-007-9046-5
fatcat:ep5dahgukjc4zeylwshemrpuvi
Nonmonotonic reasoning, conditional objects and possibility theory
1997
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This short paper relates the conditional object-based and possibility theory-based approaches for reasoning with conditional statements pervaded with exceptions, to other methods in nonmonotonic reasoning ...
All these methods are shown to be equivalent with respect to their capabilities for reasoning with conditional knowledge although they are based on different modeling frameworks. ...
Acknowledgements The authors wish to thank Ralph Sobek who kindly helped them with the English. ...
doi:10.1016/s0004-3702(97)00012-x
fatcat:v7qmt677fbcrrfyo56uyne6acm
A compositional reasoning system for executing nonmonotonic theories of reasoning
2003
International Journal of Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Nonmonotonic reasoning systems can be used to model these reasoning patterns. ...
The reader familiar with default logic may check that these are (the only) extensions of º W, D . ...
doi:10.1002/int.10108
fatcat:tov7hnm6zbhlfmvuxm3b35acla
A compositional reasoning system for executing nonmonotonic theories of reasoning
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Nonmonotonic reasoning systems can be used to model these reasoning patterns. ...
The reader familiar with default logic may check that these are (the only) extensions of º W, D . ...
doi:10.1007/bfb0035627
fatcat:su4qjcwbkje5jig567qpexqx54
The Fourth International Workshop on Nonmonotonic Reasoning
1994
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
However, many problems have been discovered with the popular implementation mechanisms, such as shortest-path inheritance, and some practical systems have been implemented based on sound nonmonotonic reasoning ...
FALL 1994 85 David W. Etherington received his Ph.D. from the University of British Columbia in 1986. ...
doi:10.1609/aimag.v15i3.1104
dblp:journals/aim/EtheringtonK94
fatcat:bkfffknjtneufc3o2zjsdlzwdu
Page 1996 of Mathematical Reviews Vol. , Issue 96d
[page]
1996
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Thus efficient sub- classes of stratified nonmonotonic reasoning can be obtained by further restricting the form of sentences in a knowledge base. ...
The paper deals with a family of weak paraconsistent conditional
s
03 MATHEMATICAL LOGIC AND FOUNDATIONS
1996
logics C,W, n € w. ...
Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation
2007
International Journal of Approximate Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In previous work, I have introduced nonmonotonic probabilistic logics under variable-strength inheritance with overriding. ...
They are formalisms for probabilistic reasoning from sets of strict logical, default logical, and default probabilistic sentences, which are parameterized through a value k 2 [0, 1] that describes the ...
from conditional knowledge bases. ...
doi:10.1016/j.ijar.2006.07.015
fatcat:ksokw6xt3vhtxjikdknduaaz4e
Artificial nonmonotonic neural networks
2001
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we introduce Artificial Nonmonotonic Neural Networks (ANNNs), a kind of hybrid learning systems that are capable of nonmonotonic reasoning. ...
Nonmonotonic reasoning plays an important role in the development of artificial intelligent systems that try to mimic common sense reasoning, as exhibited by humans. ...
Inheritance networks is such a path-based formalism with widespread use in nonmonotonic reasoning systems [55] . ...
doi:10.1016/s0004-3702(01)00126-6
fatcat:3bmjqvwzjnajxfsamh7bdj4uwi
A Nonmonotonic Extension of KLM Preferential Logic P
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In order to perform nonmonotonic inferences, we define a "minimal model" semantics. ...
In this paper, we propose the logic Pmin , which is a nonmonotonic extension of Preferential logic P defined by Kraus, Lehmann and Magidor (KLM). ...
The work has been supported by Project "MIUR PRIN08 LoDeN: Logiche Descrittive Nonmonotone: Complessità e implementazioni". ...
doi:10.1007/978-3-642-16242-8_23
fatcat:a2ynmfgdyjeezbgri4spkvrxdy
Page 6521 of Mathematical Reviews Vol. , Issue 98J
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “Irrelevance reasoning refers to the process in which a system reasons about which parts of its knowledge are relevant (or irrelevant) to a specific query. Aside from its importance in speed- ...
6521
nonmonotonic reasoning, the authors prefer to proceed rather in- directly. ...
Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
A conditional knowledge base R is a set of conditionals of the form "If A, the usually B". ...
Using structural information derived from the conditionals in R, we introduce the preferred structure relation on worlds. ...
Nonmonotonic reasoning investigates qualitative conditionals of the form "If A then usually B ". ...
arXiv:2005.12713v1
fatcat:etufbpmvjzbutmwxr2yanvyrle
« Previous
Showing results 1 — 15 out of 7,425 results