Consistency-based abduction with extended disjunctive logic programs

被引：0
|
作者：
王克文
陈火旺
吴泉源
机构：
[1] China
[2] College of Computer Science
[3] Changsha 410073
[4] National University of Defense Technology
来源：
Science in China(Series E:Technological Sciences) | 1997年 / 06期
关键词：
disjunctive logic programming; abduction; hypothesis; stable semantics;
D O I：
暂无
中图分类号：
TP311.1 [程序设计];
学科分类号：
081202 ; 0835 ;
摘要：
By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the typical abductive semantics (TAS), is presented, which is quite simple and highly intuitive. TAS is complete and coincides with the stable semantics for the class of disjunctive programs that possess stable models. By the coherence principle, TAS can be easily generalized to extended disjunctive programs and can properly handle some benchmark problems in commonsense reasoning
引用
收藏
页码：574 / 582
页数：9
相关论文
共 50 条
  • [1] Consistency-based abduction with extended disjunctive logic programs
    Wang, KW
    Chen, HW
    Wu, QY
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (06): : 574 - 582
  • [2] Consistency-based abduction with extended disjunctive logic programs
    Wang, Kewen
    Chen, Huowang
    Wu, Quanyuan
    Science in China, Series E: Technological Sciences, 40 (06): : 3 - 582
  • [3] Consistency-based abduction with extended disjunctive logic programs
    Kewen Wang
    Huowang Chen
    Quanyuan Wu
    Science in China Series E: Technological Sciences, 1997, 40 : 574 - 582
  • [4] Abduction, argumentation and bi-disjunctive logic programs
    Wang, KW
    Chen, HW
    LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 139 - 163
  • [5] Updating extended logic programs through abduction
    Sakama, C
    Inoue, K
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 147 - 161
  • [6] Argumentation-based abduction in disjunctive logic programming
    Wang, KW
    JOURNAL OF LOGIC PROGRAMMING, 2000, 45 (1-3): : 105 - 141
  • [7] Compilation of disjunctive logic programs using an extended WAM
    Shin, DH
    Hilton, ML
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 138 - 144
  • [8] Disjunctive logic and semantics of disjunctive logic programs
    Yidong Shen
    Science in China Series E: Technological Sciences, 1997, 40 : 44 - 53
  • [9] Disjunctive logic and semantics of disjunctive logic programs
    Shen, YD
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
  • [10] Disjunctive logic and semantics of disjunctive logic programs
    沈一栋
    Science in China(Series E:Technological Sciences), 1997, (01) : 44 - 53
12345