铸造方法选择专家系统知识库的完备性检验

被引:5
作者
李日
李梅娥
王友序
杨根仓
机构
[1] 西北工业大学
关键词
铸造方法,知识库,完备性检验;
D O I
10.13433/j.cnki.1003-8728.1998.01.054
中图分类号
TG248 [铸件生产过程自动化];
学科分类号
080201 [机械制造及其自动化];
摘要
给出了问题可解的定义和知识库完备性的定义,并在理论上对知识库的完备性检验进行了探讨;讨论了知识库完备性检验的具体内容,并在铸造方法选择专家系统中得到了应用。
引用
收藏
页数:3
相关论文
共 4 条
[1]
基于关系模式的知识表示方法 [J].
许建潮 ;
胡明 .
小型微型计算机系统, 1995, (06)
[2]
一种基于关系型知识构造的高效推理平台 [J].
倪天倪 ;
冯钧 ;
孟朝晖 .
小型微型计算机系统, 1994, (11)
[3]
FKMS不精确知识库管理系统的设计与实现 [J].
杨莉 ;
杨权 ;
胡守仁 .
计算机研究与发展, 1993, (12) :44-51+25
[4]
知识库的一致性与完备性检验 [J].
桂修文 ;
丁洪 ;
杨叔子 ;
郑尚龙 .
华中理工大学学报, 1991, (S2) :33-39