PITA公司 swMATH ID: 6950 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司 描述: PITA系统:建立和回答不确定性推理的包容。许多现实世界的领域都需要表示不确定性的度量。最常见的这种表示是概率,概率与逻辑程序的结合催生了概率逻辑编程(PLP)领域,产生了诸如独立选择逻辑、带注释析取的逻辑程序(LPAD)、Probelog、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公司;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 罗马克里希南,C.R。 1 马尔科·阿尔贝蒂 1 达米亚诺·阿佐利尼 1 斯蒂芬·巴赫。 1 斯蒂法诺·比斯塔雷利 1 马蒂亚斯·布罗切勒 1 尼古拉·迪·毛罗 1 莉斯·盖图 1 萨塔克·戈什 1 伯特·黄 1 拉斐尔·基塞尔 1 久保田,Keiichi 1 西奥弗拉斯托斯曼塔代利斯 1 温妮斯·梅特 1 大辅佐藤 1 汤姆·施里杰弗斯 1 罗尔夫·施维特 1 彼得罗·托蒂斯 1 范登伯格,比尔特 1 范登·布勒克,盖伊 1 范·兰斯特(Wiebe Van Ranst) 1 Joost Vennekens 1 乔纳斯·弗拉塞勒 1 Timothy张 4篇连载文章中引用 8 逻辑程序设计理论与实践 6 国际近似推理杂志 4 机器学习 1 机器学习研究杂志(JMLR) 在4个字段中引用 24 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文