人工智能框架问题的情境表征

经典人工智能中的一个主要难题是"框架问题",即智能体如何在行动中有效和恰当地表征一个变化的、复杂的世界。本研究以科学实践哲学的理论与框架为视角,认为智能体与环境之间的互动表征生成于情境化的实践过程,人工智能应对复杂情境的举一反三、随机应变是情境化选择的结果,是一种动态维度的地方性产物,人工智能框架问题表征的规范性,正是通过实践内化的因果性得以发挥作用。     

塞拉斯与生物表征理论

不同于一般物理事物,心理状态通常被认为表征某物或某事态。对于心理现象的表征特征,塞拉斯认为,我们可以依据言语行为的语义学概念来解释。然而,在解释非语言动物的表征现象时,塞拉斯的观点会遇到难以克服的困难。针对这些困难,我将提出一种行动的表征概念——身体行动是一种基本的表征类型。确切地说,身体行动具有命题式表征内容,并能够与其他类型的表征状态处于推理关联中。基于行动的表征概念,我初步地为一般生物表征现象建构了一个统一的解释框架。     

人工智能的框架问题及其解决策略

框架问题是经典人工智能的主要难题。它旨在寻找出一种表征形式,让行动中的能动者可以有效和恰当地表征一个变化的、复杂的世界。经典人工智能直接可用的显性符号表征由于难以实时、自动地更新,也无法捕捉大量的隐性知识,从而无力表征现实世界,面临框架问题的困扰。寻找一种打破显性/隐性区分的表征形式是解决框架问题的关键。联结主义采取了内在性策略,用内在表征取代外在表征,从而可以对表征自动更新;情境进路采取了交互性策略,让表征与对象之间保持高度的交互,从而可以让表征对语境充分敏感。但两种方案仍然没有完全解决框架问题。强化学习同时满足了内在性和交互性标准,或许将是解决框架问题的最佳路径。     

框架问题的机制化实现与具身化进路——表征主义和反表征主义的困境与出路

心灵表征理论较易机制化,但在处理框架问题方面却遇到了困难。针对心灵表征理论的这个问题,德雷福斯等人提出了反表征主义的海德格尔式的具身理论。具身理论虽然可以解决框架问题,但它还处于隐喻阶段,如何使它实现机制化仍然面临诸多困境。     

现实版变形金刚机器人

美国卡内基-梅隆大学研制了一款堪称现实版变形金刚的新型机器人。这款名为"高智能移动平台"(CHIMP)的机器人根据需要不但可以站立、攀爬梯子、建筑以及操控汽车方向盘。还可像坦克那样利用四肢上的履带在崎岖路面上行进。这种变身赋予它的出色行动能力,能够应对沙石或崎岖不平的路面,此外,CHIMP还可利用两肢上的履带移动。此外,这款机器人还搭载了避免相撞,保持平衡,防止自己遭到伤害等智能装置。     

让老年人拥抱数字生活互联网适老化改造初见成效

为着力解决老年人等特殊群体在使用互联网和智能技术时遇到的困难,工业和信息化部于2020年12月印发《互联网应用适老化及无障碍改造专项行动方案》(以下简称《方案》),决定自2021年1月起在全国范围内组织开展为期一年的互联网应用适老化及无障碍改造专项行动.     

数据偏见是否可以消除?

数据偏见已经成为在大数据和人工智能领域伦理反思的重要难题和关键问题。日常对数据偏见形成一种比较明确的观念:需要控制并消除偏见。这一观念也影响到了数据偏见问题的哲学思考中。从认识论的"偏见—认识"框架看,作为错误的歧视行为,数据偏见是可以消除的;从解释学的"偏见—理解"框架看,作为在先的行动或者理解的前提,数据偏见是无法消除的,甚至是会成为智能体行动和决策的先决条件。嵌入智能系统中的道德观念是一种独特的偏见,无法消除,而且它们构成了智能体伦理行动的前提。     

虚拟现实技术在无框架立体定位脑手术中的应用

本文利用机器人的计算机图像显示、手术径路计划和智能操作平台等功能部件,建立了虚拟现实图像导引方法,并成功地应用于无框架立体定位脑手术中.1997年5月-2002年5月间,完成了无框架脑立体定位手术500例.这些手术靶点定位准确,均为一次操作成功.术后随访6-48月(平均24月),手术有效率达到91%.这些手术证明,应用虚拟现实图像导引方法实现的无框架脑立体定位手术靶点定位准确、安全可靠.     

感觉运动知识与知觉经验

围绕视觉经验之谜,传统知觉观与生成知觉观的争论焦点在于,个体与环境的感觉运动交互作用是对知觉经验的内容起因果作用,还是构成作用。阿瓦·诺伊的感觉运动理论采取生成的知觉观,认为知觉的本质是对"感觉运动知识"的运用,知觉与行动相互依赖,离开行动无法产生正常的知觉经验,并以"经验盲"作为重要经验证据。但是,感觉运动理论对"经验盲"的构成性假设解释(COH)并没有优越于传统知觉观给出的因果性假设(CAH),也没有排除掉感觉损伤的可能性。"经验盲"的案例并不能作为感觉运动理论的充分证据。结合对行动概念的梳理可以进一步发现,感觉运动理论并未对传统的知觉观构成实质挑战。     

德雷福斯的“无表征智能”及其挑战

立足梅洛-庞蒂的现象学思想和神经科学解释,德雷福斯提出了"无表征智能"的设想。基于不同角度对德雷福斯设想的批判性审视,我们看到这一设想面临着诸多挑战:很难确定专家级别的熟练技能行为完全脱离表征;命题式表征的批判并不意味着消除任何形式的表征;发挥现象学在认知科学研究中的积极作用需要阐明一种建设性的纲领。     

