A Hybrid Knowledge-Based System Using Conditionals and ASP With Interactive ModellingEnvironment and Application to Warehouse Planning(CASPER – Conditionals and ASP for Expert Reasoning)

该项目的总体目标是设计一个基于答案集编程（ASP）和排序语义的合理条件（ocf -条件）的混合知识表示框架，在这个框架中，技术（默认）知识和合理的专家知识可以结合起来，以专业和认知充分的方式支持仓库规划等创造性技术任务。由于需要在许多地方涉及人类，物流是一个理想的（学术的）应用领域，它提出了在高度动态环境中对特定领域知识建模的多重挑战，这对于许多其他应用领域来说也是典型的和相关的。ASP和ocf（有序条件函数）都以其良好的逻辑特性和适合模拟人类知识和推理而闻名。此外，ASP是非单调和不确定推理的最成功的实现之一。我们通过开发基于网络的推理算法来提高这个优雅推理框架的效率，从而推进了OCF方法的最新技术。在一个框架中使用这两种方法可以在各自的框架中适当地考虑到一个框架的特征，从而产生协同效应，例如，通过ocf条件来评估ASP解决方案的可行性，或者将ASP语义作为ocf条件的基本逻辑。他们将共同提供一个富有表现力的正式框架，显著推进当今人工智能知识表示方法的领域。此外，在建立知识库时考虑了人类推理的特点，提高了知识建模的认知充分性。为了确保专业能力，我们提供了一个互动的建模环境，以便专家可以参与建模过程的许多阶段。实现了一个用于整体寻找合适的物流布局和仓库配置的演示系统，作为本项目将要开发的交互概念的证明：使用户能够在混合框架中定制知识，通过解释使知识表示和推理过程的基础知识易于理解，以信息的方式解决冲突，并根据专业标准控制解决方案的质量。我们的项目解决了知识表示中的几个基本研究问题，特别提出了混合推理、基于似是而非的网络推理和认知建模的创新方法。将其嵌入到学术应用的综合知识表示任务中，还涉及新型的解释和交互，确保强大的一致性以及专业和认知上充分的建模，可以显示为推进可解释和可理解的AI而开发的方法和技术的相关性。

The overall goal of this project is to devise a hybrid knowledge representation framework based on answer set programming (ASP) and plausible conditionals with ranking semantics (OCF-conditionals) in which technical (default) knowledge and plausible expert knowledge can be combined to support creative technical tasks like warehouse planning in a professionally and cognitively adequate way. Due to the need for involving humans in many places, logistics is an ideal (academic) application domain that raises multiple challenges regarding the modelling of domain-specific knowledge in highly dynamic environments which are typical and relevant also for many other application areas. Both ASP and OCFs (ordinal conditional functions) are well-known for their good logical properties and their suitability to model human knowledge and reasoning. Moreover, ASP is one of the most successful implementations of nonmonotonic and uncertain reasoning. We advance the state of the art of the OCF methodology by developing network-based inference algorithms that improve the efficiency of this elegant reasoning framework. Having both approaches in one framework allows for taking characteristics of one framework into account suitably in the respective other so that synergies arise, e.g., by assessing the plausibility of ASP solutions via OCF-conditionals, or taking ASP semantics as a base logic for OCF-conditionals. Jointly they will provide an expressive formal framework that advances significantly the realm of methods of today‘s knowledge representation in Artificial Intelligence. Moreover, we take characteristics of human reasoning into account when setting up the knowledge bases to improve the cognitive adequacy of the knowledge modelling. To ensure professional adequacy, an interactive modelling environment is provided so that experts can be involved in many stages of the modelling process. A demonstrator system for finding suitable logistic layouts and configurations of warehouses in a holistic way is implemented as a proof of the interactive concepts to be developed in this project: enabling the user to customize knowledge in the hybrid framework, making basics of knowledge representation and reasoning processes intelligible by explanations, resolving conflicts in an informative way, and controlling the quality of solutions according to professional standards. Our project addresses several fundamental research issues in knowledge representation, proposing in particular innovative approaches to hybrid reasoning, plausible network-based inference, and cognitive modelling. Embedding this in a comprehensive knowledge representation task for an academic application, also involving novel types of explanations and interactions ensuring robust consistency and a professionally and cognitively adequate modelling, allows for showing the relevance of the methods and techniques to be developed for advancing explainable and intelligible AI for real-world applications.