A causal approach to nonmonotonic reasoning

被引：22
作者：
Bochman, A [1 ]
机构：
[1] Holon Acad Inst Technol, Dept Comp Sci, IL-58102 Holon, Israel
来源：
ARTIFICIAL INTELLIGENCE | 2004年 / 160卷 / 1-2期
关键词：
nonmonotonic reasoning; causality; abduction; reasoning about action and change;
D O I：
10.1016/j.artint.2004.07.002
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We introduce logical formalisms of production and causal inference relations based on input/output logics of Makinson and Van der Torre [J. Philos. Logic 29 (2000) 383-408]. These inference relations will be assigned, however, both standard semantics (giving interpretation to their rules), and natural nonmonotonic semantics based on the principle of explanation closure. The resulting nonmonotonic formalisms will be shown to provide a logical representation of abductive reasoning, and a complete characterization of causal nonmonotonic reasoning from McCain and Turner [Proc. AAAI-97, Providence, RI, 1997, pp. 460-465]. The results of the study suggest production and causal inference as general nonmonotonic formalisms providing an alternative representation for a significant part of nonmonotonic reasoning. (C) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码：105 / 143
页数：39
相关论文
共 38 条
  • [1] [Anonymous], 2001, IJCAI
  • [2] [Anonymous], 1991, Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, DOI DOI 10.1016/B978-0-12-450010-5.50026-8
  • [3] LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION
    BARAL, C
    GELFOND, M
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 73 - 148
  • [4] Belnap N. D., 1977, Modern uses of multiple-valued logics, P8, DOI [10.1007/978-94-010-1161-7_2, DOI 10.1007/978-94-010-1161-7_2]
  • [5] On the relation between default and modal nonmonotonic reasoning
    Bochman, A
    [J]. ARTIFICIAL INTELLIGENCE, 1998, 101 (1-2) : 1 - 34
  • [6] Bochman A., 1998, Notre Dame Journal of Formal Logic, V39, P47, DOI 10.1305/ndjfl/1039293020
  • [7] A logical foundation for logic programming I. Biconsequence relations and nonmonotonic completion
    Bochman, A
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (02): : 151 - 170
  • [8] Bochman A, 2001, ART INTEL
  • [9] BOCHMAN A, 2004, P 9 C PRINC KNOWL RE, P427
  • [10] BOCHMAN A, 2004, P 8 INT S ART INT MA
1234