1990年, 第16卷, 第03期　刊出日期：

  

• 全选
  |

论文
• Select
  人工智能与思维科学

  童頫

  . 1990, 16(03): 3.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文对从图灵试验的启示到知识工程的兴起这一人工智能及其应用发展的历史阶段进行了回顾。概述了计算机下棋的兴起与困难;机器翻译早期的挫折;从自动定理证明到通用问题求解器(GPS)的探索;从早期的感知器(perceptron)到当今的神经元计算(neurocomputing);机器人的幻想与现实;专家系统的成功、问题与知识工程的兴起等方面。阐明“没有不依赖于知识的GPS”这一结论对推动人工智能应用发展的意义。指出人工智能面临困难的根源在于“思维即计算”这一认识及其图灵计算模型理论上的局限性,以及基于诺依曼机的实现环境在技术上的局限性。因此,一方面在近代计算机技术的基础上研究开发新一代智能信息处理系统已成为一个主流方向。其目的是要为人工智能应用提供更为有效的开发/运行环境;另一方面,为了在人工智能、乃至计算机科学理论上有所突破,必须“向生命学习”,从学科交叉的新领域——恩维科学获得启示。文中还概述了“人类前沿科学计划”的意义。
• Select
  人工智能语言及其应用

  程虎

  . 1990, 16(03): 13-18.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍作为人工智能系统研究的基础环境的人工智能语言,及其在各种人工智能问题中的应用,并展示我国在这方面的科研成果,对未来方向提出一些展望。
• Select
  专家系统开发工具的评价与选择

  李海泉

  . 1990, 16(03): 19-27.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文概述了专家系统开发工具的分类、着重介绍了四类专家系统开发工具的性能、特点、适用范围,选择专家系统开发工具的原则、方法,并给出了十多种通用专家系统开发工具的性能、价格。
• Select
  红外—计算机自动分析通用系统

  薛兴孝

  . 1990, 16(03): 27.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  <正> 一种在国内居领先地位的《红外—计算机自动分析通用系统》由新疆军区某防化部队科技人员经过两年的艰苦努力研制成功。该系统将具有RS—232C标准接口的计算机与国产7650型、4010型等红外分光光度计联机,也可与国内外同类产品联机。它性能稳定,抗干扰力强,具有联机检索、脱机检索、图谱解析、屏幕绘图、前置处理机自采、定量分析等功能。经鉴定会的军内外专家认为,该系统的单片机为主控部件的红外前置处理机填补了
• Select
  通用规则型专家系统开发环境——RESDE

  何成武,丁一峰,赵军,施颖东

  . 1990, 16(03): 28.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  通用规则型专家系统开发环境RESDE是一个由通用知识工程语言及一些调试开发工具组成的环境。它以规则作为知识表示;以识别——动作循环作为解释机制。RESDE是一个结构简洁,功能强大,易学的环境。本文着重介绍该环境核心部分的实现。
• Select
  知识库管理系统ECI—KBMS研究

  吴荣泉,汤慧媛

  . 1990, 16(03): 37-41.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍了基于推理技术和数据库技术相结合的知识库系统的体系结构,阐述了各模块功能,提出了几种改善系统效率的方法。
• Select
  知识工程中各种模糊度量方法及其相互关系

  李凡

  . 1990, 16(03): 42-47.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  在知识工程的研究中,如何表示不确定性是一个非常重要的问题。本文讨论了在知识工程中用来处理不确定性的各种模糊度量方法,并分析了它们之间的关系。这对于理解以及如何选用一个合适的不精确推理模型是十分有益的。
• Select
  顺序推理机中并发进程的同步控制

  黄明

  . 1990, 16(03): 48-51.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文以一种抽象的顺序推理机系统为模型,构造了一种控制进程同步的新方法。在该方法中,我们把共享资源抽象为自动机,通过为每个共享资源分别定义一个谓词来实现进程的同步控制。用Turbo-PROLOG语言对这种新方法进行了软件模拟实验,已在SUPER/XT微型机上实现。
• Select
  人工智能研究在美国兰德公司

  龚英辅,罗德瓦

  . 1990, 16(03): 52-57.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  <正> 前言 美国兰德公司(The Rand corporation)是美国最重要的以军事为主导的综合性战略研究机构。它先以研究军事尖端科学技术和重大军事战略而著称于世,继而又扩展到内外政策方面,逐渐发展成为一个研究政治、军事、经济、科技和社会等各个方面的综合性思想库。其规模宏大,人才济济,是美国最大的软科学研究机构之一。 兰德公司在军事战略和对外政策方面的研究成果为美国军方和历届政府所重视,不少被采纳实行。然而兰德公司在科技方面的研究成果,世人所知则少得多。其实兰德公司在高科技尤其是在人工智能领域的开拓性研究所取得的成果及影响的范围,绝不逊于其它方面。
• Select
  智能辅助软件开发工具AO—MIS—IADS的研制

  诸葛海,胡上序,严隽永,刘孟仁

  . 1990, 16(03): 58-63.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  将AI主技术应用于软件开发是改善软件生产率提高软件质量的一条新途径,本文论述了面向领域的智能辅助软件开发工具系统AO-MIS-IADS的设计与实现。
• Select
  机械设计及加工过程专家系统工具的研制

  白作霖,赵汝嘉,翟永书

  . 1990, 16(03): 64-68.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文在分析机械设计及工艺设计的特点的基础上,提出了相应的知识表示及推理机,并研制了机械设计及加工工艺设计的专家系统工具(MPPEST)。其知识获取工具的内容包括:知识表达、知识库维护(知识库完整性检验)和知识获取的辅助模块,MPPEST的推理是以框架推理为主导,规则推理为核心的复合型推理系统。本工具系统通过建立滚珠丝杠副工艺设计专家系统的使用,确认达到预期的功能。
• Select
  机械设计专家系统中知识的逻辑表示方法

  高远,徐鹏飞

  . 1990, 16(03): 69.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文给出一种表示机械设计专家系统知识的方法。这种方法在维护和修改知识库时使得有效性和完备性的检查易于实现。我们先用框架连接图(FCG)表示知识,进而用有向图(DG)理论解释,最后转换成一阶逻辑。根据一组导出的公理,应用自动推理技术,进行知识库维护与修改的有效性检查。
• Select
  DBMS的交互式数据编辑方法

  陈策

  . 1990, 16(03): 74.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  <正> 在用dBASBⅢ或FOXBASE系统编写应用软件时,总要实现对数据库中的数据进行增添、删除、修改和查询等功能。一般的解决办法是将这几个功能分开实现,直接使用系统命令,用点菜单的方式在各子程序中完成。用户使用时,进出莱单较烦琐,屏幕显示不直观。尤其是交替使用这些功能时,操作不方便,容易出错。另外,程序设计时易出现重复编码,增大了系统开销。 为了解决这些问题,我设计了一种交互式数据编辑程序。它的基本思想是综合以上各功能,通过数据库记录指针控制操作对象,在统一的屏幕显示方式下,键入单—操作字符即实现各功能。下面以一个实