×

带注释析取逻辑程序推理的表和答案包容。 (英语) Zbl 1237.68049

Hermenegildo,Manuel(ed.)等人,《第26届逻辑程序设计国际会议(ICLP 2010)技术交流》,2010年7月16-19日,英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-17-0)。LIPIcs–莱布尼茨国际信息学论文集7162-171,仅电子版(2010年)。
摘要:本文提出了一种计算带注释析取逻辑程序查询概率的“表与答案包容概率推理”算法。PITA基于一种程序转换技术,它为每个原子添加一个额外的参数。PITA使用表来保存中间结果,而答案包含用于组合相同子目标的不同答案。PITA已经在XSB中实现,并与ProbLog、cplint和CVE系统进行了比较。结果表明,在几乎所有的情况下,PITA都能解决更大的问题,并且比竞争算法更快。
整个系列请参见[Zbl 1213.68040].

理学硕士:

68N17 逻辑程序设计
03B48号 概率论与归纳逻辑
68T37型 人工智能背景下的不确定性推理
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接