[发明专利]技术系统的操控

说明书

技术领域

本发明涉及用于操控技术系统的方法和设备。

背景技术

基于模型的信息解释（和其在基于模型的诊断范畴中的应用）越来越重要。在此，基于模型的方法具有明确地并且可实行地描述域（例如待诊断的技术系统）的优点。这种明确的模型可以被研究并且被理解，这尤其是在诊断或解释结果方面促进了用户的接受。此外，这些模型能以清楚的花费适配于新的机器，利用新的域知识被扩展并且视描述类型而定地甚至在其正确性方面被检验。该模型的词汇表也可以被用于人机交互并且由此用于实现交互的解释过程。

在域模型的基于逻辑的代表的情况下，该解释过程经常借助所谓的（基于逻辑的）溯因推理来实现。由此尝试在使用正式模型的情况下解释所观察的信息（如传感器测量和预处理过程的结果）。这里，“观察的集合（例如通过测量不精确性、传感器的缺乏等）常常是不完整的”的事实通过如下方式被考虑，可以假设在解释过程期间缺少的信息。因此，任务形式上在于，针对给定模型                                                （也称为“理论”）以及观察集合如此地确定假设集合（通常作为来自所有可能假设中的子集），使得观察通过模型以及假设来加以解释。在此，该问题被表达为优化问题，也即寻找假设的这种“最佳”集合（视优化准则例如最小集合、或者具有最小权重的集合而定）。

在自动信息解释和/或诊断的实践中，除了缺少观察的问题之外还存在如下问题：存在利用给定模型不能解释的观察。对此的典型原因例如是提供在规定范围之外的测量值的故障的传感器，但是或者是没有考虑至少一个出现的观察组合的不完整模型。这种问题明显地限制了基于溯因推理的信息解释的实际可用性。

发明内容

本发明的任务在于，避免上面提到的缺点并且实现即使在有错误的观察情况下的溯因推理可能性。

该任务按照独立权利要求的特征加以解决。有利的实施方式尤其是可从从属权利要求中得到。

为了解决该任务，提出了用于操控技术系统的方法，

-在其中确定放松（relaxiertes）的溯因推理问题，

-在其中解决该放松的溯因推理问题并且对应地操控该技术系统。

在此情况下应当注意：所述操控可以涉及或包括对技术系统的数据的控制、诊断或其他处理。操控在此情况下尤其是也包括诊断，例如用于在维护间隔期间使用信息。

通过作为多准则优化问题的表达而消除了使所涉及的假设和所解释的观察相互平衡的必要性。

所介绍的方案很大程度上是一般性的，也即其除了直观的设定之外不需要关于所使用的偏好关系的假设，（在不变的观察集合的情况下）另外的假设的补充不能改善偏好并且（在假设集合不变的情况下）所解释的观察的补充不能使得偏好变差。

基于该方案的形式上的稳固性，可以检验并且证明结果集合的确定特性（如正确性、完整性等），这尤其是在安全准则的应用中是有利的。

借助所基于的代表语言和偏好关系的选择，可以影响问题解决过程的复杂性并且因此适配可能的域要求。

一种扩展方案是，基于关于观察的子集和假设的子集的两个偏好秩来确定元组，使得理论连同该假设的子集来解释该观察的子集。

这表达（formalisiert）如下的直观方案：以尽可能少的假设解释尽可能大部分的、所看见的观察，这里，优化对应于涉及两个偏好秩的帕累托优化（因为观察的最大化和假设的最小化是相反的或者彼此不同的目标）。该问题的解在于帕累托优化对（A，O）。

通过一般而言的、基于一般秩的优化定义可以使用各种优化概念，这样例如元素、子集和/或上位集关系的最小和/或最大数量或者所包含的元素的权重的最小和/或最大和。

另一个改进方案是，放松的溯因推理问题被确定为，

其中基于

-理论，

-可溯因推理的公理的集合，

-观察的集合，其中

-以及

-偏好秩

--以及

--

确定最小元组，使得是一致的（konsistent）并且有。

秩在此如下地基于秩和：

由此建议：错误的和缺乏的信息是不完善信息的两个相互补充的方面并且因此被相同对待。除了如下前提：所需信息基于假设（也被称为：可溯因推理的或可溯因推理的公理）的集合，放松的溯因推理还忽略在产生假定期间来自集合的观察，如果需要的话。