Advanced Solving Technology for Dynamic and Reactive Applications

该项目第一阶段的研究重点是开发增量和反应式推理、优先推理和布尔约束求解的答案集求解技术。此外，反应式多上下文系统和论证推理的基本技术也得到了发展。这些结果是第二阶段的必要先决条件。在这里，我们不想进一步开发底层求解器，而是想研究将在现有求解器上实现的高级推理方法。在这样做时，我们将扩大推理方法的范围，并特别解决不确定性推理。但我们也希望以新的方式整合所研究的推理形式，并研究新的相关方面。特别是，我们要研究组合的不确定性推理和ASP，分别论证，我们将大大推广的优惠推理方法在第一阶段开发的，我们将研究新形式的理论为基础的推理，我们进一步研究反应和互动形式的推理。总体目标是提供混合推理方法，有足够的表达能力来处理复杂的决策问题。在高级推理方法的基础上，我们将建立一个复杂混合问题求解的一般框架。这一级别将侧重于决策和论证的交互式混合方法。最后，开发的方法和框架将在物流领域的应用中进行测试，即物流系统设计，自动物流车辆和RoboCup物流。

Research in the first phase of the project has focused on the development of answer set solvingtechnology for incremental and reactive reasoning, preferential reasoning, and Boolean constraintsolving. Moreover, basic techniques for reactive multi-context systems and argumentative reasoning were developed. These results are necessary prerequisites for the second phase. Here, rather than further developing the underlying solver, we want to investigate advanced reasoning methods that will be realized on top of the existing solver. In doing so, we will extend the range of reasoning methods and address in particular uncertainty reasoning. But we also want to integrate the studied forms of reasoning in new ways and investigate new relevant aspects. In particular, we want to study combinations of uncertainty reasoning and ASP, respectively argumentation; we will substantially generalize the preferential reasoning methods developed in the first phase; we will study new forms of theory-based reasoning; and we further investigate reactive and interactive forms of reasoning. The overall goal is to provide hybrid reasoning methods that are sufficiently expressive to handle complex decision making problems. On top of the advanced reasoning methods, we will build a general framework for complex hybridproblem solving. This level will focus on interactive, hybrid methods for decision making and forargumentation. Finally, the developed methods and frameworks will be tested in applications from the field of logistics, namely logistic systems design, autonomous logistic vehicles, and RoboCup logistics.