法布里齐奥·里古齐；Swift，Terrance公司 在带有注释析取的逻辑程序上进行推理的制表和答案包容。 （英语） 兹比尔1237.68049 Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–莱布尼茨国际信息学会议录7，162-171，仅电子版（2010年）。 摘要：本文提出了一种计算带注释析取逻辑程序查询概率的“概率推理与表和答案包含”（PITA）算法。PITA基于一种程序转换技术，该技术为每个原子添加了一个额外的参数。PITA使用表格来保存中间结果，使用答案包含来组合同一子目标的不同答案。PITA已经在XSB中实现，并与ProbeLog、cplint和CVE系统进行了比较。结果表明，在几乎所有情况下，PITA都能够解决更大的问题，并且比竞争算法更快。关于整个系列，请参见[Zbl 1213.68040号]. 引用于11文件 MSC公司： 68N17号 逻辑编程 03B48 概率和归纳逻辑 68层37 人工智能背景下的不确定性推理 关键词：概率逻辑程序设计；制表；答案包容；带注释析取的逻辑程序；程序转换 软件：XSB公司；皮塔；CP逻辑；探测日志 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift}，LIPIcs——莱布尼茨国际程序。通知。7、162--171（2010年；Zbl 1237.68049） 全文： 内政部 链接