一种基于格序理论的由蕴含规则重构形式背景的方法技术

本发明专利技术公开了一种基于格序理论的由蕴含规则重构形式背景的方法，属于化学反应过程中化学成分的分析领域。用以解决根据重构的形式背景确定参与化学反应的化学品种类，并刻画出各类化学品的基本反应现象仍然没有相关研究的问题。包括将蕴含规则集确定为

A method of reconstructing formal context by implication rules based on lattice order theory

The invention discloses a method for reconstructing formal background by implication rules based on lattice order theory, belonging to the analysis field of chemical components in chemical reaction process. In order to solve the problem of determining the basic chemical reaction phenomena of various chemicals, according to the form and background of the reorganization, the chemical reactions of various chemicals are still not studied. Include the inclusion of a set of rules as

【技术实现步骤摘要】
一种基于格序理论的由蕴含规则重构形式背景的方法
本专利技术属于化学反应过程中化学成分的分析领域，更具体的涉及一种基于格序理论的由蕴含规则重构形式背景的方法。
技术介绍
知识发现(英文为：KnowledgeDiscoveryinDatabase，简称KDD)，数据挖掘(英文为：DataMining，简称为DM)是一种以计算机为工具，将人工智能、统计、计算机及数据库等技术相结合，旨在从数据中提取总结出新信息的技术。在现有的研究中，数据挖掘的主要任务有六项：关联分析、时序模式、聚类、分类、偏差检测和预测。从数据本身来考虑，数据挖掘通常需要有信息收集、数据集成、数据规约、数据清理、数据变换、数据挖掘实施过程、模式评估和知识表示等8个步骤。然而，在理论研究与实际应用中存在，从已知的关联规则集中获取蕴含所有关联规则的信息粒，进而构造蕴含所有关联规则的信息系统。比如，已知在一个案件的刑事侦查中，有a、b、c、d、e、f、g等七种痕迹物证，证据之间有如下关系：只要证据a出现的场合证据c一定出现；只要证据g出现的场合证据c一定出现；只要证据d出现的场合证据b、c、e、f一定同时出现；只要证据f出现的场合证据b、c、d、e一定同时出现；只要证据b和c同时出现的场合证据e一定出现。那么，根据上述证据之间的关系，可以有以下问题：这个案件至少与几个人有关？或者这个案件中是否有一个嫌疑人同时与证据b、c、d、e、f相关？该例子产生的问题可以形式化地描述为：已知一个由蕴含规则构成的知识库，如何构造一个信息系统，使得这个信息系统恰好蕴含知识库中的所有规则，然后通过查询信息系统解决相关问题。在其它领域也存在此类问题，且这些问题再本质上是相同的。比如，在化学领域的实验中，通过观察得到一组相互关联的化学反应现象，如何根据这些现象推断出有哪些物质参与了化学反应；在天文观测中记录了一系列相关的天文现象，如何确定有哪些天体和这些天文现象的产生有关；在教育学领域，要教学生一组相关的基本原理，如何举出恰当的例子给学生以启示。格序理论已经在信息系统的关联规则挖掘中广泛应用。在格序理论中，信息系统用二维的数据表格来描述，且称这个二维的数据表格为形式背景。而蕴含规则是一类置信度为1的关联规则。目前，从已知的形式背景提取蕴含规则，在蕴含规则提取完成之后，利用命题逻辑在得到的蕴含规则集上进行推理，得到更多隐含知识。由于现有技术中，在提取蕴含规则之后，就脱离了原有的形式背景，也就是提取到隐含知识与蕴含这些知识的对象之间互相分离，从而不利于从知识外延～知识内涵的二元关系角度认识研究对象。综上所述，现有的技术是从已知的形式背景提取蕴含规则，如何从蕴含规则出发逆向重构形式背景，并根据重构的形式背景确定参与化学反应的化学品种类，并刻画出各类化学品的基本反应现象仍然没有相关的技术。
技术实现思路
本专利技术实施例提供一种基于格序理论的由蕴含规则重构形式背景的方法，用以解决根据重构的形式背景确定参与化学反应的化学品种类，并刻画出各类化学品的基本反应现象仍然没有相关研究的问题。本专利技术实施例提供一种基于格序理论的由蕴含规则重构形式背景的方法，包括：获取化学反应过程中包括的各种化学反应，若观察到第一组化学反应现象{aj|j∈J}发生，第二组化学反应现象{bk|k∈K}也发生；且当所述第二组化学反应现象{bk|k∈K}发生时，所述第一组化学反应现象{aj|j∈J}发生的概率为50％时，将所述第一组化学反应现象{aj|j∈J}和所述第二组化学反应现象{bk|k∈K}确定为一条蕴含规则其中∧表示逻辑合取，aj、bk分别表示所述第一组化学反应现象和所述第二组化学反应现象，J、K为指标集；将从所述化学反应过程中获取到的全部蕴含规则集确定为RS，将蕴含规则集包括的每一个条蕴含规则，确定为其中，b'为b的逻辑否定，为ei的正文字部分，为ei的负文字部分，E＝{ei|i∈I}；对于所述E＝{ei|i∈I}中的每一个表达式ei，遍历第一布尔格，若第一格结点标签包含的所述ei的正文字部分但不包含ei的负文字部分，则将所述第一格结点以及与所述第一格结点连接的第二格结点删除，将删除第一格结点和第二格结点的所述第一布尔格确定为第二布尔格；建立对象标签集，遍历所述第二布尔格，若所述第二布尔格中的第三节点只有一个下近邻，则从所述对象标签集中选择第一自然数作为所述第三节点的对象标签；其中，第一自然数为所述对象标签集中包括的多个自然数中的最小自然数；将从所述对象标签集中选择的多个第一自然数建立二维表格，将所述二维表格包括的单元格值确定为0；其中，所述二维表格的行数和所述第一自然数的数量对应，所述二维表格的列数与所述蕴含规则集包含的全体文字的数量对应；若所述第二布尔格中第z个对象标签的属性标签为则将所述二维表格中第z行和第j列对应的单元格值设置为1，将修改单元格后的所述二维表格确定为重构的形式背景。优选地，所述将蕴含规则集包括的每一个条蕴含规则，确定为之前，还包括：根据所述蕴含规则集RS＝{Ri|Ri:p(Ri)→q(Ri)}所包括的i条蕴含规则，通过Ri:p(Ri)→q(Ri)和确定所述蕴含规则集包含的全体文字；其中，i∈I，I为指标集，Ri代表第i条所述蕴含规则，p(Ri)代表所述蕴含规则Ri的前提，q(Ri)代表所述蕴含规则Ri的结论，p(Ri)表示为q(Ri)表示为at1和bt2代表单个属性，T1和T2为指标集；确定所述蕴含规则集包含的全体文字的数量，建立与所述数量对应的第一布尔格。优选地，所述二维表格表示了参与所述化学反应的化学品种类，每一行对应一种化学品，每一列对应一种所述化学反应现象；所述二维表格所包括的行数对应至少参与反应的所述化学品种类，当所述二维表格中某格对应的值为1时，表示与1对应的行所对应的所述化学品具有列对应的所述化学反应现象。在本专利技术实施中，提供了一种基于格序理论的由蕴含规则重构形式背景的方法，包括：获取化学反应过程中包括的各种化学反应，若观察到第一组化学反应现象{aj|j∈J}发生，第二组化学反应现象{bk|k∈K}也发生；且当所述第二组化学反应现象{bk|k∈K}发生时，所述第一组化学反应现象{aj|j∈J}发生的概率为50％时，将所述第一组化学反应现象{aj|j∈J}和所述第二组化学反应现象{bk|k∈K}确定为一条蕴含规则其中∧表示逻辑合取，aj、bk分别表示所述第一组化学反应现象和所述第二组化学反应现象，J、K为指标集；将从所述化学反应过程中获取到的全部蕴含规则集确定为RS，将蕴含规则集包括的每一个条蕴含规则，确定为其中，b'为b的逻辑否定，为ei的正文字部分，为ei的负文字部分，E＝{ei|i∈I}；对于所述E＝{ei|i∈I}中的每一个表达式ei，遍历第一布尔格，若第一格结点标签包含的所述ei的正文字部分但不包含ei的负文字部分，则将所述第一格结点以及与所述第一格结点连接的第二格结点删除，将删除第一格结点和第二格结点的所述第一布尔格确定为第二布尔格；建立对象标签集，遍历所述第二布尔格，若所述第二布尔格中的第三节点只有一个下近邻，则从所述对象标签集中选择第一自然数作为所述第三节点的对象标签；其中，第一自然数为所述对象标签集中包括的多个自然数中的最小自然数；将从所述对象标签本文档来自技高网...

