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

权利要求书

1.用于操控技术系统的方法，

-其中确定放松的溯因推理问题，

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

2.根据权利要求1所述的方法，其中基于关于观察的子集和假设的子集的两个偏好秩来确定元组，使得理论连同所述假设的子集来解释所述观察的子集。

3.根据权利要求2所述的方法，其中所述放松的溯因推理问题被确定为                                                ，

其中基于

-理论，

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

-观察的集合，其中

-以及

-偏好秩

--以及

--

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

4.根据上述权利要求2或3所述的方法，其中放松的溯因推理问题被解决，其方式是，放松的溯因推理问题被转变为超图，使得元组（A，O）通过帕累托优化路径被编码到超图中。

5.根据权利要求4所述的方法，其中借助标签方案来确定帕累托优化路径。

6.根据权利要求4或5所述的方法，其中通过改写预定规则来归纳超图的超边缘。

7.根据权利要求6所述的方法，其中所述预定规则如下地被确定：

。

8.根据权利要求6或7所述的方法，其中通过放松的溯因推理问题加以归纳的加权的超图通过下式来加以确定：

其中

表示最终状态的集合以及E表示超边缘的集合，因此有：存在公理其基于预定规则之一来表明由的推导是正确的，其中边缘权重按照下式来确定

。

9.根据权利要求8所述的方法，其中将确定作为中的从X向t的超路径，如果

（1）并且，或者

（2）存在边缘，使得有。

10.根据权利要求9所述的方法，其中在考虑两个偏好的情况下确定最短超路径。

11.根据权利要求10所述的方法，其中在考虑两个偏好的情况下借助标签校正算法确定最短超路径。

12.根据权利要求11所述的方法，其中所述标签对至超图的迄今所找到的节点的帕累托优化路径进行编码。

13.根据权利要求12所述的方法，其中借助交集算子和/或借助并集算子来沿着超边缘传播改变。

14.根据上述权利要求之一所述的方法，其中借助描述逻辑来确定所述放松的溯因推理问题。

15.用于操控技术系统的设备，包括处理单元，其被设立为使得

-能够确定放松的溯因推理问题，

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