法布里西奥·里古齐;Swift，Terrance公司
带注释析取的逻辑程序推理的制表和答案抽取
摘要
本文提出了一种计算带注释析取逻辑程序查询概率的算法“带表格和答案包含的概率推理”（PITA）。PITA基于一种程序转换技术，该技术为每个原子添加了一个额外的参数。PITA使用表格来保存中间结果，使用答案包含来组合同一子目标的不同答案。PITA已经在XSB中实现，并与ProbLog、cplint和CVE系统进行了比较。结果表明，在几乎所有情况下，PITA都能够解决更大的问题，并且比竞争算法更快。
BibTeX-条目
@会议记录{riguzzi_et_al:LIPIcs:2010:2594，author={Fabrizio Riguzzi和Terrance Swift}，title={{带注释析取}}的逻辑程序上推理的制表和应答子集，booktitle={第26届逻辑程序设计国际会议技术交流}，页数={162--171}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-17-0}，ISSN={1868-8969}，年份={2010}，体积={7}，编辑={曼努埃尔·赫尔梅内吉尔多和托尔斯滕·绍布}，publisher={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}，地址={Dagstuhl，德国}，URL={http://drops.dagstuhl.de/opus/volltexte/2010/2594},URN={URN:nbn:de:0030-drops-25948}，doi={10.4230/LIPIcs.ICLP.2010.162}，annote={关键词：概率逻辑编程，制表，答案抽取，带注释析取的逻辑程序，程序转换}}
|
关键词： |
| 概率逻辑程序设计，制表，答案抽取，带注释析取的逻辑程序，程序转换 |
|
研讨会： |
| 第26届逻辑程序设计国际会议技术交流 |
|
发布日期： |
| 2010 |
|
发布日期： |
|
25.06.2010 |
25.06.2010
