心智与计算杂志 省级期刊

知道一个行动的逻辑(英文)

作者：李小五 刊期：2007年第01期

以活动为认知对象的逻辑还没有系统地建立。本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。根据这些方法,我们分别提出四类刻画知道一个活动的逻辑系统和相应的语义,然后证明这些系统相对各自的语义是可靠和完全的。

论行动者因果性理论的不连贯性

作者：徐向东 刊期：2007年第01期

行动者因果性理论是目前三种占据主导地位的不相容论的自由意志理论之一。TimothyO’Connor等人近来已经论证说,其他两种不相容论的理论(CarlGinet的简单的非决定论)和RobertKane的因果的非决定论)存在着严重的困难,因此试图发展一种行动者因果性理论作为对不相容论的自由意志问题的一个解决。在这篇文章中,我试图表明O’Connor自己提出的理论是...

智能机器研究的早期历史回顾-阿兰·图林的理论贡献

作者：刘二中 刊期：2007年第01期

本文回顾了提出著名"理想计算机"理论的英国数学家阿兰·图林在机器智能研究领域的重要贡献,探索了二战前他对智能计算机研究的开端及一些思想来源,分析了他1947年在会议上发表的关于"智能机器"的报告以及1950年关于"机器智能可能性"的著名论文,并探讨了图林智能计算机思想与维纳等人控制论思想的相互影响。

机器、思维与信息的哲学考察与莱布尼茨的二进制级数和现代计算机科学的关系

作者：刘钢 刊期：2007年第01期

本文的目的在于给出一个简单的论证,机器本身没有智能,但人有智能,所以机器有助于人类的思维,但是我们应该对"什么是信息"这个问题持非常谨慎的态度,因此不仅需要在科学上而且也需要在哲学上需要进一步进行论证,这就是哲学家不可或缺以及国际哲学界何以在新世纪伊始将信息哲学称为第一哲学的理据。与此同时,我们还介绍了莱布尼茨为什么被控制论...

现代世界观中的意识及其哲学难题从《太玄》看量子计算数制问题的两难境遇

作者：周昌乐 刊期：2007年第01期

数制体系是描述计算过程的基础工具,传统的二进制体系在经典计算机发展中起着至关重要的作用,这是毫无疑问的。但面对新型的量子计算,如何建立与之相适应的数制体制,却成为一个疑难问题。本文主要从中国古代以《太玄》为代表的"三性"思想出发,对量子计算建立数制的两难境遇进行了分析,结果指出,量子计算在本质上与经典计算不同的根本差别是量子...

现代世界观中的意识及其哲学难题

作者：李恒威; 唐孝威 刊期：2007年第01期

人是具身心智的存在者,其存在方式独特性在于:他既依赖于物理形态的身体,又有存在论上不可还原性的主观性。因此如何在现代世界观中一致且完备地解释和理解人遂成了心智哲学的大问题。如果坚持现代世界观的基本立场一致性,那么对意识的解释和理解不可避免存在着"难问题"所界定的不完备性。人们大致从三个进路来处理不完备性的局面。然而,原则上...

生物自然主义:塞尔对自由意志的解释

作者：吴彩强 刊期：2007年第01期

在对自由意志问题的解答中,传统的相容论和心理决定论都存在一定的缺陷,未能令人满意地回答这一问题。塞尔试图把自由意志的心理状态说明与神经生物学解释结合起来,认为在自由意志行为中存在间隔。在解释我们的自由意志行为时我们有必要先设一个不可约减的非休谟式的自我。这种阐释虽然符合我们的日常经验和科学说明,但却引发了一个新难题:我们...

Embodiment、认知科学以及传统意义理论的发展

作者：孟伟 刊期：2007年第01期

智能是一个有"意义"的活动;认知科学与意义理论之间存在有效的互动。概念/命题的传统意义理论是传统认知科学研究的重要理论基础。Embodiment支配的涉身认知科学研究是对基于规则演算的传统认知科学的现实修正。涉身认知科学与相应的哲学思想产生了一种更为全面的涉身意义理论。涉身意义理论提供了全面揭示和了解智能的一条可能路径。

智能发育与退化的神经网络基础

作者：秦成德 刊期：2007年第01期

智能是人类最有特色的行为,正是通过智能活动,人类对自然环境进行了杰出的控制。智能与大脑皮层中大量的神经回路有关。本文讨论了智能赖以存在的基础-神经系统的发育,形成构筑和退化的过程,及其与智能的关系。神经生长锥的延长,分支,迁移到射靶运动,导致突触的形成和可塑性到神经联系的建立,关注局部神经回路到功能神经网络的形态构筑和功能特...

基于统计的汉语隐喻生成模型及其系统实现

作者：游维; 周昌乐 刊期：2007年第01期

隐喻是一种在语篇中普遍存在的语言现象.用计算机模拟隐喻这一带有创造性的人类语言,对隐喻计算化乃至自然语言处理的研究都具有十分重要的意义.本文介绍了一个汉语隐喻自动生成系统.在对大规模语料库进行统计研究的基础上,建立基于向量空间的模型,进行了词义相似度和词义相关度的计算,并构建了支持三种输入模式的隐喻句生成系统.实验结果表明,...

面向隐喻计算的语料库研究和建设

作者：李剑锋; 杨芸; 周昌乐 刊期：2007年第01期

汉语隐喻计算化研究是中文自然语言处理领域的一个前沿课题,然而研究所需要的隐喻语料资源却极其有限,对隐喻计算研究的发展形成了一定的对影响。本文主要研究了面向隐喻计算的语料库的设计和构建方法,并设计构建了一个具有一万句规模62万字的汉语隐喻标注句库以及一个面向隐喻识别的汉语常用动词搭配库。这些资源的构建建立在对隐喻现象的深入...

基于P2P网络的自组织个性化推荐系统(英文)

作者：郭锋; 林颖 刊期：2007年第01期

个性化推荐系统可以帮助人们找到感兴趣的内容,这些系统正在全世界内被广泛使用着。混和式的P2P推荐系统通过将共享的项目和计算任务分布到各个用户,从而能够解决基于C/S的推荐系统中存在的一些问题。本文描述了我们最近研究的基于P2P网络的自组织文章推荐系统,它同时也是一个多Agent系统,该系统内将每个Agent作为一个对等点,能够保存文档,并自...

一种改进的分层并行演化算法(英文)

作者：颜颖; 曾文华 刊期：2007年第01期

提出了一种改进的分层并行演化算法。针对传统算法中"同构子种群"和"同步通信"所引发的问题,新算法构建了异构模型,并将各子种群充分连接。子种群一旦满足迁移条件,便可按照预设的迁移模式实施异步迁移。仿真实验结果表明,本文提出的新算法有效地解决了"征服问题"和"无效问题",避免了算法的过早收敛,提高了算法的效率。

发刊词

刊期：2007年第01期