A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
"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
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
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
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
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
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 ...
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
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
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
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
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. ...
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
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
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
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  . ...doi:10.1103/physreve.96.030501 pmid:29346945 fatcat:opa2kv5ctva4rjty4lwpep4ode
« Previous Showing results 1 — 15 out of 19,614 results