心身问题解决的新尝试:机器功能主义

机器功能主义是功能主义的较早形式，它为心身问题的解决提供了一种有意义的尝试。本文对机器功能主义的产生、图灵机和机器表概念做了一个简要说明，同时把机器功能主义与行为主义、同一论相比较，论述了机器功能主义对心身问题的理解及其积极意义。但是机器功能主义仅把心理状态理解成一种功能状态，因而面临着许多方面的困境，并不能令人满意地解决心身问题。     

计算的极限

计算深刻地影响着人们的日常生活和生产活动,也推动了诸多其他科学领域的发展和变革.本文从几个不同的方面探讨计算的能力和极限.从计算的模型和丘奇图灵论题,到P和NP问题的深远影响及量子计算对传统计算的冲击,我们深入讨论了对计算极限的理解.     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

UP,βn和Fewp的相对可分离性

本文给出ＵＰ、βｎ和ＦｅｗＰ与ＮＰ和ＰＳＰＡＣＥ相对于Ｔａｌｌｙ集的分离结果。同时还引入强ｎ－范畴机和强ｐ－范畴机等概念，并比较它们所接受的语言类在Ｐ－ＮＰ情况下的性质，得到如下结果；存在递归ｏｒａｃｌｅＡ和Ｂ，以及递归Ｔａｌｌｙ集Ｔ和Ｔ＾１，使得：（１）Ｐ＾Ａ－β＾Ａｎ且Ｐ＾ＡＲ≠β＾ＡＮ，（２）Ｐ＾Ｂ＝ＦｅｗＰ＾Ｂ     

模糊图灵机的逼近性与通用性

模糊图灵机是模糊算法或模糊计算的形式模型．文中研究了模糊图灵机的几种变形，这包括基于max-★复合运算的非确定型模糊图灵机（简写为NFTM★，其中★为t-模），非确定型模糊图灵机（简写为NFTM），确定型模糊图灵机（简写为DFTM），以及这些变形的多带版本．得到了以下一些结论：第1，若t-模★不满足有限生成条件，则NFTM★，NFTM和DFTM一般不等价，这里等价指的是识别相同的模糊语言．但在逼近意义下等价，也即，NFTM★可以被NFTM以任意精度逼近，并给出了相关的构造．引入了模糊递归可枚举语言与模糊递归语言的概念，并利用递归可枚举语言与递归语言对其进行层次刻画．第2，如果限制NFTM★的模糊隶属函数的取值域为单位区间[0，1]的一个固定的有限子集D3则存在通用模糊图灵机，用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机．一般地，通用模糊图灵机在逼近意义下存在，该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机．     

关于交互和图灵可计算性的一些注记

图灵机作为通用的算法模型在计算机科学中占据统治地位长达半个世纪，它反映的是“封闭世界”假设，认为计算实体的行为完全由自身的因素决定，和所处的环境、外部时间没有关系，随着基于网络的计算技术的兴起，计算实体之间通过网络互联并且互相影响，它们的行为既相对独立，又彼此依赖，     

四则运算图灵机的构造

著名的丘奇(A．Church)命题指出，任何算法都可以用一个图灵机来描述．对自然数的四则运算给出了相应的图灵机．     

Petri网在复杂系统建模中的意义

图灵机模型是计算机的理论模型,它能实现模型相互之间的模拟,但应用于通信系统等异步、并行的复杂系统却很难模拟,从而引入了一种建模工具--Petri网.通过介绍自动机和图灵机的原理.分析Petri网.给出一个具体的基于Petri网建模方式的实例,并对实例模型和现有的建模工具进行比较,从而证明Petri网在复杂系统建模中是处于优势的.     

什么是人工智能?

<正>人工智能研究的终极目标是设计一个真正能在人类所处环境中表现出像人类一样智能行为的计算机。让我们通过探讨计算机硬件和软件的本质,以及计算机与人脑的差别,来思考一下到底什么是人工智能吧。说到人工智能(AI),我们并不陌生。从智能手机到智能家电,越来越多的商品被贴上了"智能"的标签;电脑游戏产业中,编写游戏角色行为的工作被称为AI设计;近些年,机器人不但走路走得有模有样,连汽车驾照都快考下来了,听说过一阵还要飞着给大伙儿送快递;从下象棋的"深蓝"到会智力抢答的"沃森",高性能计算机在一些传统智力竞赛中连人类冠军都不放在眼里;更夸张的是好莱坞电影,《终结者》、《黑客帝国》、《Wall-E》里面具有高度智能的机器人简直上天入地无所不能,大导演斯皮尔伯格拍了部电影干脆就叫《人工智能》,里面的机器人,亲情爱情一样不少。