图灵测试——机器是否有智能

<正>图灵测试的提出英国科学家图灵(Alan Turing)曾首先提出现代计算机的数学模型——图灵机。这个模型对后世计算机和计算机科学的发展有深远的影响。图灵因此而获得了极大的荣誉。目前世界上计算机科学的最高奖就是图灵奖。     

关于cyber词根的中译名

<正>cyber不是一个独立的词,而是作为一个词根出现在不同的名词中,其中最常见的是cyberspace、cyber security、cyber-physical system等。这些名词在不同的应用领域中常被理解为不同的含义。以cyberspace为例:从事计算机网络研究的人往往把它直译为网络空间;部队上从事电磁对抗的认为它就是电磁空间;搞虚拟现实的人则认为它就是在虚拟现实     

少儿图灵测试和常识处理

介绍了在少儿图灵测试方面做的一项研究。该测试用一个基于常识知识库的对话系统实现。它能用比较自然的方式和少儿对话。该系统与许多其他对话程序的区别在于它是基于常识的。介绍开展少儿图灵测试研究的动机以及对测试结果的分析。分析少儿图灵测试的成功与缺陷、其主要瓶颈、其变形版本以及它和常识处理的关系。     

面向Agent的常识知识库

常识性知识处理是人工知识研究的核心难题,在分析了对常识的各种研究工作的基础上,论述了一个面向Ａｇｅｎｔ的大规模常识知识库,提出了一种新型的Ａｇｅｎｔ－ＣＢＳＡｇｅｎｔ,描述了面向常识的语义网络描述语言Ｃｓｎｅｔ,对Ｐｒｏｌｏｇ进行了面向常识的扩充,分析了常识知识库的本体论结构,最后给出了常识知识库的运行机制。     

广义L系统

由Lindenmayer创立的L系统既是一个描述生物生长的数学模型, 又是一种并发的形式语言. 它的研究历来为人所重视. 但是, L 系统及其种种变形刻画的都是同步的并发系统. 实际上, 在自然界中存在着许多异步的并发现象. 因此, 对传统的L系统作了推广, 提出了广义L系统的概念, 证明了广义L系统不能被传统的L系统所覆盖. 还划分了广义L系统的子类, 证明了各子类等价的充分必要条件, 并得到一个基本定 理: 两个GPD0L系统(一种确定型广义L系统)L[m₁, m₂,…,m_j]和L[n₁, n₁, ,…, n_k]等价, 当且仅当k = j并且存在诸m_i的公因子g和诸n_i的公因子h, 使得 "_i : m_i/g=n_i/h.     

知识推理的一个模型

引入了能描述操不同语言的多agent系统中知识推理的模态逻辑语言及其Kripke语义与Aumann语义 ,为其建立了完备的形式化演绎系统 ;并构造了多agent系统的逻辑的Institution .     

Herbrand基上的语义映射

Emden和Kowalski(以下简称E、K二氏)以horn集为对象,研究了谓词逻辑的操作语义、模型语义和不动点语义及它们之间的等价性.但他们只考虑不包含负子句的horn集,这种子句集是一定可以满足的,因而结论是局限的.他们也没有给出最小不动点的构造方法.本文在定义新的语义映射的基础上,解决了这些问题.     

少儿图灵测试和常识处理

This talk presents our research work on children Turing test. It is implemented in a conversation system supported by a commonsense knowledge base. This system can talk to school children in a more or less natural way. The main difference between it and many other conversation programs is its knowledgebased character. In this talk, motivation of children Turing test and the analysis of its results will be described. We will analyze the achievements and failures of children Turing test, its main bottlenecks, its modified versions and its relation to commonsense knowledge processing. In addition, we will propose some conjectures on Turing test under certain hypotheses and give some concluding remarks.     

知识推理的一个模

引入了能描述操不同语言的多ａｇｅｎｔ系统中知识推理的模态逻辑语言及其Ｋｒｉｐｋｅ语义与Ａｕｍａｎｎ语义，为其建立了完备的形式化演绎系统；并构造了多ａｇｅｎｔ系统的逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ。