| 摘要: |
| LKo是一个将面向对象和逻辑范型相结合，用于基于知识系统的形式化开发模型，其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体．它支持框架、规则、语义网络、黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范．在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型． |
| 关键词: 基于知识的系统，逻辑程序设计，面向对象程序设计，规范，验证 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMS |
|
Xu Dianxiang,Zheng Guoliang
|
| Abstract: |
| This paper presents a formal framework called LKO for the dependable devel-opment of knowledge—based systems(KBSs)．LKO combines logic programming and ob-ject—oriented programming，where logieal objects are viewed as abstractions with states，constraints，behaviors and inheritance．Logical object supports several knowledge repre-sentations such as frame，rule，semantic network and blackboard．So it may be used as a formalism of knowledge and requirements of KBSs．After iterations of specification modi-fication and verification in terms of knowledge acquisition，prototypes might be correctly formed． |
| Key words: Knowledge—based systems,logic programming,object—oriented program-ming,specification,verification． |
