一种知识地图的建立和学科知识导航方法技术

一种知识地图的建立方法，该方法为：以命题作为节点，用表示命题之间逻辑关系的蕴涵算子链接上述节点，形成一种特殊的布尔网络，完成知识地图的建立；所述逻辑关系由逻辑连接词—布尔函数作为关系，所述蕴涵算子包括二元蕴涵算子、三元蕴涵算子和三元以上蕴涵算子。本发明专利技术延续了命题逻辑的做法，发展出一套无关具体应用场景的无向有环图知识表示方法，更便于实现数理学科知识的自动推理。

【技术实现步骤摘要】
-种知识地图的建立和学科知识导航方法
本专利技术涉及一种知识表达技术，将一个领域知识表达为机器可以识别处理的形 式，具体涉及。
技术介绍
人工智能是研究如何使机器具有人类智能的学科。人之所以具有智能，是因为人 拥有知识。同样，要使机器具有智能，就必须使它拥有知识，拥有的知识越多，其智能就越 高。但人类的知识大多是很抽象的，而且我们习惯于用自然语言表达，那么，如何使机器具 有知识？这就是知识表示和知识获取。 所谓知识表示，就是研究在机器中如何用最合适的形式对知识进行描述，使知识 形式化、模型化，以便在机器中存储和使用知识。对于人们习惯的知识表示形式（如自然 语言表示)，机器不一定能接受，所以必须把人类知识变换成一定形式的机器内部的知识模 型，为机器所接受。 目前的产生式规则表示法、逻辑表示法比较有效，但多为有向无环图，使得表示结 果依赖于具体应用场景。而像引文分析法，根据文献相互引用关系构成知识地图无法深入 到学科本身的逻辑结构中，只能以单个文献作为地图节点。
技术实现思路
本专利技术的目的在于提供，其延续了命题 逻辑的做法，发展出一套无关具体应用场景的无向有环图知识表示方法，更便于实现数理 学科知识的自动推理。 本专利技术的技术解决方案是： 一种知识地图的建立方法，其特殊之处在于，该方法为：以命题作为节点，用表示命题 之间逻辑关系的蕴涵算子链接上述节点，形成一种特殊的布尔网络，完成知识地图的建立； 所述逻辑关系由逻辑连接词一布尔函数作为关系，所述蕴涵算子包括二元蕴涵算子、三元 蕴涵算子和三元以上蕴涵算子。 上述蕴涵算子用映射真值表表不；T表不命题已知为真，I表不不确定命题真假，F 表示命题已知为假，根据实际需要，基于上述三个真值形成连续的真值表示；所述映射真值 表包括表示命题的初始真值和经过蕴涵算子作用后的稳定真值。 上述映射真值表具体是： 将传统真值表中复合命题的真值T对应的原子命题状态作为T状态布尔函数的映射不 动点，将传统真值表中复合命题的真值F对应的原子命题状态作为F状态布尔函数的映射 不动点，形成映射真值表； T状态布尔函数的映射真值表和F状态布尔函数的映射真值表可以相互推导，实际应 用中只选择T状态布尔函数的映射真值表表示该布尔函数。 上述蕴涵算子由以下规则找到： 1) 在布尔函数为真时的各个子映射真值表中，真值必须要有封闭性：若从完整的映射 真值表中提出TF映射真值表，映射结果不能有I ;提出TI映射真值表，映射结果不能有F ; 提出IF映射真值表，映射结果不能有T ; 2) 当TT、TF、FT为真时，FF是否为真，对布尔函数的映射结果没有影响； 3) 当若干个布尔函数满足轮换关系时，优先选择保持A项在映射中不变的布尔函数， 其次选择B项不变的，三元及三元以上以此类推； 4) 另外还要排除掉混在η元布尔函数的n-1元布尔函数；在这种情况中存在不影响其 它命题真值的命题； 5) 不改变词项的前提下，能由同元数以下的布尔函数生成的布尔函数，不计。 蕴涵算子的编辑方式基于这样的性质： 【基溫涵算子】形如·Λ··Λυ 的溫涵算子称为关于巧，巧，…，巧的η兀基 蕴涵算子；任意一个η元蕴涵算子用η元和η元以下的基蕴涵算子的逻辑合取表示；二元基 蕴涵算子为1011，三元基蕴涵算子为11101111。 三元以内蕴涵算子由基蕴涵算子逻辑合取生成规则如下： 1011(Α，Β) Λ1011(Β，Α) = 1001(Α，Β) 1011 (A, Β) Λ 1011 (A, Β) = 1011 (A, Β) 11101111 (A, B，C) Λ 1011 (A, Β) = 1011 (A, Β) Λ 1011 (A, C) 11101111(A，B，C) Λ 1〇11(Β，Α) = 1011(Β，Α) Λ l〇ll(B，C) 11101111 (A，B，C) Λ 1011 (A，C) = 1011 (A，C) 11101111 (A, Β，C) Λ 1011 (B，C) = 1011 (B，C) 11101111 (A, B，C) Λ 1011 (C, A) = 11001011 (C, A, Β) 11101111 (A, B，C) Λ 1011 (C，B) = 11001011 (A, C，B) 11101111 (A, B，C) Λ 11101111 (A, B，C) = 11101111 (A, B，C) 11101111 (A, B，C) Λ 11101111 (B，C, A) = 11101011 (B, A, C) 11101111 (A, B，C) Λ 11101111 (C, A, B) = 11101011 (A, B，C) 11101111 (A, B，C) Λ 11101111 (C，B，A) = 11101011 (B，A, C) 11101111 (A, B，C) Λ 11101111 (B, A, C) = 11101111 (A, B，C) 11101111 (A, B，C) Λ 11101111 (A, C，B) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 1011 (A, B) = 1011 (A, Β) Λ 1011 (A, C) 11101011 (A, B，C) Λ 1011 (B，A) = 11100001 (A, C，B) 11101011 (A, B，C) Λ 1011 (A, C) = 1011 (A, Β) Λ 1011 (A, C) 11101011 (A, B，C) Λ 1011 (B，C) = 11001011 (A, B，C) 11101011 (A, B，C) Λ 1011 (C，A) = 11100001 (A, B，C) 11101011 (A, B，C) Λ 1011 (C，B) = 11001011 (B，C，A) 11101011 (A, B，C) Λ 11101111 (A, B，C) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (B，C, A) = 11101001 (A, B，C) 11101011 (A, B，C) Λ 11101111 (C，A, B) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (C，B，A) = 11101001 (A, B，C) 11101011 (A, B，C) Λ 11101111 (B，A, C) = 11101011 (A, B，C) 11101011 (A, B，C) Λ 11101111 (A, C，B) = 11101011 (A, B，C) 11001011 (A, B，C) Λ 1011 (A, B) = 1011 (A, B) Λ 1011 (A, C) Λ 1011 (B，C) 11001011 (A, B，C) Λ 1011 (B，A) = 11100001 (A, C，B) 11001011 (A, B，C) Λ 1011 (A, C) = 1011 (A, B) Λ 10本文档来自技高网...

