对技术系统进行处理技术方案

提出了自动化方式的规则库的变换规则，以便能够进行一致性检查并生成解释，从而对现有的规则进行分类和校正。这在使用现有规则库的大型系统中尤其有益，例如，其中每个规则至少与例如电力系统的技术系统的组件的诊断任务相关联。任务可能经受故障检测、故障隔离、预测性诊断或报告。所给出的解决方案提供了对大规则集合的概览，从而允许确定哪些规则是合适的而哪些不是合适的。本发明专利技术适用于所有种类的技术系统，例如，工业和自动化系统，特别是电力系统。

【技术实现步骤摘要】
【国外来华专利技术】对技术系统进行处理本专利技术涉及用于对技术系统，具体而言电力系统，进行处理的方法和设备。此外，提出了相应的计算机程序产品和计算机可读介质。文章[Hubauer 等:Relaxed Abduction: Robust Information Interpretationfor Incomplete Models, CEUR Workshop Proceedings,发表于 2011-07-08,链接:http://ceur-ws.0rg/Vol_745/paper_48.pdf]介绍了 宽松溯因(abduction),这是用于描述逻辑的推理任务。基于已知的溯因推理技术，当仅存在虚假信息或不完整模型时，该宽松溯因方法提供了充分的结果。溯因推理方法基于解释观察和所需的假设的集合的联合优化来自动处理不完整的观察和模型。这篇文章在下文中也被称为宽松溯因文章。描述逻辑(DL)是一系列形式知识表示语言。典型的DL比命题逻辑更具有表现力，但不同于一阶谓词逻辑，其是可判定的。它们被在人工智能中用于对于应用域(被称为术语知识)的概念进行形式推理。这在为本体和语义Web提供逻辑形式方面是特别重要的。对于进一步的细节，参考例如，http://en.wikipedia.0rg/wiki/Description_logic。本体形式上表示作为域内的一组概念的知识，以及这些概念之间的关系。其可用于关于该域内的实体进行推理，并且可以用于描述域。从理论来说，本体可以被理解成“共享概念化的形式的、明确的规范”。本体呈现共享词汇和分类，其使用对象和/或概念的定义及其属性和关系来对域进行建模。对于进一步的细节，参考例如，http://en.wikipedia.0rg/wiki/0ntology_%28computer_science%290基于规则的系统被用于各种工业应用，诸如专家系统和诊断单元。底层规则库可能大而复杂，涵盖数千种具有没有被明确知晓但由规则之间共享的原子造成的复杂交互的规则。例如，在电力诊断中心，这样的规则库可以包括几千个规则,每个规则负责(例如，气体涡轮机的)某些特定的诊断任务。现有系统中的管理任务是以手动的方式由人工进行的。因此，规则的管理是困难、易出错并且耗时的。以下情况是很有可能的:给定特定的一组输入数据，技术人员预期特定的一组规贝U“发动”，即，被激活(例如，指示检测到的某种故障)，但系统并未产生这种预期的行为。出现这种情况的典型原因可能是过于具体的先决条件，或者依赖于数值的谓词的“相近”差错。因此，目的是克服这些缺点，尤其是改进和/或管理技术系统的一大组规则。该问题是根据独立权利要求的特征解决的。另外的实施例产生于从属权利要求。为了克服该问题，提供了一种用于对技术系统进行处理的方法， -其中，规则库的规则被变换成公理， -其中，基于所述公理的查询由推理组件来处理。公理可以用于描述技术系统，特别是技术系统的模型，其中复杂的关系可以通过时间和/或空间依赖性来表示。假设可以被认为是可溯因或可溯因公理。所述公理可以用于推导一致性检查和/或用于生成解释。这可以借助于演绎来实现(例如参见如在例如http://en.wikipedia.0rg/wiki/Deductive_reasoning 中指不的演择推理的概念)和 / 或通过溯因，尤其是通过宽松溯因(参见上述宽松溯因文章)来实现。规则库可以是技术系统的一组现有规则。这些规则可以针对例如诊断任务。任务可以是各种种类的，例如，故障检测、故障隔离、(预测性)诊断、报告、测量等。规则库还可以包括操作者或人员已知的变换成公理的基本知识库。所给出的解决方案提供了对大规则集合的概览，从而允许确定哪些规则是合适的而哪些不是合适的。查询可以是基于公理的提供给推理组件(例如，推送到推理组件或由推理组件轮询)的任何信息；查询可以例如包括公理或基于公理的信息。换句话说，推理组件处的处理可以至少部分基于源自于规则库的变换后的规则的公理来进行。推理组件可以是诸如诊断或调试系统的系统中提供的任意推理功能。因此，可以以自动化的方式来管理复杂系统，可以对规则进行分类和优化，并且复杂规则库可以变得更加透明以及更加有效。该解决方案尤其支持并使得能够对复杂规则库进行自动化调试。技术系统包括经受诊断、监督和/或维护的若干组件，例如，旋转装备、发电机等。技术系统可以是或者包括下列各项中的至少一个:旋转设备、电力单元、发电机、供应链、制造系统、输送系统、工业系统等。给出的解决方案提供了用于基于例如与由技术人员提供的预期发动的规则有关的历史传感器数据和/或信息来自动识别失败的规则前提，并因此识别有潜在缺陷的规则的解决方案。由于传感器数据在性质上通常是时间的(即测量具有相关联的时间戳)，因此该分析可以针对每个相关时间切片(其可以被自动检测和处理)而提供。在实施例中，把规则库的规则转换成规则互换格式，然后把转换后的规则变换成公理。因此，规则的常用格式可以用作在将规则变换成公理之前的中间步骤。有利的是，与例如仅以专有方式可用的规则相比，规则互换格式提供了用于生成公理的更有效的方式。在另一个实施例中，将规则变换成公理包括下列步骤中的至少一个: -对规则进行解析； -提供基于对象的规则表示； -提供基于图的规则表示； -对规则进行序列化； -基于规则来创建或修改至少一个模型； -将规则变换成描述语目，特别是EL+。在进一步的实施例中，在推理组件之前提供调试组件，其中，将所述公理馈送到调试组件，并且调试组件针对推理组件对所述查询进行编译。应该注意的是，根据本说明书的“组件”可具体指代功能(例如，功能块)，或提供了特定功能或服务的软件实现的部分。虽然这是一种选择，但组件并不一定具有单独的物理表示或设备，例如，其可以是逻辑功能。在这个意义上说，第一组件在第二组件“之前”反映了第一功能是在第二功能之前提供的可能性。因此，对实现方式进行构造或实现的方式(例如，对于物理实体)可以是各种各样的。调试组件提供以下步骤中的至少一个也是实施例: -对公理进行解析； -对由至少一个传感器提供的数据和/或基本假设的集合进行时间切片； -向推理组件传送查询。依照另一个实施例，调试组件使用描述语言，特别是EL+。根据实施例，推理组件进行以下步骤中的至少一个: -特别是通过进行演绎来进行一致性检查； -特别是通过进行溯因，特别是宽松溯因，来生成解释。根据另一个实施例，所述推理组件使用描述逻辑，特别是EL+，基于OWL公理来进行一致性检查和/或生成解释。上述问题也通过用于对技术系统进行处理的设备来解决，所述设备包括被布置用于进行以下步骤的处理单元: -将规则库的规则变换成公理， -由推理组件处理基于所述公理的查询。应该注意的是，本文中陈述的方法的步骤也可以在该处理单元上是可执行的。还应该注意的是，所述处理单元可以包括被布置为执行本文中描述的方法的步骤的至少一个、特别是若干个装置。这些装置可以是逻辑上或物理上分开的；特别是若干逻辑上分开的装置可以组合在至少一个物理单元中。所述处理单元可以包括下列各项中的至少一个:处理器、微控制器、硬连线电路、ASIC、FPGA、逻辑设备。根据实施例，所述设备是技术系统的管理、调试或诊断设本文档来自技高网...

【技术保护点】
一种用于对技术系统进行处理的方法，‑其中，规则库（101）的规则（102、103）被变换成公理（109），‑其中，基于所述公理（109）的查询（121）由推理组件（122）来处理。

【技术特征摘要】
【国外来华专利技术】1.一种用于对技术系统进行处理的方法， -其中，规则库(101)的规则(102、103)被变换成公理(109)， -其中，基于所述公理(109)的查询(121)由推理组件(122)来处理。2.根据权利要求1所述的方法，其中，所述规则库的所述规则被转换成规则互换格式，并且然后转换后的规则被变换成公理。3.根据前述权利要求中任意一项权利要求所述的方法，其中，将所述规则变换成公理包括下列步骤中的至少一个: -对所述规则进行解析(107，212)； -提供基于对象的规则表示(213)； -提供基于图的规则表示(214)； -对所述规则进行序列化(215)； -基于所述规则来创建或修改至少一个模型(108)； -将所述规则变换成描述语言，特别是EL+。4.根据前述权利要求中任意一项权利要求所述的方法，其中，在所述推理组件之前提供调试组件(110)，其中，所述公理(109)被馈送到所述调试组件(110)，并且所述调试组件(110)针对所述推理组件(122)对所述查询(121)进行编译。5.根据权利要求4所述的方法，其中，所述调试组件(122)提供下列步骤中的至少一个: -对所述公理(111)进行解析； -对由至少一个传感器提供的数...

【专利技术属性】
技术研发人员：T胡鲍尔，HG布鲁梅尔，S格里姆，M罗什钦，M瓦茨克，
申请(专利权)人：西门子公司，
类型：发明
国别省市：德国;DE