国内流离失所者3 swMATH ID: 22941 软件作者： 莫里斯·布鲁诺（Maurice Bruynooghe）；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·扬森；安东尼·拉巴雷；Ramon，Jan；马克·德内克（Marc Denecker）；四川省韦尔市 描述： 谓词逻辑作为建模语言：使用IDP3建模和解决一些机器学习和数据挖掘问题。本文简要介绍了IDP3系统解决问题的方法。IDP3的核心是一个有限模型生成器，它支持富含类型、归纳定义、聚合和偏函数的一阶逻辑。它为用户提供了一种建模语言，它是谓词逻辑的一种轻微扩展，允许用户解决各种搜索问题。除了一个小的介绍性示例外，应用程序是从机器学习和数据挖掘研究中出现的问题中选择的。这些研究领域最近对声明式建模和约束求解表现出了浓厚的兴趣，而不是算法方法。本文说明了IDP3系统对于有兴趣的研究人员来说是一个有价值的工具。第一个问题是词源学领域，这是一个与现存文本变体之间的关系有关的文献学领域。第二个问题是关于生物学中一个有点相关的问题，在这个问题中，系统发育树被用来表示物种的进化。第三个也是最后一个问题涉及学习与给定字符串集一致的最小自动机的经典问题。对于最后一个问题，我们表明我们的解决方案的性能非常接近于最先进的解决方案。对于这些应用程序中的每一个，我们都会分析问题，说明基于逻辑的模型的开发，并探索替代方案如何影响性能。 主页： https://dtai.cs.kuleuven.be/krr/files/bib/manuals/idp3-manual.pdf 关键词： 知识表示;陈述式建模;逻辑程序设计;知识库系统;IDP系统;词源学;系统发育树;确定性有限状态自动机 相关软件： 扣环;WASP公司;DLV公司;C模型;克林戈;DLV2型;格林戈;罗索·克林戈;Clingcon公司;Lparse（L解析）;超小卫星;ASP工具;lp2正常;周六4j;亚萨特;普韦布洛;古罗比;OMiGA公司;萨特齐拉;汽车-WEKA 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 谓词逻辑作为建模语言：使用IDP3建模和解决一些机器学习和数据挖掘问题。 Zbl 1379.68279号莫里斯·布吕诺格;亨德里克·布洛克;巴特·博加特;De Cat，Broes公司;斯特夫·德·普特;约阿希姆·扬森;安东尼·拉巴雷;简·拉蒙;马克·德内克;四川省韦尔市 2015 全部的 前5名被28位作者引用 三 巴特·博加特 三 马克·德内克 2 卡明·多达罗 2 杨森，格尔达 2 马可·马拉提亚 2 四川省韦尔市 1 马里奥·阿尔维亚诺 1 亨德里克·布洛克 1 莫里斯·布吕诺格 1 弗朗西斯科·卡利默里 1 英格玛达塞维尔 1 德卡特，布罗斯 1 斯特夫·德·普特 1 沃尔夫·德·沃尔夫 1 戴维·福斯卡 1 马丁·格布瑟 1 汤米·詹胡宁 1 约阿希姆·扬森 1 安东尼·拉巴雷 1 谢尔盖·帕拉莫诺夫 1 西蒙娜·佩里 1 简·拉蒙 1 弗朗西斯科·里卡 1 沙哈卜·塔沙罗菲 1 马蒂亚斯·范德哈伦 1 彼得·范·赫图姆 1 Jessica Zangari 1 张应倩 2篇连载文章中引用 6 逻辑程序设计理论与实践 1 数学与人工智能年鉴 在2个字段中引用 9 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文