【技术保护点】
一种知识地图的建立方法，其特征在于，该方法为：以命题作为节点，用表示命题之间逻辑关系的蕴涵算子链接上述节点，形成一种特殊的布尔网络，完成知识地图的建立；所述逻辑关系由逻辑连接词—布尔函数作为关系，所述蕴涵算子包括二元蕴涵算子、三元蕴涵算子和三元以上蕴涵算子。

【技术特征摘要】
1. 一种知识地图的建立方法，其特征在于，该方法为：以命题作为节点，用表示命题之 间逻辑关系的蕴涵算子链接上述节点，形成一种特殊的布尔网络，完成知识地图的建立；所 述逻辑关系由逻辑连接词一布尔函数作为关系，所述蕴涵算子包括二元蕴涵算子、三元蕴 涵算子和三元以上蕴涵算子。2. 根据权利要求1所述知识地图的建立方法，其特征在于：所述蕴涵算子用映射真值 表表示；T表示命题已知为真，I表示不确定命题真假，F表示命题已知为假，根据实际需要， 基于上述三个真值形成连续的真值表示；所述映射真值表包括表示命题的初始真值和经过 蕴涵算子作用后的稳定真值。3. 根据权利要求2所述知识地图的建立方法，其特征在于，所述映射真值表具体是： 将传统真值表中复合命题的真值T对应的原子命题状态作为T状态布尔函数的映射不 动点，将传统真值表中复合命题的真值F对应的原子命题状态作为F状态布尔函数的映射 不动点，形成映射真值表； T状态布尔函数的映射真值表和F状态布尔函数的映射真值表可以相互推导，实际应 用中只选择T状态布尔函数的映射真值表表示该布尔函数。4. 根据权利要求1或2所述知识地图的建立方法，其特征在于，所述蕴涵算子由以下规 则找到： 1) 在布尔函数为真时的各个子映射真值表中，真值必须要有封闭性：若从完整的映射 真值表中提出TF映射真值表，映射结果不能有I;提出TI映射真值表，映射结果不能有F; 提出IF映射真值表，映射结果不能有T; 2) 当TT、TF、FT为真时，FF是否为真，对布尔函数的映射结果没有影响； 3) 当若干个布尔函数满足轮换关系时，优先选择保持A项在映射中不变的布尔函数， 其次选择B项不变的，三元及三元以上以此类推； 4) 另外还要排除掉混在η元布尔函数的n-1元布尔函数；在这种情况中存在不影响其 它命题真值的命题； 5) 不改变词项的前提下，能由同元数以下的布尔函数生成的布尔函数，不计。5. 根据权利要求4所述知识地图的建立方法，其特征在于，所述的蕴涵算子编辑方式 基于这样的性质： 【基溫涵算子】形如(巧Λ···Λυ4巧的溫涵算子称为关于巧，巧，…，巧的η兀基溫 涵算子；任意一个η元蕴涵算子用η元和η元以下的基蕴涵算子的逻辑合取表示；二元基蕴 涵算子为1011，三元基蕴涵算子为11101111。6. 根据权利要求5所述知识地图的建立方法，其特征在于，所述蕴涵算子的可视化是 这样实现：一个蕴涵算子用韦恩图表示蕴涵算子联系的各个命题的真值TI所构成的状态 空间，箭头表示经过该算子作用，命题真值的演化方向。7. -种利用权利要求1所述知识地图进行学科知识导航方法，其特 征在于，该方法是一种真值传递机制，建立归纳树，再根据该归纳树完成演绎推理和归 纳推理。8. 根据权利要求7所述学科知识导航方法，其特征在于，所述建立归纳树通过以下方 法和规则建立： 1】【传播规则】 1.1】一个节点如果是a (a e(〇，1])，则该节点向它所在蕴涵算子的其他节点传播真 值，2中的情况例外； 1. 2】 1. 2. 1】【可满足性】一个节点A在一个蕴涵算子F中，如果存在从0变为1的情况，则 称节点A在蕴涵算子F中是可以满足的，反之称A在F中不能满足； 1. 2. 2】【最小满足组】在一个η元蕴涵算子F中，如果节点A最少需要m个节点为1， 才能获得真值1，则称节点A在蕴涵算子F中的最小满足组为m; 1. 2. 3】【寻找最小满足组的方式】一个命题在它所在的蕴涵算子中...

【专利技术属性】
技术研发人员：刘泊荣，
申请(专利权)人：刘泊荣，
类型：发明
国别省市：陕西;61