Rationality, transitivity, and contraposition (Q1190801): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Daniel J. Lehmann / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Paul H. Morris / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jan Šefránek / rank | |||
Normal rank |
Revision as of 19:34, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rationality, transitivity, and contraposition |
scientific article |
Statements
Rationality, transitivity, and contraposition (English)
0 references
26 September 1992
0 references
The note presents technical results (concerning certain properties of reasonable nonmonotonic consequence relations) on the systems of nonmonotonic reasoning. The results of the paper complete those of \textit{S. Kraus}, \textit{D.Lehmann} and \textit{M. Magidor} [Artif. Intell. 44, No. 1/2, 167-207 (1990)]. The main attention of the paper is devoted to the relations between rational monotonicity and weakened forms of transitivity and contraposition. It is shown that weak transitivity and rational monotonicity are equivalent. (Moreover, three other forms of weakened transitivity are equivalent to rational monotonicity.) A restricted form of contraposition (weak contraposition) is proposed: From the premisses \(\gamma\wedge \alpha\vdash \beta\), \(\gamma\not\vdash\beta\) follows the conclusion \(\gamma \wedge \neg\beta\vdash\neg \alpha\). Weak contraposition is strictly weaker than rational monotonicity. Moreover, weak contraposition is compared to two further rationality properties weaker than rational monotonicity, negational rationality and disjunctive rationality: Relations between the properties are as follows: Weak contraposition is incomparable with disjunctive and negation rationality. Weak contraposition and disjunctive rationality together imply rational monotonicity. Weak contraposition of negation rationality together do not imply disjunctive rationality. A special case of the relation between weak contraposition and rational monotonicity is expressed in the following theorem: Let \(W\) be a finite preferential model in which, for every state, there exists a proposition true only in this state, if the preferential relation defined by \(W\) satisfies weak contraposition, then it satisfies rational monotonicity.
0 references
nonmonotonic logic
0 references
weak contraposition
0 references
nonmonotonic consequence relations
0 references
nonmonotonic reasoning
0 references
rational monotonicity
0 references
weak transitivity
0 references
negational rationality
0 references
disjunctive rationality
0 references
preferential model
0 references