###
DOI:
Journal of Software:1995.6(zk):266-273

一种用于基于知识系统开发的形式化模型*
徐殿祥,郑国梁
(南京太学计算机科学与技术系,南京210093)
A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMS
Xu Dianxiang,Zheng Guoliang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 1875   Download 2124
Received:May 05, 1994    Revised:September 28, 1994
> 中文摘要: LKo是一个将面向对象和逻辑范型相结合,用于基于知识系统的形式化开发模型,其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体.它支持框架、规则、语义网络、黑板等多种知识表示,因而可用来形式地描述基于知识系统的需求规范.在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

徐殿祥,郑国梁.一种用于基于知识系统开发的形式化模型*.软件学报,1995,6(zk):266-273

Xu Dianxiang,Zheng Guoliang.A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMS.Journal of Software,1995,6(zk):266-273