排序方式: 共有10条查询结果,搜索用时 0 毫秒
1
1.
2.
3.
4.
马希文 《计算机研究与发展》1988,(11)
可计算性的概念是关系到计算机和人工智能发展的重大理论问题,而且很可能在技术上诱发突破性的进展,出现一种不能用现有计算机模拟的新型智能机器。然而,可计算理论是经过认真钻研、反复推敲过的理论体系。只有更加周密地考查前人的工作,找出其不足之处或者失足之处,才可能找出新路。本文就打算把这种理论的来龙去脉做一个概要的分析,谈谈对这个问题的看法。 相似文献
5.
基于互动计算的汉字楷书识别 总被引:3,自引:0,他引:3
本文从互动计算的角度出发,对汉字楷书识别问题作了专门的研究,给出了一个具体算法及其实现.由于强调了识别的整体性、关联性、相对性和同时性,有效地解决了汉字形似字的识别问题,识别率达80%以上. 相似文献
6.
“知道”逻辑是诸多学科领域共同关心的课题。近年来,从数理逻辑角度对此进行研究所得的一些成果,在计算机人工智能中有着重要的应用。本文介绍了这方面的有关问题及进展,构造了“知道”的模态逻辑的谓词演算,包括建立其形式系统(命名为W),给出它的语义解释(命名为JS),讨论W-JS的某些重要的系统特征,并通过著名的“S先生和P先生”谜题,阐述了有关“知道”的模态逻辑问题在W-JS下的形式化。 相似文献
7.
8.
马希文 《计算机研究与发展》1988,(2)
本文介绍可计算理论和计算理论的基本内容,包括抽象可计算理论、递归计算、顺序计算、逻辑计算等内容。与以前的作法的主要不同是:用S表达式而不是自然数做为基本论域,用一般递归函数而不是图灵机做为基础模型。这样做可以使理论与实践更加接近。以本文的内容为骨干,充实以必要的讲解,配上适当的习题,可以做为研究生一学期的教材。 相似文献
9.
10.
程序正确性的验证是计算机科学的核心问题之一,也是当前软件工程最关心的问题。这个问题至今未有满意的解决办法。 斯坦福大学计算机科学系的验证系统小组经过数年的研究,于1979年3月把他们研制的STANFORD PASCAL VERIFIER(以下简为SPV)公布于世,虽然他们自己说只是一种原型,但是却已能够进行一些并非不足道的工作,可说是迈了很成功的一步。 相似文献
1