您的位置： 专家智库 > >

金芝

作品数：2 被引量：2H指数：1
供职机构：长沙工学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇智能语言
  • 1篇人工智能
  • 1篇人工智能语言
  • 1篇逻辑语言
  • 1篇面向对象
  • 1篇模块化
  • 1篇PROLOG

机构

  • 2篇长沙工学院

作者

  • 2篇金芝
  • 2篇胡守仁
  • 1篇邓铁清

传媒

  • 1篇计算机工程
  • 1篇软件学报

年份

  • 1篇1994
  • 1篇1993
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
PROLOG模块机制—元级扩充的编译实现技术被引量：1
1993年
模块化是构造大型系统软件必不可少的手段之一.目前,PROLOG已成为一种通用的人工智能语言.大多数PROLOG的平坦化结构妨碍了它对大型软件的支持.本文在详细分析PROLOG模块系统的基本语法其信息隐藏和数据抽象等特性的基础上,进而实现了一个基于预编译的PROLOG模块系统.它将模块PROLOG程序编译为一般的PROLOG程序,这个预编译器可由PROLOG语言编写.借助于这个预编译器任何已有的PROLOG系统都可以达到支持模块化程序设计的需要。
金芝邓铁清胡守仁
关键词：模块化人工智能语言
面向对象逻辑语言SCKE中的限制推理被引量：1
1994年
限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持．
金芝胡守仁
关键词：逻辑语言
全选 清除 导出
共1页<1>
聚类工具0