19,614 Hits in 5.8 sec

On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents

Alexander Bochman
1995 International Joint Conference on Artificial Intelligence  
"expansions of the associated modal nonmonotonic logic Finally we show that, as far as such models are concerned, MBNF is redunhle to nonmodal default consequence relations from [Bochman, 1994] These  ...  results have general consequences concerning relationship between different formalizations of nonmonotonic reasoning  ...  Acknowledgments 1 he author is grateful to Vladimir Lifschil? for bis helpful advices m an earlier version of the paper  ... 
dblp:conf/ijcai/Bochman95 fatcat:65jolkx5izdvlpn3su5rnp2nyy

Nonmonotonic Reasoning and Multiple Belief Revision

Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
1997 International Joint Conference on Artificial Intelligence  
The aim of the present paper is to reveal the interrelation between general patterns of nonmonotonic reasoning and multiple belief revision.  ...  of nonmonotonic reasoning.  ...  This enables us to take the strategy to use methods from belief revision, set-theoretical, to contribute to a better understanding of nonmonotonic reasoning.  ... 
dblp:conf/ijcai/ZhangCZL97 fatcat:fietso2iizbvvp76yappgiuga4

A Logic For Causal Reasoning

Alexander Bochman
2003 International Joint Conference on Artificial Intelligence  
It is shown also that any causal relation is reducible to its Horn sub-relation with respect to the nonmonotonic semantics.  ...  The results of the study seem to suggest causal production relations as a viable general framework for nonmonotonic reasoning.  ...  The author is grateful to Vladimir Lifschitz, Hudson Turner, David Makinson and Leendert van der Torre, as well as to the anonymous referees, for their instructive comments and suggestions.  ... 
dblp:conf/ijcai/Bochman03 fatcat:cishcvvs7zgj3hbfzwbtuu2xh4

A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries

Johannes Marti, Riccardo Pinosio
2019 Order  
In this paper we present a duality between nonmonotonic consequence relations and well-founded convex geometries.  ...  On one side of the duality we consider nonmonotonic consequence relations satisfying the axioms of an infinitary variant of System P, which is one of the most studied axiomatic systems for nonmonotonic  ...  The contribution of this paper is to single out a class of families of subsets, namely the convex geometries, that gives rise to a duality with nonmonotonic consequence relations.  ... 
doi:10.1007/s11083-019-09497-0 fatcat:nse6dfqtrbbq3fektbitljhpwa

Abductive Framework for Nonmonotonic Theory Change

Katsumi Inoue, Chiaki Sakama
1995 International Joint Conference on Artificial Intelligence  
This paper proposes a method of nonmonotonic theory change. We first introduce a new form of abduction that can account for observations in nonmonotonic situation.  ...  Then we provide a framework of autoepistemic update, which describes nonmonotonic theory change through the extended abductive framework.  ...  This framework is based on a new form of nonmonotonic abduction, which can explain observations not only by adding some hypotheses to the theory but by retracting some previous hypotheses.  ... 
dblp:conf/ijcai/InoueS95 fatcat:pp4gle7yrbc7zdx66q4lgf7iwa

Page 5658 of Mathematical Reviews Vol. , Issue 2004g [page]

2004 Mathematical Reviews  
First, in or- der to carry out further research into nonmonotonic rule systems, a new characterization and some new results are given.  ...  First, if a theory has a single extension, nonmonotonic inference can be reduced to entailment in propositional logic (which is computationally easier) using the set 68 COMPUTER SCIENCE 5658 of consequences  ... 

A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence [chapter]

Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran
2015 Lecture Notes in Computer Science  
him with his ability to inspire.  ...  Gerhard Brewka has made a remarkable impact on artificial intelligence, especially in the area of knowledge representation, through his ideas, collaborations and mentoring, always amazing those close to  ...  First, at the most basic level, nonmonotonicity arises in commonsense reasoning because we view some models as unlikely and restrict attention only to some, for instance, to minimal ones as in circumscription  ... 
doi:10.1007/978-3-319-14726-0_1 fatcat:dklrnvenf5h4nosisqkuwqotie

A causal approach to nonmonotonic reasoning

