Filters








7,425 Hits in 7.8 sec

A Minimal Model Semantics for Nonmonotonic Reasoning [chapter]

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012 Lecture Notes in Computer Science  
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  
“The book is based on the author’s thesis [“Nonmonotonic reasoningfrom 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]

Guo-Qiang Zhang
2002 arXiv   pre-print
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  
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

Riccardo Rosati
2007 Annals of Mathematics and Artificial Intelligence  
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

Salem Benferhat, Didier Dubois, Henri Prade
1997 Artificial Intelligence  
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

J. Engelfriet, J. Treur
2003 International Journal of Intelligent Systems  
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]

J. Engelfriet, J. Treur
1997 Lecture Notes in Computer Science  
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

David W. Etherington, Henry A. Kautz
1994 The AI Magazine  
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  
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

Thomas Lukasiewicz
2007 International Journal of Approximate Reasoning  
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

B. Boutsinas, M.N. Vrahatis
2001 Artificial Intelligence  
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]

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010 Lecture Notes in Computer Science  
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  
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]

Christian Komo, Christoph Beierle
2020 arXiv   pre-print
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