Journal ArticleDOI
Rationality, transitivity, and contraposition
Reads0
Chats0
TLDR
Four weak forms of Transitivity are presented that, in preferential logic, are equivalent to Rational Monotonicity and a weak form of Contraposition that is strictly weaker than RationalMonotonicity but equivalent to it in the presence of Disjunctive Rationality.About:
This article is published in Artificial Intelligence.The article was published on 1991-12-01. It has received 43 citations till now. The article focuses on the topics: Contraposition (traditional logic).read more
Citations
More filters
Journal ArticleDOI
What does a conditional knowledge base entail
Daniel Lehmann,Menachem Magidor +1 more
TL;DR: It is argued that any reasonable nonmonotonic inference procedure should define a rational relation and it is shown that the rational relations are exactly those that may be represented by a ranked preferential model, or by a (nonstandard) probabilistic model.
Journal ArticleDOI
Nonmonotonic inference based on expectations
Peter Gärdenfors,David Makinson +1 more
TL;DR: 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.
Journal ArticleDOI
The value of the four values
Ofer Arieli,Arnon Avron +1 more
TL;DR: This paper vindicates Belnap's thesis by showing that the logical role that the four-valued structure has among Ginsberg's bilattices is similar to the roles that the two-valued algebra has among Boolean algebras.
Journal ArticleDOI
Another perspective on Default Reasoning
TL;DR: The lexicographic closure provides a logic of normal defaults that is different from the one proposed by R. Reiter and that is rich enough not to require the consideration of non-normal defaults.
Posted Content
Another perspective on Default Reasoning
TL;DR: The lexicographic closure of any given finite set D of normal defaults is defined in this article, which is essentially a rational extension of D, and of its rational closure, defined in a previous paper.
References
More filters
Journal ArticleDOI
Nonmonotonic reasoning, preferential models and cumulative logics
TL;DR: In this paper, a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13], are studied from both proof-theoretic and semantic points of view.
Posted Content
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
TL;DR: The preferential models proposed here are a much stronger tool than Adams' probabilistic semantics, and are defined and characterized by representation theorems, relating the two points of view.
Journal ArticleDOI
What does a conditional knowledge base entail
Daniel Lehmann,Menachem Magidor +1 more
TL;DR: It is argued that any reasonable nonmonotonic inference procedure should define a rational relation and it is shown that the rational relations are exactly those that may be represented by a ranked preferential model, or by a (nonstandard) probabilistic model.
Journal ArticleDOI
A maximum entropy approach to nonmonotonic reasoning
TL;DR: This paper provides a precise formalization of the consequences entailed by a defeasible knowledge base, develops the computational machinery necessary for deriving these consequences, and compares the behavior of the maximum entropy approach to those of Ɛ-semantics and rational closure.