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 条
  • [41] Consistency-based thresholding of the human connectome
    Roberts, James A.
    Perry, Alistair
    Roberts, Gloria
    Mitchell, Philip B.
    Breakspear, Michael
    NEUROIMAGE, 2017, 145 : 118 - 129
  • [42] A consistency-based approach for belief change
    Delgrande, JP
    Schaub, T
    ARTIFICIAL INTELLIGENCE, 2003, 151 (1-2) : 1 - 41
  • [43] SEMANTICS OF DISJUNCTIVE LOGIC PROGRAMS AND DEDUCTIVE DATABASES
    PRZYMUSINSKI, TC
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 85 - 107
  • [44] Local search techniques for disjunctive logic programs
    Leone, N
    Perri, S
    Rullo, P
    AI(ASTERISK)IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 107 - 118
  • [45] The least fixpoint transformation for disjunctive logic programs
    Kewen Wang
    Huowang Chen
    Quanyuan Wu
    Journal of Computer Science and Technology, 1998, 13 (3) : 193 - 201
  • [46] A consistency-based validation for data clustering
    Zhu, Bing
    He, Changzheng
    Jiang, Xiaoyi
    INTELLIGENT DATA ANALYSIS, 2015, 19 (03) : 471 - 484
  • [47] Consistency-based compliance across cultures
    Petrova, Petia K.
    Cialdini, Robert B.
    Sills, Stephen J.
    JOURNAL OF EXPERIMENTAL SOCIAL PSYCHOLOGY, 2007, 43 (01) : 104 - 111
  • [48] Paraconsistent stable semantics for extended disjunctive programs
    1600, Oxford Univ Press, Oxford, Engl (05):
  • [49] Dependent Failures in Consistency-based Diagnosis
    Weber, Joerg
    Wotawa, Franz
    ECAI 2008, PROCEEDINGS, 2008, 178 : 801 - +
  • [50] Consistency-based search in feature selection
    Dash, M
    Liu, HA
    ARTIFICIAL INTELLIGENCE, 2003, 151 (1-2) : 155 - 176
12345