RUI: Highly Parallel Constraint Logic Programming for AI and MIP Applications

这项研究有三个目标：(1)开发用于构建需要紧耦合逻辑和数值计算的智能系统的工具；(2)应用数学规划和约束优化技术来进行逻辑推理；(3)测试高度并行的约束逻辑编程系统在这一领域的有效性。约束逻辑编程(CLP)提供了一种连接逻辑计算和数值计算的自然范例。这项研究基于紧凑的CLP语言，它是线性规划和整数规划的超集，支持数学规划所需的数据结构，而不是基于PROLOG的基于约束的扩展。应用程序和约束逻辑编程之间的匹配为并行性开辟了几条途径，因为逻辑编程系统具有与或并行和与并行两者的直接挂钩。

This research has a three-fold goal: (1) to develop tools for building intelligent systems that require tightly coupled logical and numerical computation; (2) to apply mathematical programming and constrained optimization techniques to do logical inference and, (3) to test the efficacy of highly parallel constraint logic programming systems in this arena. Constraint logic programming (CLP) provides a natural paradigm to link logical computation and numerical computation. This research is based on compact CLP languages which are supersets of linear and integer programming and support the data structures necessary for mathematical programming rather than on constraint based extensions to Prolog. The fit between the applications and constraint logic programming opens up several avenues for parallelism, since logic programming systems have direct hooks into both or-parallelism and and-parallelism.