科学网 › 标签 › 双重形式化

标签: 双重形式化

相关帖子	版块	作者	回复/查看	最后发表

没有相关内容

相关日志

中美塞尔研究中心关注Mind和强弱AI的认知问题: geneculture 2020-4-28 09:49; 心灵或心智成为最重要的关注焦点，说明思想家们越来越关注它及其可左右一切的超级作用。正如塞尔所说：我们对各个问题（比如意义的本质、理性与一般语言等）的理解是以理解最为基本的心智过程为前提的。认知科学这一新学科的产生，为哲学打开了研究所有形式的人类认知的整个研究领域。发明认知科学的乃是跨学科团队，包括反对哲学中的行为主义的哲学家、专注于哲学的心理学家、语言学家、人类学家和计算机科学家。我相信今天在哲学中最为活跃的、最富有成果的一般性研究领域乃是一般性认知科学领域。　　认知科学的基础主题是各种形式的意向性。“意向性”是哲学家所使用的一个专门术语，指称所有那些指称或关涉世界中的物体和事态的心智现象。被如此定义的“意向性”与日常意义上的“意欲”（比如我今晚打算去看电影）并没有特殊联系。意欲只是各种意向性中的一种。被如此定义的意向性至少包括信念、欲望、记忆、知觉、（日常意义上的）意向、意向行为和情感。由此可见塞尔老师的重要贡献，这就是他为什么会有如此重要的影响力。号称国际十大悖论之一的中文屋论题，从图灵测试的角度开启了人工智能的强弱之分及其带来的人们的一系列后续的选择。其重要性再次被证明。中美塞尔研究中心关注的焦点首先就从它（mind）和强弱AI作为突破口。具体做法就是由虚到实地贯通了古希腊哲学与近现代科学的第一次人类认知飞跃，进而迈入了第二次人类认知大飞跃，从而，明确地开启了三智双融的融智学系列课程（见：清华大学雨课堂）。附录：塞尔谈心灵哲学与认知科学　　心—身问题是一系列更为广泛的问题，即心灵哲学的一部分。心灵哲学不仅包括传统的心—身问题，还包括了大量其他问题，分别涉及心灵和意识的本质、知觉、意向行为和思维的意向性等。过去二、三十年中发生了一件十分奇怪的事情——心灵哲学成为了哲学的核心所在。哲学的许多其他分支，比如认识论、形而上学、行为哲学甚至是语言哲学，现在都被看作是依赖于心灵哲学的，有时它们甚至被当做是心灵哲学的分支。五十年前语言哲学还被视为是“第一哲学”，而今心灵哲学取代了这一位置。这一转变有着许多原因，但其中的两个最为重要。　　首先，对于许多哲学家来说，越来越很明显的是，在许多主题中，我们对各个问题（比如意义的本质、理性与一般语言等）的理解是以理解最为基本的心智过程为前提的。举个例子，语言表征实在的方法是依赖于心灵表征实在的方法的，后者在生物学上更为基本，并且实际上语言表征乃是更为基础的心智表征（比如信念、欲望和意向等）的有力拓展。　　第二，认知科学这一新学科的产生，为哲学打开了研究所有形式的人类认知的整个研究领域。发明认知科学的乃是跨学科团队，包括反对哲学中的行为主义的哲学家、专注于哲学的心理学家、语言学家、人类学家和计算机科学家。我相信今天在哲学中最为活跃的、最富有成果的一般性研究领域乃是一般性认知科学领域。　　认知科学的基础主题是各种形式的意向性。“意向性”是哲学家所使用的一个专门术语，指称所有那些指称或关涉世界中的物体和事态的心智现象。被如此定义的“意向性”与日常意义上的“意欲”（比如我今晚打算去看电影）并没有特殊联系。意欲只是各种意向性中的一种。被如此定义的意向性至少包括信念、欲望、记忆、知觉、（日常意义上的）意向、意向行为和情感。　　悖谬的是，认知科学乃是以一个错误为基础的。一个学术科目以一个错误为基础，这并不必然是致命的，事实上许多科目都是以错误为基础的。比如化学就是以炼金术为基础的。但是与错误紧密相连总会导致低效率，并且对进步来说也是一个阻碍。就认知科学而言，其错误乃是假设脑是一个数字化的计算机，而心灵则是一个计算机程序。　　要证明这是一个错误，其实有很多办法，但最简单的一个就是指出应用性计算机程序完全是根据符号或句法程序来定义的，因而是独立于硬件的物理学的。但另一方面，心灵所包含的东西要比符号或句法要素要多得多，心灵包含着伴随有思维、感觉等形式的语义内容的真实心智状态，这些都是由脑中的十分特殊的神经生物学过程所引起的。心灵不可能存在于程序当中，因为对于保证真实心智过程的语义内容来说，程序的句法操作其自身并不是充足的。这一点已经在多年前被我用中文屋论证加以证明了。　　关于各种版本的心灵的计算理论的争论还在继续。一些人认为引入使用平行分布式处理（PDP）的计算机，就能够回答我刚刚所提出的异议，这种观点有时也被称为联结主义。但我并没有看到引入联结论证产生了什么不同。问题在于，任何可以在连结程序中执行的计算，同样可以在传统的冯·诺依曼系统中执行。从数学结果我们可以得知，任何可计算的函数都可以用通用图灵机来计算。在此意义上，依靠连结架构并没有增加什么新的计算能力，尽管连结系统可以工作得更快，因为它们可以有数个不同的平行运行且相互作用的计算程序。因为连结系统的计算力量并不比传统的冯·诺依曼系统更为强大，所以如果我们声称连结系统更具优越性，那么我们就必须诉诸于此系统的某些其他特征。但连结系统唯一拥有的其他特征必须落实于并联式运作（非串联式运作）的硬件之中。然而如果我们声称是连结架构而非连结计算该对心智过程负有责任，那么我们就不是在发展心灵的计算理论，而是在做神经生物学思索了。伴随着这一假设，我们放弃了心灵的计算理论，而赞成尚不确定的神经生物学。　　在认知科学中实际发生的乃是范式转换，也就是从心灵的计算模型转变为更多地以神经生物学为基础的心灵概念。我很欢迎这一发展，其原因到现在应该已经是很清楚了。随着我们更加了解脑的运作，在我看来我们将成功做到逐步用认知神经科学来替代计算认知科学。实际上我相信这一转变已经在发生了。　　认知神经科学中的进步似乎创造了更多的哲学问题，远比它所解决的要多得多。举个例子，提高对脑之运作的认识在何种程度上将迫使我们对用来描绘出现于思维和行为中的心智过程的常识词汇表做出概念修正？就最简单的情况而言，我们可以在现存的概念机制中对认知神经科学的发现加以消化吸收。因而当我们引入神经生物学研究向我们展示的那类区分时，我们并不需要对记忆这一概念作出太大的修正。现在在大众语言中，我们会区分短期记忆和长期记忆，并且毫无疑问随着研究的继续，我们还会作出进一步的区分。或许图像记忆这一概念已然成为了受过教育的人们的一般语言。然而就某些情况而言，看起来我们被迫要作出概念修正。很长时间以来我都认为，把记忆看作是储存体验和知识的仓库这一常识概念，无论是在心理学上还是在生物学上都是不恰当的。我认为在这一点上，当代研究会为我作证。我们必须把记忆看作是一个创造性过程，而不是一个恢复性过程。一些哲学家认为，未来神经生物学的发现将把比这更激进的概念修正强加于我们。　　当我们开始调查出现于成年人中的心智现象和关于心智现象的发展证据之间的关系时，另一系列的哲学问题出现了。对于信念和真的关系，幼儿很明显和成年人有着不同的概念。我们应当多认真地来看待这些区别？我们是否应当通过对发展资料加以合并来丰富我们的意向性理论？我们还不知道这些问题的答案，我之所以提到它们，是想引起对下述事实的关注：即使我们消除了假设脑是一个数字化计算机这一哲学错误，并且有了更为成熟的、更为精致的认知神经科学，我们依旧还要处理大量哲学问题。　　; 个人分类: 融智学前期探索|2068 次阅读|0 个评论

