主管/主办:重庆西南信息有限公司
CODEN JKIEBK
-
不完全信息下的推理——一篇重要的研究报告
金雅芬. 不完全信息下的推理——一篇重要的研究报告[J]. 计算机科学, 1992, 19(6): 1-10.
- 金雅芬
- 计算机科学. 1992, 19 (6): 1-10.
- 摘要 ( 49 ) PDF(404KB) ( 289 )
- 相关文章 | 多维度评价
-
线性逻辑和逻辑式程序设计
黄林鹏 孙永强. 线性逻辑和逻辑式程序设计[J]. 计算机科学, 1992, 19(6): 11-17.
- 黄林鹏 孙永强
- 计算机科学. 1992, 19 (6): 11-17.
- 摘要 ( 52 ) PDF(252KB) ( 273 )
- 相关文章 | 多维度评价
-
所谓的逻辑式程序设计它涉及两个逻辑层次:外部逻辑和内部逻辑,前者描述对象之间的逻辑关系,而后者涉及目标求解遵循的逻辑法则。如PROLOG,它的外部逻辑是古典逻辑,而其计算遵循的,我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发,研究PROLOG目标求解成功或失败的公理性,并说明对任一给定的程序P,可定义一个线性理论LT(P),关于该理论,PROLOG目标求解是正确且完备的。
-
模块、抽象数据类型和类
梅宏 孙永强. 模块、抽象数据类型和类[J]. 计算机科学, 1992, 19(6): 17-21.
- 梅宏 孙永强
- 计算机科学. 1992, 19 (6): 17-21.
- 摘要 ( 46 ) PDF(222KB) ( 274 )
- 相关文章 | 多维度评价
-
本文分析了面向对象程序设计(OOP)中类(class)和传统程序设计模块(module)及抽象数据类型(ADT)间的差异,以便加深对OOP中类及对象的理解,进而讨论了类间继承关系。
-
一种新的知识表达方法:概念结构
白振兴. 一种新的知识表达方法:概念结构[J]. 计算机科学, 1992, 19(6): 21-26.
- 白振兴
- 计算机科学. 1992, 19 (6): 21-26.
- 摘要 ( 39 ) PDF(246KB) ( 261 )
- 相关文章 | 多维度评价
-
本文详细论述了概念结构中概念图的表示形式;类型理论、类型标号、类型层次和类型格;个体与名字、聚集与个别;正则图及构成规则(拷贝、限制、连接和化简)。概念图是一种最新的知识表达方法,语义表达能力强,可读性好,接近于自然语言,能加入背景知识,推理速度快,已被证明优于其他传统的知识表达方法,必将为解决AI知识获取瓶颈起到积极作用。
-
三种PROLOG扩充之比较
贲可荣 王戟. 三种PROLOG扩充之比较[J]. 计算机科学, 1992, 19(6): 27-34.
- 贲可荣 王戟
- 计算机科学. 1992, 19 (6): 27-34.
- 摘要 ( 51 ) PDF(307KB) ( 278 )
- 相关文章 | 多维度评价
-
nH-PROLOG,SPRF和N-PROLOG是PROLOG的三种典型扩充,本文介绍了它们之间的异同。这三个系统采用不同方法扩充了PROLOG,但是均使用情况分析法做为非Horn推理机制。尽管它们的出发点、目的、表达形式各异,但在使用情况分析法这一点上有着惊人的相似性,这说明它们的推理在本质上是一般和直观的。它们的区别在于:一个系统的性质要加入另一系统,必须做较大的变形。
-
第十四届国际软件工程会议概况
董士海 郑国梁 等. 第十四届国际软件工程会议概况[J]. 计算机科学, 1992, 19(6): 34-39.
- 董士海 郑国梁 等
- 计算机科学. 1992, 19 (6): 34-39.
- 摘要 ( 61 )
- 相关文章 | 多维度评价
-
大型程序设计的过去、现在和未来
Tichy.,WF 陈海东. 大型程序设计的过去、现在和未来[J]. 计算机科学, 1992, 19(6): 39-44.
- Tichy.,WF 陈海东
- 计算机科学. 1992, 19 (6): 39-44.
- 摘要 ( 81 ) PDF(272KB) ( 285 )
- 相关文章 | 多维度评价
-
本文综述了大型程序设计概念的发展历史,包括层次系统、信息隐藏、大型程序设计语言、面向对象语言和软件配置管理。大规模软件重用、更牢固的基础和更好的开发工具、软件结构的编目和改善对软件工程师的培养,被认为是未来的方向。
-
需求工程的形式化途径
钱家骅 吕建国 等. 需求工程的形式化途径[J]. 计算机科学, 1992, 19(6): 44-49.
- 钱家骅 吕建国 等
- 计算机科学. 1992, 19 (6): 44-49.
- 摘要 ( 70 ) PDF(267KB) ( 240 )
- 相关文章 | 多维度评价
-
增强CASE环境的表达方法
应晶 何志均 等. 增强CASE环境的表达方法[J]. 计算机科学, 1992, 19(6): 50-55.
- 应晶 何志均 等
- 计算机科学. 1992, 19 (6): 50-55.
- 摘要 ( 55 ) PDF(237KB) ( 244 )
- 相关文章 | 多维度评价
-
反编译技术研究现状及面临的问题
刘宗田 陈福安. 反编译技术研究现状及面临的问题[J]. 计算机科学, 1992, 19(6): 55-58.
- 刘宗田 陈福安
- 计算机科学. 1992, 19 (6): 55-58.
- 摘要 ( 61 ) PDF(186KB) ( 314 )
- 相关文章 | 多维度评价
-
异构型分布式计算机系统技术
薛行 孙钟秀. 异构型分布式计算机系统技术[J]. 计算机科学, 1992, 19(6): 59-65.
- 薛行 孙钟秀
- 计算机科学. 1992, 19 (6): 59-65.
- 摘要 ( 68 ) PDF(288KB) ( 345 )
- 相关文章 | 多维度评价
-
推理式分布数据库管理系统T—POREL及其实现
高全泉 柴兴无 等. 推理式分布数据库管理系统T—POREL及其实现[J]. 计算机科学, 1992, 19(6): 66-73.
- 高全泉 柴兴无 等
- 计算机科学. 1992, 19 (6): 66-73.
- 摘要 ( 58 ) PDF(314KB) ( 300 )
- 相关文章 | 多维度评价
-
面向对象的分布式OS设计模型
何炎祥 刘栋臣. 面向对象的分布式OS设计模型[J]. 计算机科学, 1992, 19(6): 73-77.
- 何炎祥 刘栋臣
- 计算机科学. 1992, 19 (6): 73-77.
- 摘要 ( 102 ) PDF(233KB) ( 300 )
- 相关文章 | 多维度评价