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 条
  • [21] SEMANTICS OF HORN AND DISJUNCTIVE LOGIC PROGRAMS
    LOBO, J
    RAJASEKAR, A
    MINKER, J
    THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 93 - 106
  • [22] GNT -: A solver for disjunctive logic programs
    Janhunen, T
    Niemelä, I
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 331 - 335
  • [23] A FIXPOINT SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS
    MINKER, J
    RAJASEKAR, A
    JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (01): : 45 - 74
  • [24] Loop formulas for disjunctive logic programs
    Lee, J
    Lifschitz, V
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 451 - 465
  • [25] Backdoors to Normality for Disjunctive Logic Programs
    Fichte, Johannes K.
    Szeider, Stefan
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
  • [26] DISJUNCTIVE LOGIC PROGRAMS AND CONSTRAINT PROCESSING
    RAJASEKAR, A
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 610 - 619
  • [27] INTERPRETING DISJUNCTIVE LOGIC PROGRAMS BASED ON A STRONG SENSE OF DISJUNCTION
    LU, JJ
    BARBACK, MD
    HENSCHEN, LJ
    JOURNAL OF AUTOMATED REASONING, 1993, 10 (03) : 345 - 370
  • [28] Assumption-Based Argumentation for Extended Disjunctive Logic Programming
    Wakaki, Toshiko
    FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), 2022, : 35 - 54
  • [29] Distributed Consistency-Based Diagnosis
    Armant, Vincent
    Dague, Philippe
    Simon, Laurent
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2008, 5330 : 113 - +
  • [30] Consistency-Based Reliability Assessment
    Cholvy, Laurence
    Perrussel, Laurent
    Raynaut, William
    Thevenin, Jean-Marc
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2015, 2015, 9161 : 246 - 256
12345