皮塔 swMATH ID: 6950 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 描述： PITA系统：建立和回答不确定性推理的包容。许多现实世界的领域都需要表示不确定性的度量。最常见的这种表示是概率，概率与逻辑程序的结合产生了概率逻辑编程（PLP）领域，从而产生了诸如独立选择逻辑、带注释析取的逻辑程序（LPAD）、Problog、PRISM等语言。这些语言共享类似的分布语义，并且已经设计了在这些语言之间翻译程序的方法。由于需要组合可能不是排他性的解释的概率，计算对这些通用PLP程序的查询概率的复杂性非常高。作为一种替代方案，PRISM系统通过限制它可以评估的程序的形式来降低查询应答的复杂性。作为一种完全不同的替代方案，可能性逻辑程序采用比概率更简单的不确定性度量。这些方法中的每一种——通用PLP、受限PLP和可能性逻辑编程——都可以在不同的领域中使用，具体取决于要表示的不确定性的形式，问题建模所需的程序形式，以及待解决问题的规模。在本文中，我们展示了最初支持LPAD通用PLP语言的PITA系统如何也能有效地支持受限PLP和可能的逻辑程序。PITA依赖于带有答案包含的表，由一个转换以及与答案包含接口的库函数的API组成。我们表明，通过调整其转换和库函数，可以将PITA参数化为支持PRISM的受限PLP的PITA（IND，EXC），包括减少非歧视参数的优化和Viterbi路径的计算。此外，我们还表明，在对隐马尔可夫模型示例进行复杂查询时，PITA与PRISM相比具有竞争力，有时甚至更快。我们进一步展示了如何将PITA参数化为PITA（COUNT）（计算子目标的不同解释数）和PITA（POSS）（可伸缩地实现可能性逻辑编程）。PITA是XSB版本3.3中支持的包。 主页： https://sites.google.com/a/unife.it/ml/pita网站 关键词： 概率逻辑程序设计；可能性逻辑程序设计；制表；答案包容；程序转换 相关软件： ProbLog（问题日志）；CP逻辑；棱镜；MCINTYRE公司；XSB公司；教堂；博客；cplint（cplint）；SWI-预测；YAP-序言；克林戈；阿勒夫；FactorBase公司；欧兹；IBAL公司；SMProb日志；DeepProbLog（深度探测日志）；NeurASP公司；水银；哈斯克尔 引用于： 24文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 分布语义下概率逻辑规划的良好定义和有效推理。 Zbl 1267.68084号法布里西奥·里古齐；Swift，Terrance公司 2013 PITA系统：在不确定性下进行推理的表格和答案包容。 Zbl 1218.68169号法布里西奥·里古齐；Swift，Terrance公司 2011 全部的 前5名34位作者引用 12 法布里西奥·里古齐 5 埃琳娜·贝洛迪 三 安吉丽卡·基米格 三 Swift，Terrance公司 三 里卡多·泽斯 2 朱塞佩·科塔 2 吕克·德·雷德 2 伊芙琳娜·拉姆 2 阿伦·南帕利 2 阿诺Nguembang Fadja 2 罗摩克里希南。 1 马尔科·阿尔贝蒂 1 达米亚诺·阿佐利尼 1 斯蒂芬·巴赫。 1 斯蒂法诺·比斯塔雷利 1 马蒂亚斯·布罗切勒 1 迪毛罗，尼古拉 1 盖托，丽斯 1 萨塔克·戈什 1 伯特·黄 1 拉斐尔·基塞尔 1 久保田，Keiichi 1 曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos） 1 温妮斯·梅特 1 大辅佐藤 1 汤姆·施里杰弗斯 1 罗尔夫·施维特 1 彼得罗·托蒂斯 1 范登伯格，比尔特 1 范登·布勒克，盖伊 1 范·兰斯特（Wiebe Van Ranst） 1 Joost Vennekens 1 乔纳斯·弗拉塞勒 1 蒂莫西·张 4篇连载文章中引用 8 逻辑程序设计理论与实践 6 国际近似推理杂志 4 机器学习 1 机器学习研究杂志（JMLR） 在4个字段中引用 24 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文