许可证:Creative Commons Attribution非商业性NoDerivs 3.0未导入许可证(CC BY-NC-ND 3.0)
引用本文件时,请参考以下内容
内政部:10.4230/LIPIcs.ICLP.2010.162
骨灰盒:urn:nbn:de:0030-滴-25948
网址:https://drops.dagstuhl.de/opus/volltexte/2010/2594/
转到相应的LIPIcs卷门户


里古兹,法布里齐奥;斯威夫特,泰伦斯

带注释析取逻辑程序推理的表与答包容

pdf格式:
10003.RiguzziFabrizio.2594.pdf(0.6 MB)


摘要

本文提出了一种计算带注释析取逻辑程序查询概率的“表和答案包含概率推理”算法。PITA基于一种程序转换技术,它为每个原子添加一个额外的参数。PITA使用表来保存中间结果,而答案包含用于组合相同子目标的不同答案。PITA已经在XSB中实现,并与ProbLog、cplint和CVE系统进行了比较。结果表明,在几乎所有的情况下,PITA都能解决更大的问题,并且比竞争算法更快。

BibTeX-入口

@过程中{riguzzi_等人:LIPIcs:2010:2594,作者{Fabrizio Riguzzi and Terrance Swift},title={带注释析取的逻辑程序推理的表和答案包容},书名{第26届逻辑程序设计国际会议技术交流},页数={162--171},系列{Leibniz国际信息学论文集(LIPIcs)},ISBN={978-3-939897-17-0},ISSN={1868-8969},年份={2010},体积={7},编辑{Manuel Hermenegildo and Torsten Schaub},publisher={Schloss Dagstuhl--Leibniz Zentrum fuer Informatik},地址:{Dagstuhl,Germany},URL={http://drops.dagstuhl.de/opus/volltexte/2010/2594},URN={URN:nbn:de:0030-drops-25948},{IC162.10.lp,annote={Keywords:概率逻辑程序设计,表列,答案包容,带注释析取的逻辑程序,程序转换}}

关键词: 概率逻辑程序设计,制表,应答包容,带注释析取的逻辑程序,程序转换
收藏: 第26届国际逻辑程序设计会议技术交流
签发日期: 2010
出版日期: 2010年6月25日


回到家里|全文搜索|印记|隐私 LZI出版