软件工程学科何以独特——形式化方法的双重路径: geneculture 2019-7-2 12:20; 软件工程学科何以独特——形式化方法的双重路径【摘要】：本文旨在以数字和文字双语信息处理为例论述软件工程的第二路径及其重要意义。具体涉及如下两个问题及其解答:第一,软件工程学科何以独特?在其解答过程中进一步提出了软件工程的双重路径问题;第二,软件工程的第二路径为什么显著优于第一路径?其中预示软件产业将由此重组。从方法论的角度来看,前者涉及协同智能观 ;后者涉及第二路径的论证。从学科体系的角度来看,涉及软件的两次定位。其中,如果说第一次是计算机软件产品脱胎于数学和语言学,那么,第二次就是软件工程服务脱胎于计算机学科和信息学及其相关的工程技术学科和管理学以及教育学的相关部分。前一轮形成了软件产品概念,后一轮形成了软件服务概念。这是一个系统工程 ,其特点是整体大于局部之合。在此,就是虚拟的自然人(设计者和用户)与虚拟的计算机(操作系统和应用系统以及其它各式各样的软件)各自的功能,均不及两者结合而成的协同智能计算系统的整合功能。软件工程学科何以独特_形式化方法的双重路径_邹晓辉.pdf; 个人分类: 双语信息处理|1193 次阅读|0 个评论

