法布里西奥·里古齐;斯威夫特，特伦斯 带注释析取的逻辑程序推理的表格和答案包含。 （英语） Zbl 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中实现，并与ProbLog、cplint和CVE系统进行了比较。结果表明，在几乎所有情况下，PITA都能够解决更大的问题，并且比竞争算法更快。关于整个系列，请参见[Zbl 1213.68040号]. 引用于11文件 MSC公司： 68N17号 逻辑编程 03B48号 概率和归纳逻辑 68层37 人工智能背景下的不确定性推理 关键词：概率逻辑程序设计;制表;答案包容;带注释析取的逻辑程序;程序转换 软件：XSB公司;PITA公司;CP逻辑;ProbLog（问题日志） PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}和\textit{T.Swift}，LIPIcs——莱布尼茨国际程序。通知。7、162--171（2010年；Zbl 1237.68049） 全文： 内政部 链接