An abductive approach to disjunctive logic programming

被引:5
|
作者
You, JH [1 ]
Yuan, LY [1 ]
Goebel, R [1 ]
机构
[1] Univ Alberta, Dept Comp Sci, Edmonton, AB T6G 2H1, Canada
来源
JOURNAL OF LOGIC PROGRAMMING | 2000年 / 44卷 / 1-3期
关键词
disjunctive logic programs; semantics; abductive proof procedure;
D O I
10.1016/S0743-1066(99)00074-6
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Nonmonotonic reasoning has been explored as a form of abductive reasoning where default assumptions are treated as abductive hypotheses. While the semantics and proof theories under this approach have been studied extensively, the question of how disjunctive programs may be used to reason abductively has rarely been investigated. At the center of the question is how to embed disjunctive reasoning into that of negation-as-failure. A more concrete question is about whether the elegant abductive proof procedure by Eshghi and Kowalski can be extended to answer queries for disjunctive programs, and if yes, what is the semantics that such an extended procedure computes. In this paper we answer these questions by formulating a semantics, the regular extension semantics, for disjunctive programs, and by presenting a sound and complete extension of the Eshghi-Kowalski procedure, called disjunctive EK procedure, for query answering with respect to ground disjunctive programs under this semantics. (C) 2000 Elsevier Science Inc. All rights reserved.
引用
收藏
页码:101 / 127
页数:27
相关论文
共 50 条
  • [1] Abductive logic programming and disjunctive logic programming: their relationship and transferability
    Sakama, C
    Inoue, K
    [J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 75 - 100
  • [2] An abductive framework for negation in disjunctive logic programming
    Aravindan, C
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 252 - 267
  • [3] THE NEAR-HORN APPROACH TO DISJUNCTIVE LOGIC PROGRAMMING
    REED, DW
    LOVELAND, DW
    SMITH, BT
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 596 : 345 - 369
  • [4] Applications of abductive logic programming
    Kakas, AC
    Michael, A
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 343 - 344
  • [5] Disjunctive logic programming and autoepistemic logic
    Yuan, LY
    You, JH
    Goebel, R
    [J]. LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 85 - 101
  • [6] Temporal disjunctive logic programming
    Gergatsoulis, M
    Rondogiannis, P
    Panayiotopoulos, T
    [J]. NEW GENERATION COMPUTING, 2001, 19 (01) : 87 - 100
  • [7] Temporal disjunctive logic programming
    Manolis Gergatsoulis
    Panos Rondogiannis
    Themis Panayiotopoulos
    [J]. New Generation Computing, 2001, 19 : 87 - 100
  • [8] Argumentation in disjunctive logic programming
    王克文
    吴泉源
    陈火旺
    [J]. Science China Technological Sciences, 1998, (01) : 106 - 112
  • [9] Calculi for disjunctive logic programming
    Baumgartner, P
    Furbach, U
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 229 - 243