论知识表示方法

知识表示方法是人工智能各个应用领域共同关心的基本问题。本文讨论当前常用的状态空间搜索法、逻辑表示法、过程模式方法、语义网络、框架表示法以及直接法等知识表示方法;并简述了各方法开发的历史和参考文献,指出了各方法有待研究的问题。本文还给出评价各方法常用的特性概念。     

试论第五代计算机的设计思想

一、前言电子计算机日益广泛,深入的应用,促进了电子计算机系统本身的新进展:如处理的高速化,微元件技术以及软件工程学的发展。这些技术反过来又促进了电子计算机系统的设计和利用环境的急速变更。以致于人们对 Von Neumann 式计算机在新的环境中的有效性产生了怀疑。近年来,计算机界对超越 Von Neumann式计算机的研究至为关注。这方面的研究在日本、美国等正在有计划地进行。人们根据电子计算机发展的谱系,称这一种新式的电子计算机为第五代计算机。那么,第五代计算机的涵义,特点和性能是     

程序验证机械化的进一步探讨

本文给出了对框图程序进行形式化的可行算法,并对原有的机械化证明算法作了较大改进,从而提出了三个速证算法。