共 4 条
以属性为基础的知识库建库原则
被引：19
作者：
冯嘉礼
冯嘉仁
詹增修
机构：
[1] 广西师范大学
[2] 水电部上海水工厂
[3] 天津工业自动化所
来源：
关键词：
属性集;
定理;
复形;
剖分;
单形;
单纯形;
多面体;
立体几何;
知识库;
专家系统;
自然推理;
半群;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
在将关系定义为序集相应属性的基础上,本文提出了以属性为基础的知识库建库新原则.传统的关系原则是属性原则的特例.证明了任一事物x的属性集Px构成么半群M（Px,∧）,而M（Px,∧）定义一范畴属CM（X）.属性集Px连同其属性问推理偏序r（Pi,Pj）=dfPi（X）→Pj（X）定义—推理范畴Cr（X）.将么半群M（Px,∧）的素属性生成元作属性多面体K的顶点.本文证明了K的重心剖分复形Km恰是么半群M（Px,∧）的一个同构表示,且Km连同其顶点间的自然推理r'（Pi,Pj）=df"Pi∧Pj?Pi"定义一自然推理范畴CK（X）,而且范畴CK（X）与C?（X）是同构范畴,故属性推理r（Pi,Pj）的判定问题可转化为复形Km中关于属性Pi与Pj的坐标计算与识别问题.从而为属性推理知识库原则提供了实用模型.本质上它可认为是frame方案与属性语义网络在n维复形中的推广和规范化形式.
引用
收藏
页码：55 / 61
页数：7
相关论文