起承转合：几幅图胜过千言万语: geneculture 2018-4-13 06:29; 报告题目：孪生图灵机及其蕴含的科学原理（举例说明其作用、价值和意义）报告嘉宾：邹晓辉报告时间：2018-4-13上午10点30分至11点30分报告地点：成都理工大学 …… 智能科学实验室内容提要： 1.引言背景：图灵机、密码学和图灵测试。由中文房间论题引出的强与弱的AI两极对立的理论观点而进一步再上一个台阶导出形式化理论的两大类方略。目的：针对信息、智能和数据等方面由技术向科学的跃迁过程遭遇两大类形式化方略的挑战，提出双重形式化方略进而展示其坚实的科学基础理论和可检验的实际场景，即：人机双脑结合的综合实践场景。 2.正文直接形式化方略的内部歧义（逻辑、数学、编程）间接形式化方略的外部歧义（算术、语文、双语） 3.结语双重形式化方略的独特优势（序位、联动、转换）孪生图灵机的理论和实际以及实践意义 4.附录一典型用例新一轮人机大赛新一代精品课程知识大生产方式 5.附录二信息安全公法的信息安全（主权和人权里的隐私权的保护）私法的信息安全（知识产权和各类组织的自主权）; 个人分类: 学术研究|2029 次阅读|0 个评论

如何排除同名歧义做到精准搜索的一个简易方法及示例: geneculture 2016-1-28 08:53; 1. 全文双字棋盘 CN201410157262.9_ 邹晓辉、邹顺鹏 2014年4月21日本发明是双字棋盘，即一种基于算术和语文这对广义双语信息处理的对称矩阵。其目的是提供一种可通过进一步开展语言游戏以虚拟未来智慧城乡的专用人机对话平台，涉及优化的广义翻译。其特征在于：它把算术和语文视为广义双语... 2. 全文一种基于双语自动转换的间接形式化方法 CN201010175296.2_ 邹顺鹏、邹晓辉 2010年5月18日一种基于双语自动转换的间接形式化方法，包括：步骤1、采用孪生图灵机建立双语并行计算模型；步骤2、选取中文和英文以及十进制数与二进制数共四种类型的基因文本字母表的序位作为各种组合变换的计算和推理的基准参照系；步骤... 3. 全文制作个性化电子地图及其友好界面的方法 CN201010175303.9_ 邹顺鹏、邹晓辉 2010年5月18日一种制作个性化电子地图及其友好界面的方法，包括：区分标准化与个性化的电子地图及其友好界面，区分单一与杂多的实物化对象，区分抽象与具体的概念化实体，区分虚拟与现实的符号化外观，其特征在于：个性化是基于用户偏好设... ? ? ? 4. 全文一种轻型示警分类书包 CN96214665.X_ 邹晓辉、邹顺鹏 1996年6月28日一种轻型示警分类书包，由外包（１）、活动带（２）和内包（３）构成，外包可连接示警卡，内包夹层可装信息卡，边沿有备用背提带挂扣，每个内包以色彩和立体标识符进行区分。本实用新型既可内外包合用，也可内包单用，具有以下使用特点：... ? ? ?; 个人分类: 双语信息处理|692 次阅读|0 个评论

更多...

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

标签: 双重形式化

相关帖子

相关日志

关闭安全验证