Description Logic Explications ((09) A03)

基于描述逻辑的知识表示提供了描述信息物理系统及其环境的当前状态以及关于这些状态保证满足的约束的背景信息的手段。为了解释系统的行为，我们还需要解释为什么某个相关的陈述可以或不可以从知识库中得到。项目A3将通过考虑抽象的逻辑和具体的数值和时间约束的组合来扩大这些解释方法的范围。这就带来了挑战，联合收割机不同的解释方法，使用不正确的或丢失的结果的解释，修复知识库的目的，并开发用户自适应的解释。

Knowledge representation based on Description Logics provides means to describe the current state of a cyber-physical system and its environment, as well as background information about constraints these states are guaranteed to satisfy. To explain the behaviour of the system, one also needs to explicate why a certain relevant statement does or does not follow from the knowledge base. Project A3 will broaden the scope of these explication approaches by considering combinations of abstract logical and concrete numerical and temporal constraints. This comes with the challenge to combine different explication approaches, to use explications of incorrect or missing consequences for the purpose of repairing the knowledge base, and to develop user-adaptive explications.