一种用于基于知识系统开发的形式化模型*
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMS
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1994-05-05
  • 最后修改日期:1994-09-28
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号