×

皮塔

swMATH标识: 6950
软件作者: 里古兹,法布里齐奥;斯威夫特,泰伦斯
说明: PITA系统:不确定条件下推理的表和答案包容。许多现实世界的领域都需要对不确定性的度量进行表示。最常见的这种表示是概率,概率与逻辑程序的结合产生了概率逻辑程序设计(PLP)的领域,产生了独立选择逻辑、带注释析取的逻辑程序(LPAD)、Problog、PRISM等语言。这些语言共享相似的分布语义,并且已经设计了在这些语言之间翻译程序的方法。由于需要组合解释的概率,因此计算对这些一般PLP程序的查询概率的复杂性非常高。作为一种替代方案,PRISM系统通过限制它可以评估的程序的形式来降低查询回答的复杂性。作为一个完全不同的选择,可能性逻辑程序采用比概率更简单的不确定性度量。这些方法中的每一种——一般PLP、受限PLP和可能性逻辑编程——都可以在不同的领域中发挥作用,这取决于要表示的不确定性的形式、建模问题所需的程序形式以及要解决的问题的规模。本文介绍了PITA系统,它最初支持LPADs的通用PLP语言,如何有效地支持受限PLP和可能逻辑程序。PITA依赖于包含应答的表,它包括一个转换以及一个用于与应答包含接口的库函数的API。我们证明,通过调整PITA的变换和库函数,PITA可以参数化为PITA(IND,EXC),它支持PRISM的受限PLP,包括减少非区分参数的优化和Viterbi路径的计算。此外,我们还证明了PITA在对隐马尔可夫模型实例的复杂查询方面与PRISM相竞争,有时甚至更快。我们进一步说明如何将PITA参数化为PITA(COUNT),PITA(COUNT)计算子目标的不同解释数,以及PITA(POSS),后者可伸缩地实现可能性逻辑编程。PITA是XSB版本3.3中支持的包。
主页: https://sites.google.com/a/unife.it/ml/pita
关键词: 概率逻辑程序设计;可能性逻辑程序设计;制表;回答包容;程序转换
相关软件: ProbLog公司;CP逻辑;棱镜;麦金太尔;XSB公司;教堂;博客;C打印;SWI序言;雅普序言;亚历夫;因子基;盎司;伊巴尔;深钻;神经氨酸钠;保鲜膜;哈卡鲁;玩具;水银
参考文献: 24种出版物

按年份引用出版物