RATIONALITY, TRANSITIVITY, AND CONTRAPOSITION

被引:24
作者
FREUND, M
LEHMANN, D
MORRIS, P
机构
[1] HEBREW UNIV JERUSALEM,DEPT COMP SCI,IL-91904 JERUSALEM,ISRAEL
[2] INTELLICORP,MT VIEW,CA 94040
关键词
D O I
10.1016/0004-3702(91)90043-J
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The purpose of this note is to compare the rule of Rational Monotonicity proposed in [3] and different rules expressing some weak forms of Transitivity and Contraposition. We present four weak forms of Transitivity that, in preferential logic, are equivalent to Rational Monotonicity and a weak form of Contraposition that is strictly weaker than Rational Monotonicity but equivalent to it in the presence of Disjunctive Rationality.
引用
收藏
页码:191 / 203
页数:13
相关论文
共 9 条
[1]  
GINSBERG ML, 1987, READINGS NONMONOTONI, P1
[2]  
GOLDSZMIDT M, 1990, P AAAI 90 BOSTON
[3]   NONMONOTONIC REASONING, PREFERENTIAL MODELS AND CUMULATIVE LOGICS [J].
KRAUS, S ;
LEHMANN, D ;
MAGIDOR, M .
ARTIFICIAL INTELLIGENCE, 1990, 44 (1-2) :167-207
[4]  
LEHMANN D, 1988, TR8816 HEBR U DEP CO
[5]  
LEHMANN D, IN PRESS ARTIF INTEL
[6]  
LEHMANN D, 1989, 1ST P INT C PRINC KN
[7]  
LEHMANN D, 1990, TR9010 HEBR U DEP CO
[8]  
SATOH K, 1990, PROCEEDINGS : EIGHTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, P659
[9]  
Shoham Y., 1987, Proceedings of the Symposium on Logic in Computer Science (Cat. No.87CH2464-6), P275