TABLING AND ANSWER SUBSUMPTION FOR REASONING ON LOGIC PROGRAMS WITH ANNOTATED DISJUNCTIONS

被引：22
|
作者：
Riguzzi, Fabrizio [1 ]
Swift, Terrance [1 ]
机构：
[1] Univ Ferrara, ENDIF, Via Saragat 1, Ferrara, Italy
来源：
TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10) | 2010年 / 7卷
关键词：
D O I：
10.4230/LIPIcs.ICLP.2010.162
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paper presents the algorithm "Probabilistic Inference with Tabling and Answer subsumption" (PITA) for computing the probability of queries from Logic Programs with Annotated Disjunctions. PITA is based on a program transformation techniques that adds an extra argument to every atom. PITA uses tabling for saving intermediate results and answer subsumption for combining different answers for the same subgoal. PITA has been implemented in XSB and compared with the ProbLog, cplint and CVE systems. The results show that in almost all cases, PITA is able to solve larger problems and is faster than competing algorithms.
引用
收藏
页码：162 / 171
页数：10
相关论文
共 50 条
  • [1] Reasoning on Logic Programs with Annotated Disjunctions
    Bragaglia, Stefano
    INTELLIGENZA ARTIFICIALE, 2012, 6 (01) : 77 - 96
  • [2] Logic programs with annotated Disjunctions
    Vennekens, J
    Verbaeten, S
    Bruynooghe, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 431 - 445
  • [3] The PITA system: Tabling and answer subsumption for reasoning under uncertainty
    Riguzzi, Fabrizio
    Swift, Terrance
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 433 - 449
  • [4] Tabling with Sound Answer Subsumption
    Vandenbroucke, Alexander
    Pirog, Maciej
    Desouter, Benoit
    Schrijvers, Tom
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 933 - 949
  • [5] Learning logic programs with annotated disjunctions
    Riguzzi, F
    INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3194 : 270 - 287
  • [6] Tabling in Contextual Abduction with Answer Subsumption
    Perkasa, Syukri Mullia Adil
    Saptawijaya, Ari
    Pereira, Luis Moniz
    2017 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2017, : 459 - 464
  • [7] Approximate Inference for Logic Programs with Annotated Disjunctions
    Bragaglia, Stefano
    Riguzzi, Fabrizio
    INDUCTIVE LOGIC PROGRAMMING, ILP 2010, 2011, 6489 : 30 - 37
  • [8] Tabling with Answer Subsumption: Implementation, Applications and Performance
    Swift, Terrance
    Warren, David S.
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 300 - 312
  • [9] Program Updating by Incremental and Answer Subsumption Tabling
    Saptawijaya, Ari
    Pereira, Luis Moniz
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 479 - 484
  • [10] ALLPAD: approximate learning of logic programs with annotated disjunctions
    Riguzzi, Fabrizio
    MACHINE LEARNING, 2008, 70 (2-3) : 207 - 223
12345