On the relation between default and modal nonmonotonic reasoning

被引：1
作者：
Bochman, A [1 ]
机构：
[1] Ctr Technol Educ Holon, Dept Comp Syst, IL-58102 Holon, Israel
来源：
ARTIFICIAL INTELLIGENCE | 1998年 / 101卷 / 1-2期
关键词：
nonmonotonic reasoning; default logic; modal nonmonotonic logics; autoepistemic logic;
D O I：
10.1016/S0004-3702(98)00011-3
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The notion of a default consequence relation is introduced as a generalization of both default and modal formalizations of nonmonotonic reasoning. It is used to study a general problem of correspondence between these two formalisms. (C) 1998 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：1 / 34
页数：34
相关论文
共 33 条
  • [1] Bochman A, 1995, LECT NOTES ARTIF INT, V928, P245
  • [2] MODAL NONMONOTONIC LOGICS DEMODALIZED
    BOCHMAN, A
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 15 (01) : 101 - 123
  • [3] BOCHMAN A, 1994, MOR KAUF R, P63
  • [4] BOCHMAN A, 1995, P IJCAI 95, P1518
  • [5] BOCHMAN A, 1996, P 5 INT C PRINC KNOW
  • [6] BULL R, 1984, HDB PHILOS LOGIC, P1
  • [7] CHWARZ G, 1990, P TARK 1990 SAN MAT, P97
  • [8] DIX J, 1992, J LOGIC LANGUAGE INF, V1, P131
  • [9] Fitting M. C., 1992, Journal of Logic and Computation, V2, P349, DOI 10.1093/logcom/2.3.349
  • [10] Gabbay D., 1976, INVESTIGATIONS MODAL
1234