利用约束规划进行无限定性模拟
Infinite Qualitative Simulations by Means of Constraint Programming
摘要：
我们引入了一个基于约束的框架，研究无限的定性模拟关注的突发事件，如时间，空间，形状，大小，抽象成一个有限的定性关系。为了定义模拟，我们结合了约束，正式的背景知识与定性推理与适当的状态间的约束，制定使用线性时序逻辑。我们实现了这种方法在约束编程系统中的思想，从有界模型检验。由此产生的系统允许我们以一种简单的方式测试和修改问题规范，并结合各种知识方面。
英文摘要：
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations. To define the simulations, we combine constraints that formalize the background knowledge concerned with qualitative reasoning with appropriate inter-state constraints that are formulated using linear temporal logic. We implemented this approach in a constraint programming system by drawing on ideas from bounded model checking. The resulting system allows us to test and modify the problem specifications in a straightforward way and to combine various knowledge aspects.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
