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

作　　者：蒋庆[1] 孙林夫[1] 

机构地区：[1]西南交通大学CAD工程中心,四川成都610031

出　　处：《计算机应用》2000年第S1期143-144,共2页journal of Computer Applications

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

关 键 词：基于实例的推理 形式化方法 知识库 RAISE规范语言 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]