节点文献

形式化语言对实例-模型库的规约

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 蒋庆； 孙林夫；

【机构】 西南交通大学CAD工程中心!四川成都610031；

【摘要】 利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。

【关键词】 基于实例的推理； 形式化方法； 知识库； RAISE规范语言；
  • 【文献出处】 计算机应用 ,COMPUTER APPLICATIONS , 编辑部邮箱 ,2000年S1期
  • 【分类号】TP311
  • 【被引频次】3
  • 【下载频次】88
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)