一种用于基于知识系统开发的形式化模型 |
| |
引用本文: | 徐殿祥,郑国梁.一种用于基于知识系统开发的形式化模型[J].软件学报,1995,6(1):266-273. |
| |
作者姓名: | 徐殿祥 郑国梁 |
| |
摘 要: | LKO是一个新面向对象和逻辑范型相结合用于基行知识的系统的形式化开发模型,其中逻辑对象是集状态,约束,行为,继承于一体的抽象实体,它支持框架,规则,语义网络,黑板等多种知识表示,因而可用来形式地描述基于知识系统的需求规范。在知识获了过程中通过对形式规范反复地修改,验证及确认而形成软件原型。/
|
关 键 词: | 知识系统 逻辑程序设计 面向对象 形式化模型 |
本文献已被 维普 等数据库收录! |
|