×

概率设置的专用表格。 (英语) Zbl 1237.68190号

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–莱布尼茨国际信息学论文集7124-133,电子版(2010)。
概要:ProbLog是一个概率框架,它用概率事实扩展Prolog。为了计算查询的概率,将查询的完整SLD证明树收集为乘积和。ProbLog应用先进的技术使其可行,并评估正确的概率。表列是一种著名的避免重复子计算和终止循环的技术。我们研究如何在ProbLog中使用表。我们面临的挑战是,我们必须使表格与先进的ProbLog技术相协调。虽然标准表只收集呼叫的答案,但我们确实需要SLD证明树。最后,我们讨论了如何在我们的概率框架中处理循环。通过避免重复的子计算,我们的表方法不仅提高了ProbLog程序的执行时间,而且相应地减少了内存消耗。利用精确概率推断,我们对ProbLog程序得到了有希望的结果。
整个系列请参见[Zbl 1213.68040].

理学硕士:

68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
68N17 逻辑程序设计
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接