【技术保护点】
一种基于格序理论的由蕴含规则重构形式背景的方法，其特征在于，包括：获取化学反应过程中包括的各种化学反应，若观察到第一组化学反应现象{a

【技术特征摘要】
1.一种基于格序理论的由蕴含规则重构形式背景的方法，其特征在于，包括：获取化学反应过程中包括的各种化学反应，若观察到第一组化学反应现象{aj|j∈J}发生，第二组化学反应现象{bk|k∈K}也发生；且当所述第二组化学反应现象{bk|k∈K}发生时，所述第一组化学反应现象{aj|j∈J}发生的概率为50％时，将所述第一组化学反应现象{aj|j∈J}和所述第二组化学反应现象{bk|k∈K}确定为一条蕴含规则其中∧表示逻辑合取，aj、bk分别表示所述第一组化学反应现象和所述第二组化学反应现象，J、K为指标集；将从所述化学反应过程中获取到的全部蕴含规则集确定为RS，将蕴含规则集RS包括的每一个条蕴含规则Ri:P(Ri)→Q(Ri)变换为其中，b'为b的逻辑否定，为ei的正文字部分，为ei的负文字部分，并记全体变换后的蕴含规则为E＝{ei|i∈I}，Ri和ei分别为变换前和变换后的蕴含规则，P(Ri)、Q(Ri)分别为蕴含规则Ri的前提和结论，且P(Ri)、Q(Ri)均为正文字的合取式，a、b代表正文字；对于所述E＝{ei|i∈I}中的每一个表达式ei，遍历第一布尔格，若第一格结点标签包含所述ei的正文字部分但不包含ei的负文字部分，则将所述第一格结点以及与所述第一格结点连接的第二格结点删除，将删除第一格结点和第二格结点的所述第一布尔格确定为第二布尔格；建立对象标签集，遍历所述第二布尔格，若所述第二布尔格中的第三节点只有一个下近邻，则从所述对象标签集中选择第一自然数作为所述第三节点的对象标签；其中，第一自然数为所述对象标签集...

【专利技术属性】
技术研发人员：智慧来，晁浩，张霄宏，王岩，毛钧，
申请(专利权)人：河南理工大学，
类型：发明
国别省市：河南,41