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 的混合知识库系统以及交互式建模环境及其在仓库计划中的应用（CASPER â 条件和 ASP 用于专家推理）

• 批准号: 496727276
• 负责人: Professorin Dr. Gabriele Kern-Isberner
• 金额: --
• 依托单位: Informatik I - Lehrstuhl Logik in der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 资助国家: 德国
• 项目状态: 未结题
• 来源: https://gepris.dfg.de/gepris/projekt/496727276?language=en
• 关键词: Hybrid; Knowledge; Based; System; Using

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.

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