Journal ArticleDOI
Nonmonotonic inference based on expectations
Peter Gärdenfors,David Makinson +1 more
TLDR
It is shown how nonmonotonic inferences may elegantly be interpreted in terms of underlying expectations, and it is shown that by using the notion of expectation, one can unify the treatment of the theory of belief revision and that of nonMonotonic inference relations.About:
This article is published in Artificial Intelligence.The article was published on 1994-02-01. It has received 283 citations till now. The article focuses on the topics: Non-monotonic logic & Belief revision.read more
Citations
More filters
Journal ArticleDOI
On the logic of iterated belief revision
Adnan Darwiche,Judea Pearl +1 more
TL;DR: It is shown that the AGM postulates are too weak to ensure the rational preservation of conditional beliefs during belief revision, thus permitting improper responses to sequences of observations, and a model-based representation theorem is established which characterizes the proposed postulates and constrains the way in which entrenchment orderings may be transformed under iterated belief revision.
Book
Paraconsistent logics
TL;DR: This chapter discusses the need to derive reasonable inferences without deriving the trivial inferences that follow the ex falso quodlibet proof rule that holds in classical logic.
Proceedings Article
Inconsistency management and prioritized syntax-based entailment
TL;DR: This new approach leads to a nonmonotonic inference which satisfies the "rationality" property while solving the problem of blocking of property inheritance and differs from and improves previous equivalent approaches such as Gardenfors and Makinson's expectation-based inference, Pearl's System Z and possibilistic logic.
Proceedings Article
Representing Default Rules in Possibilistic Logic.
TL;DR: It is pointed out that the notion of inconsistency tolerant inference in possibilistic logic corresponds to the bold inference in system Z, and how to express defaults by means of qualitative possibility relations is shown.
Journal ArticleDOI
Conditional logics of normality: a modal approach
TL;DR: A family of modal logics is presented in which a conditional connective is defined for statements of normality and its properties are examined, and it is demonstrated that two of the most important conditional approaches are equivalent to fragments of the authors' conditional logics ofnormality.
References
More filters
Book
A mathematical theory of evidence
TL;DR: This book develops an alternative to the additive set functions and the rule of conditioning of the Bayesian theory: set functions that need only be what Choquet called "monotone of order of infinity." and Dempster's rule for combining such set functions.
Journal ArticleDOI
Fuzzy sets as a basis for a theory of possibility
TL;DR: The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable.
Journal ArticleDOI
A logic for default reasoning
TL;DR: This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.
Journal ArticleDOI
On the logic of theory change: Partial meet contraction and revision functions
TL;DR: In this article, the authors extend earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising it to introduce a new proposition.
Book
Possibility Theory: An Approach to Computerized Processing of Uncertainty
Didier Dubois,Henri Prade +1 more
TL;DR: This chapter discusses the use of Fuzzy Sets for the Evaluation and Ranking of Objects, a Quantitative Approach to Multiaspect Choice, and some of the techniques used in this approach.