金芝
- 作品数：10 被引量：1H指数：1
- 供职机构：国防科学技术大学计算机学院计算机科学与技术系更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象逻辑语言中的常识知识表示
- 1994年
- 面向对象程序设计风格和逻辑程序设计风格有其各自的优点和局限性．本文利用ＳＣＫＥ范例的特性，在其中嵌入了常识知识表示模型ＬＸＺ，为大型软件（特别是基于知识的软件）系统的设计提供了一个较有效的环境．
- 李晓敏金芝刘凤歧
- 关键词：面向对象逻辑语言
- 结合逻辑和面向对象范例的一种新模型(SCKE)
- 1992年
- 逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。
- 金芝胡守仁
- 关键词：逻辑语言面向对象语言
- GKD—PROLOG/SUN模块系统的设计与实现
- 1992年
- 模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。
- 严静东金芝吴泉源
- 关键词：模块系统程序设计
- 一个新一代知识处理系统原型
- 金芝胡守仁
- 关键词：程序语言知识处理系统
- 专家系统开发技术
- 1991年
- 本文结合我系研制的几个实用专家系统,分析了专家系统的应用背景和实用专家系统的开发技术,并针对当前专家系统中存在的局限性,提出了新一代专家系统的设计目标和结构特征。
- 金芝吴泉源刘凤歧胡守仁
- 关键词：专家系统人工智能
- 面向对象程序设计及其对知识系统的支持被引量：1
- 1992年
- 本文提出了一种在Prolog编程环境中嵌入面向对象程序设计范例的一种方法,最后,文中讨论了面向对象程序设计环境对新一代知识系统的支持。
- 金芝胡守仁
- 关键词：面向对象程序设计
- Prolog对象系统GKD—POS/SUN的设计与实现
- 1992年
- GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。
- 严静东金芝吴泉源邓铁清
- 关键词：逻辑
- 新一代知识处理集成化环境系统的研究
- 金芝
- ＧＫＤ－ＰＲＯＬＯＧ／ＳＬＮ模块系统的设计与实现
- 严静东金芝吴泉流
- 关键词：模块化程序系统设计逻辑程序设计
- 新一代知识系统需求分析
- 1991年
- 针对第一代知识系统存在的许多明显缺陷,许多研究者相继提出了各自的第二代知识系统的概念,在不同程度上弥补了第一代知识系统的不足,缓解了它们与知识处理需求之间的矛盾,但这些解决方法大多是局部的或不完全的。本文分析了第一代知识系统的缺陷,并在分析第二代知识系统的几个典型结构的基础上,确定了新一代知识系统的设计目标,最后提出了新一代知识系统的一种通用结构。
- 金芝胡守仁
- 关键词：专家系统人工智能
