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 条
  • [31] Consistency-Based Feature Selection
    Shin, Kilho
    Xu, Xian Ming
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, PROCEEDINGS, 2009, 5711 : 342 - 350
  • [32] The Least Fixpoint Transformation for Disjunctive Logic Programs
    王克文
    陈火旺
    吴泉源
    JournalofComputerScienceandTechnology, 1998, (03) : 193 - 201
  • [33] STATIC SEMANTICS FOR NORMAL AND DISJUNCTIVE LOGIC PROGRAMS
    PRZYMUSINSKI, TC
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 323 - 357
  • [34] Determining inference semantics for disjunctive logic programs
    Shen, Yi-Dong
    Eiter, Thomas
    ARTIFICIAL INTELLIGENCE, 2019, 277
  • [35] Capturing parallel circumscription with disjunctive logic programs
    Janhunen, T
    Oikarinen, E
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 134 - 146
  • [36] Verifying the equivalence of logic programs in the disjunctive case
    Oikarinen, E
    Janhunen, T
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 180 - 193
  • [37] Determining Inference Semantics for Disjunctive Logic Programs
    Shen, Yi-Dong
    Eiter, Thomas
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 5040 - 5044
  • [38] Embedding prioritized circumscription in disjunctive logic programs
    Chen, JH
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1999, 11 (04) : 553 - 563
  • [39] Unfold/fold transformations for disjunctive logic programs
    Gergatsoulis, M
    INFORMATION PROCESSING LETTERS, 1997, 62 (01) : 23 - 29
  • [40] Consistency-based routing in overlay networks
    Bosneag, AM
    Brockmeyer, M
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, 2004, : 607 - 612
12345