Alexander Bochman
2004 Artificial Intelligence  
The resulting nonmonotonic formalisms will be shown to provide a logical representation of abductive reasoning, and a complete characterization of causal nonmonotonic reasoning from McCain and Turner [  ...  These inference relations will be assigned, however, both standard semantics (giving interpretation to their rules), and natural nonmonotonic semantics based on the principle of explanation closure.  ...  Acknowledgements I would like to express my deep thanks to Vladimir Lifschitz, David Makinson, Leendert van der Torre, and especially to Hudson Turner for their comments and suggestions.  ... 
doi:10.1016/j.artint.2004.07.002 fatcat:f7yp7jaly5bcrlwggu3nex7gj4

A Causal Theory of Abduction

A. Bochman
2007 Journal of Logic and Computation  
Consequently, any classical consequence relation can be seen as a classical entailment with some set of propositions added as additional, nonlogical axioms.  ...  A formal support for this claim can be obtained from the contribution of explanatory rules to the completion of a causal theory, described later.  ... 
doi:10.1093/logcom/exm045 fatcat:4ow5dp6kazb2pnlnxufemelr3q


2012 International Journal of Modern Physics, Conference Series  
We obtain nonmonotonic behavior of the Helmholtz free energy with separation and temperature, leading to parameter ranges with negative entropy, and also nonmonotonic behavior of the entropy with temperature  ...  The appearance of this anomalous behavior of the entropy is discussed as well as its thermodynamic consequences.  ...  for this nonmonotonicity to appear.  ... 
doi:10.1142/s201019451200760x fatcat:56r2pxw7qzhf3ofw5l34kgdoyi

Page 4585 of Mathematical Reviews Vol. , Issue 98G [page]

1998 Mathematical Reviews  
The book reviews some analyses of the weaker-than-classical properties of the consequence relation that hold for classes of nonmonotonic logics, starting with cautious monotonicity.  ...  Overall the book is an ideal introduction, covering some of the major proposals for nonmonotonic reasoning in a clear way, together with some interrelationships between proposals.  ... 

Incompatibility in context: A diagnosis of correction

N. van Leusen
2004 Journal of Semantics  
Allowing the update effect of discourse contributions to be underspecified, we argue that the nonmonotonicity of updates induced by corrections is a consequence of the interaction of the incompatibility  ...  Corrections induce nonmonotonic updates of the context.  ...  The phenomenon that a discourse contribution 'anchors to' or 'is about' some specific situation or some specific type of situation might be viewed as a form of domain restriction, see for example (von  ... 
doi:10.1093/jos/21.4.415 fatcat:clnjz4x7f5bvlcbpbf3mp3qmje

To Preference via Entrenchment [article]

Konstantinos Georgatos
2000 arXiv   pre-print
This relation seeks to maximize some function.  ...  Here, the entrenchment relation becomes the primary basic notion and nonmonotonic inference takes a secondary higher-order place much like any consequence relation given some underlying proof theoretic  ... 
arXiv:cs/0007033v1 fatcat:fviot3kkrjcwljock4h5pbic2i

Logic and Artificial Intelligence [chapter]

Richmond H. Thomason
2009 The Development of Modern Logic  
A logic is nonmonotonic if its consequence relation lacks this property. Preferred models provide a general way to induce a nonmonotonic consequence relation.  ...  See [Lenat and Guha, 1989] . 11 See [Reiter, 2001] for an extended contribution to cognitive robotics, with references to some of the other literature in this area.  ... 
doi:10.1093/acprof:oso/9780195137316.003.0047 fatcat:ftchyrt7yvclzdyhxh7qnv3xoi

Nonmonotonic dependence of polymer-glass mechanical response on chain bending stiffness

Christopher Ness, Vladimir V. Palyulin, Rico Milkus, Robert Elder, Timothy Sirk, Alessio Zaccone
2017 Physical review. E  
This nonmonotonic variation of the storage modulus G' with bending stiffness is caused by a competition between additional resistance to deformation offered by stiffer backbones and decreased density of  ...  This counter-intuitive finding suggests that the strength of polymer glasses may in some circumstances be enhanced by softening the bending of constituent chains.  ...  This has been apparent in granular systems for some time, when comparing frictionless to frictional packings [5] .  ... 
doi:10.1103/physreve.96.030501 pmid:29346945 fatcat:opa2kv5ctva4rjty4lwpep4ode
« Previous Showing results 1 — 15 out of 19,614 results