莱布尼兹·泽特鲁姆信息技术股份有限公司(Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH) 莱布尼兹·泽特鲁姆信息技术股份有限公司(Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH) 学术文章 英语 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司 https://www.dagstuhl.de/lipics网站 许可证:Creative Commons Attribution-NonCommercial-NoDerives 3.0未出口许可证(CC BY-NC-ND 3.0)
引用本文件时,请参考以下内容
内政部:
URN:urn:nbn:de:0030-drops-25948
网址:

;

带注释析取的逻辑程序推理的制表和答案抽取

pdf格式:


摘要

本文提出了一种计算带注释析取逻辑程序查询概率的算法“带表格和答案包含的概率推理”(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


住宅跌落|全文搜索|印记|隐私 LZI出版