MCINTYRE公司 swMATH编号： 22925 软件作者： F.里古齐。 描述： MCINTYRE：用于概率逻辑编程的蒙特卡罗系统。概率逻辑编程由于其对实体之间具有复杂和不确定关系的领域进行建模的能力而受到越来越多的关注。本文主要研究基于分布语义的概率逻辑程序设计语言中的近似推理问题。一种成功的近似方法是基于蒙特卡罗抽样，它包括在从概率程序中抽样的正常程序中验证查询的真实性。ProbeLog系统包括这样一个算法，cplint套件也是如此。本文提出了一种基于程序转换的蒙特卡罗推理方法，该程序转换将概率程序转换为可对其进行查询的正常程序。当前样本存储在Yap Prolog引擎的内部数据库中。生成的系统称为MCINTYRE，用于Monte Carlo INference wiTh Th-Yap REcord，对各种问题进行了评估：生物网络、人工数据集和隐马尔可夫模型。将MCINTYRE与ProbeLog和cplint的蒙特卡罗算法以及PITA系统的精确推理进行了比较。结果表明，MCINTYRE比其他蒙特卡罗系统更快。 主页： http://ds.ing.unife.it/~friguzzi/Papers/Rig13-FI-IJ.pdf 相关软件： ProbLog（问题日志）;PITA公司;CP逻辑;棱镜;cplint（cplint）;SWI-预测;YAP-序言;博客;StanfordCoreNLP公司;PIDoc公司;SWISH数据实验室;IPython公司;Pengines公司;阿勒夫;JavaScript脚本;R（右）;XSB公司;箔;欧兹;Dyna公司 引用于： 7文件 标准文章 1出版物描述软件 年份 MCINTYRE：用于概率逻辑编程的蒙特卡罗系统法布里西奥·里古齐 2013 全部的 前5名14位作者引用 4 法布里西奥·里古齐 2 埃琳娜·贝洛迪 1 米盖尔·卡列霍 1 朱塞佩·科塔 1 吕克·德·雷德 1 安吉丽卡·基米格 1 罗伯特·A·科瓦尔斯基。 1 托比恩拉格 1 法里巴·萨德里 1 罗尔夫·施维特 1 范·兰斯特（Wiebe Van Ranst） 1 Joost Vennekens 1 Wielemaker，简 1 里卡多·泽斯 3篇连载文章中引用 3 国际近似推理杂志 2 逻辑程序设计理论与实践 1 机器学习 在1个字段中引用 7 计算机科学（68至XX） 按年份列出的引文