试论中国传统农学理论中的“人”

中国古代农学家在探讨农业技术的同时,始终要考虑人的因素。他们认为,天、地、人三才之中,人是农业生产中最重要的因素,而人的因素又是由“人和”及“人力”构成,人和需要靠道德来维系,人力又包括智力和体力两个部分,于是三才中的人又可分解为德、智、体三个方面。传统农学理论中有关“人”的论述方面,虽然认识到了“智力”或“知识”的作用,但尊重知识并没有成为一种社会的共识。重体轻脑、重德轻艺的片面认识,阻碍了科学技术的进步,也影响了生产力的发展,反过来又强化了体力和道德的作用。     

自由的智力和自由的科学

中国当前发展面临创新焦虑,症结在于培养具有创造力的创新人才,但创造力的根本是智慧而不是知识。本文从自由的哲学反思出发,说明创新是自由科学的事业,其基础在于与功利智力迥异的自由智力的养成,进而指出中国教育的误区在于迷失了培养自由智力的宗旨,教育改革的任务是回归教育的本性。     

绿蓝问题与简单性方案

绿蓝问题是假说选择问题的一种范型.科学假说精确的逻辑结构应该包含假说适用的情景和敏感因子.简单性标准是广为接受的一种假说选择标准,在运用到解决绿蓝问题时,提出了简单性的句法理论和语义理论.但这两种理论分别遭遇了对表达系统和概念框架的相对性,不能处理某些绿蓝型问题,甚至会陷入反直观境地的难题.     

图林的智能机器思想

本文讨论了提出著名“理想计算机”理论的英国数学家阿兰.图林半个世纪前在机器智能研究领域的重要贡献,证明他的机器智能思想包含了关于机器智能可能性的论证、机器智能水平的判据(图林测验)、包含学习机器在内的广义计算机分类体系等内容,并探讨了图林智能计算机思想与维纳控制论思想的相互影响。     

人类智慧理性更高层次的复归--聚焦科学与人文

人类智慧理性是人类所特有的理解和思考的智慧和能力.它是复杂多维的,在不同历史时期表现出不同的特征.科学理性与人文思想同出于人类智慧理性.人类智慧理性从科学与人文浑然一体到凸现科学理性,而非科学与人文的分裂,最后必将在更高层次复归,聚焦科学理性和人文思想,指向人类的终极关怀,呼唤新的人类中心主义.     

人类的复杂性及其程序化的限度——兼评“人类终结论”与“竞速统治论”

人工智能的潜在威胁已成为人类的一种公共性焦虑,当前的"人类终结论"与"竞速统治论"是这种焦虑的学术确认。然而,不论是人类终结论还是竞速统治论,它们的吸引力都是建立在对科技发展的过高估计与对人类发展的过低估计所构成的巨大反差之上。这类论断既无助于人们客观地看待科技的发展,也无助于人们客观地看待自身的发展。破除这类论断所编织的扭曲图景,需要我们予以追认人类的复杂性,探析其程序化的限度,以及展示人类能力发展的可能空间。     

变革的生产视角——对人工智能政治批判的批判

人工智能作为热点话题吸引了相关学者对其进行政治哲学维度的批判,但其批判依然停留在政治和观念的上层建筑半径之内,并未深入到政治的前提——生产领域。大数据算法作为强人工智能的重要应用,其所得出的非线性结果重塑了人们对于"价值"的理解,并引导一种对于"使用价值"追求的复归。随着边际成本的不断递减,大规模生产逐渐向大众生产转变,这使生产者与消费者之间的对抗性分配关系重组,社会消费力变革的趋势开始出现。产消一体化,即新型工人——"产消者"的大众化成为这一变革的可能性路径。     

人工智能“合乎伦理设计”的理论探源

人工智能设计是为了满足设计主体的目的而制造人工物的过程,设计是合目的性与合价值性的统一,设计体现设计者的意愿,设计关注设计的目的、行为以及人工物的功能。与其他技术人工物不同,智能机器具有自身推理能力与自动决策功能,为了更好地设计人工智能客体,为了充分发挥人工智能的功能,必须对其理论基础追踪溯源,对其理论来源与理论前提进行充分挖掘,才能保证人工智能设计在设计之初把人类规范与道德嵌入到智能机器中,才能规范智能机器的发展。     

Leibniz’s Theory of Space

In this paper I offer a fresh interpretation of Leibniz’s theory of space, in which I explain the connection of his relational theory to both his mathematical theory of analysis situs and his theory of substance. I argue that the elements of his mature theory are not bare bodies (as on a standard relationalist view) nor bare points (as on an absolutist view), but situations. Regarded as an accident of an individual body, a situation is the complex of its angles and distances to other co-existing bodies, founded in the representation or state of the substance or substances contained in the body. The complex of all such mutually compatible situations of co-existing bodies constitutes an order of situations, or instantaneous space. Because these relations of situation change from one instant to another, space is an accidental whole that is continuously changing and becoming something different, and therefore a phenomenon. As Leibniz explains to Clarke, it can be represented mathematically by supposing some set of existents hypothetically (and counterfactually) to remain in a fixed mutual relation of situation, and gauging all subsequent situations in terms of transformations with respect to this initial set. Space conceived in terms of such allowable transformations is the subject of Analysis Situs. Finally, insofar as space is conceived in abstraction from any bodies that might individuate the situations, it encompasses all possible relations of situation. This abstract space, the order of all possible situations, is an abstract entity, and therefore ideal.