理论与计算科学杂志
开放获取

抽象的

挖掘约束否定、大数据中在线问题解决和知识发现的应用

文森特·阿曼特

本演讲将讨论并说明挖掘否定约束对于两个不同研究领域的好处：在线问题解决和大数据中的知识发现。在在线问题解决应用程序的背景下，我们展示了发现代表司机和乘客之间冲突的分配规则的时空约束如何有助于解决在线更大的乘车共享问题。乘车共享问题是车辆路径问题的子类，旨在将潜在乘客分配到司机的汽车上。在知识发现应用的背景下，我们展示了一种通用的关键发现方法，该方法利用非关键发现来处理大型 RDF 知识库。在数据链接的背景下，唯一标识资源的关键约束用于推断演化和异构知识库之间的身份链接。在演讲结束时，我们讨论如何在不同的应用环境（包括数值农业）中推广和重用这些方法。