「符合论的真理观肯定是对的，也就是说，机器人所相信的一个信念之所以是真的，是因为其符合外部事实。」- 约翰·麦卡锡经典语录

"

符合论的真理观肯定是对的，也就是说，机器人所相信的一个信念之所以是真的，是因为其符合外部事实。

约翰·麦卡锡 约翰·麦卡锡
🏷️ 标签： 真理 相信 事 事实 所以 肯定 因为
👤 更多 约翰·麦卡锡 经典语录 10句
人工智能将改变我们的生活，就像电改变了我们的生活一样。
约翰·麦卡锡 约翰·麦卡锡
人工智能的目标是制造智能机器，尤其是智能计算机程序。
约翰·麦卡锡 约翰·麦卡锡
必须在对他人的信念进行分析时坚持“第三人称视角”——打个比方，机器人警察在分析一个人类嫌疑犯的心理活动时，必须将这种心理活动本身也视作一个客观事件。
约翰·麦卡锡 约翰·麦卡锡
不但我们人类必须相信客观世界是实在的，机器人也必须如此。这也就是说，人类和真正具有理性的机器人都必须相信世界是独立于其存在的，而不是依赖于其感知世界的主观方式而存在的。
约翰·麦卡锡 约翰·麦卡锡
机器可以做任何可以被清晰地定义为算法的任务。
约翰·麦卡锡 约翰·麦卡锡
科学和常识不是彼此割裂的，前者其实已经被嵌入了常识之中。
约翰·麦卡锡 约翰·麦卡锡
对于常识的逻辑表达并不一定要包含以“P当且仅当P”为模板的精确定义。实际上，在很多场合下，模糊的或者近似的定义就足够了。我们必须假设违背这些粗略定义的反常是罕见的。
约翰·麦卡锡 约翰·麦卡锡
Lisp语言被设计成可扩展的，很容易为其添加新功能。
约翰·麦卡锡 约翰·麦卡锡
决定论和自由意志是可以彼此相容的，也就是说，我们可以在一个其行为完全可以被决定论说明的人工智能系统中，实现那种“我可以进行自由选择”的主观感受。
约翰·麦卡锡 约翰·麦卡锡
The real question is not whether machines think but whether men do.
约翰·麦卡锡 约翰·麦卡锡
🏷️ 相关主题推荐 10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟 李娟
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡 塞涅卡
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰 罗曼·罗兰
时间对我说：你忘了我也没用，因为你想忘了的，与我无关。
王朔 王朔
这么长的离别早已把激情推到遥远而模糊的过去，再要这么激动，该有多荒唐。八年中还有什么不可能发生呢？各种各样的事件、变更、疏远、淡漠——这期间一定包罗了种种变化，还有对过去时光的忘却——这非常自然，而且肯定无疑。
简·奥斯汀 简·奥斯汀
一个人，出生了，这就不再是一个可以辩论的问题，而只是上帝交给他的一个事实；上帝再交给我们这个事实的时候，顺便保证了它的结果。所以死不是一件急于求成的事，死是一个必然会将临的节日。
史铁生 史铁生
有钱人相信：“我创造我的人生。”不管是出于自觉还是不自觉的原因，一个人的人生状态都是自己造成的。
哈维·艾克 哈维·艾克
把时间分配给能够带来价值的事情，复利才会发生作用。
张磊 张磊
政治与犯罪本是一回事情----金融就是枪，政治就是抠动扳机的时候。
马里奥·普佐 马里奥·普佐
做任何事，一旦认真，就不会好玩。
亦舒 亦舒
🔥 热门推荐 10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟 李娟
但愿同入梦。
琼瑶 琼瑶
悲伤就是知识
拜伦 拜伦
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡 塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴 亚历山大·索尔仁尼琴
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯 恩格斯
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩 吴承恩
大家礼义教子弟，小家凶恶训儿郎。
周希陶 周希陶
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰 罗曼·罗兰
人人为我，我为人人。
列宁 列宁
首页 › 作家 › 💬 查看更多 40句相邻名言
必古人之所未及就，后世之所不可无，而后为之。当明末年，奋欲有所自树，而迄不得试，穷约以老。然忧天悯人之志，未尝少衰。事关民生国命者，必穷源溯本，讨论其所以。
顾炎武 顾炎武
明末清初“四大启蒙思想家”
文之不可绝于天地间者，曰明道也，纪政事也，察民隐也，乐道人之善也。若此者有益于天下，有益于将来，多一篇，多一篇之益矣。若夫怪力乱神之事，无稽之言，剿袭之说，谀佞之文，若此者，有损于己，无益于人，多一篇，多一篇之损矣。
顾炎武 顾炎武
明末清初“四大启蒙思想家”
志不立，如无舵之舟，无衔之马，漂荡奔逸，何所底乎？
王阳明 王阳明
明代杰出的思想家
夫学贵得之心，求之于心而非也，虽其言之出于，不敢以为是也，而况其未及孔于者乎？求之于心而是也，虽其言之出于庸常，不敢以为非也，而况其出于孔子者乎？
王阳明 王阳明
明代杰出的思想家
良知即是道。
王阳明 王阳明
明代杰出的思想家
良知在人心，无间于圣愚，天下古今之所同也。
王阳明 王阳明
明代杰出的思想家
良知之在人心，不但圣贤，虽常人亦无不如此。
王阳明 王阳明
明代杰出的思想家
此是无声老扁大底良知，乃所以过于声色货利百千万事之总柄也。
王阳明 王阳明
明代杰出的思想家
立志用功如种树然，方其根芽，犹未有干；及其有干，尚未有枝；枝而后叶，叶而后花。
王阳明 王阳明
明代杰出的思想家
无我自能戒慎恐惧。良知即是道也自戒慎恐惧中得来。戒慎恐惧即是道。良知和合而无间者也。
王阳明 王阳明
明代杰出的思想家
学者须先立志。今日所以悠悠者，只是把学问不曾做一件事看，遇事则且胡乱恁地打过了，此只是志不立。
王阳明 王阳明
明代杰出的思想家
不但我们人类必须相信客观世界是实在的，机器人也必须如此。这也就是说，人类和真正具有理性的机器人都必须相信世界是独立于其存在的，而不是依赖于其感知世界的主观方式而存在的。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
对于常识的逻辑表达并不一定要包含以“P当且仅当P”为模板的精确定义。实际上，在很多场合下，模糊的或者近似的定义就足够了。我们必须假设违背这些粗略定义的反常是罕见的。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
这种表达需要符合系统具有丰富的本体论词汇，以便准确地涵盖如下对象：物质对象、情景、属性、语境、命题、意图等。这些本体论词汇应当是分别具有独立性的，而并非像基础主义者所建议的那样，可以被化约到一类基本的词汇上去。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
这种表达也需要丰富的自然类（natural kind）以便区分诸如“苹果”、“柠檬”之类的自然事物的类。不过，像“意图”或“命题”之类的不可见对象是否可以被算作“自然类”，乃是非常容易招致争议的。为了避免不必要的麻烦，人工智能科学必须对引入这些概念持谨慎态度（尽管完全排斥之亦是不现实的）。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
心智活动实质上是一种物理运作（无论是人脑神经运作还是计算机的硬件运作），因此，人工智能专家大可抛弃关于“如何实现灵魂”之类的玄想。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
身——心之别只能被理解为硬件和软件之别，而不能够被理解为彼此独立的物理实体与灵魂之间的区别。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
对于人工智能来说，对于全局性的心智特性的刻画或实现并非头等要事，因为人工智能逐步地构建一个心智模块，并由此实现相关地局域特性。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
决定论和自由意志是可以彼此相容的，也就是说，我们可以在一个其行为完全可以被决定论说明的人工智能系统中，实现那种“我可以进行自由选择”的主观感受。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
人工智能的事业——即在被恰当编程的人工系统中全面实现人类水平的智能——在理论上是有望成功的。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
符合论的指称观肯定是对的，也就是说，机器人的信念所包含的名词表达式的意义来源于其指涉的对象。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
实在与表象之间存在着区分，也就是说，机器人必须知道其人工感知器所获取的世界信息只反映了实在世界的一个侧面，而非全部。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
必须在对他人的信念进行分析时坚持“第三人称视角”——打个比方，机器人警察在分析一个人类嫌疑犯的心理活动时，必须将这种心理活动本身也视作一个客观事件。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
对于世界的描述来说，科学话语提供了一个最可靠的描述资源。因此，机器人也必须信赖科学。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
科学和常识不是彼此割裂的，前者其实已经被嵌入了常识之中。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
常识在基本上是可靠的。但在常识需要修正的时候，我们只需求助于科学，切不可求助于苏格拉底式的哲学家。具体而言，此类哲学家只会喋喋不休地举出反例以便能让常识见解见拙，殊不知对于常识定义的哲学修正本来就是不可能有终点的——因此，哲学家的这种吹毛求疵只可能使得所有的智能构建工作都陷入困顿。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
常识信念在原则上都可以通过数理逻辑来加以表达，尽管在这种转换工作中，对于传统数理逻辑的某些拓展或许是很必要的。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
专家系统是能够解决特定领域问题的程序，它们使用人类专家的知识和经验。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
我认为人工智能研究的主要目标应该是创建智能实体。这种实体将能够理解世界，做出决策，并执行任务。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
如果我们能够编写出足够的程序，那么机器就会变得聪明。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
人工智能将改变我们的生活，就像电改变了我们的生活一样。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
人工智能的目标是制造智能机器，尤其是智能计算机程序。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
机器可以做任何可以被清晰地定义为算法的任务。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
编程是一种艺术形式，也是一种工程活动。
约翰·麦卡锡 约翰·麦卡锡
人工智能之父与Lisp编程语言发明人
一个人如果仅仅注意到某种习惯的可以看得见的后果，而没有考虑到那些在当时还看不到的后果，他就会耽于一时的享乐。他这样做，不仅仅是天生的嗜好，通常也是他们自以为是经过深思熟虑的。
弗雷德里克·巴斯夏 弗雷德里克·巴斯夏
十九世纪法国的古典自由主义理论家、经济学家
一个好的经济学家和一个坏的经济学家之间的区别就只有一点：坏经济学家仅仅局限于看到可以看得见的后果，好经济学家却能同时看见看得见的后果和那些看不见的后果。
弗雷德里克·巴斯夏 弗雷德里克·巴斯夏
十九世纪法国的古典自由主义理论家、经济学家
咒骂机器（带来了失业），其实就是咒骂人类的智慧。这是来自无知者带着成见的呼声。
弗雷德里克·巴斯夏 弗雷德里克·巴斯夏
十九世纪法国的古典自由主义理论家、经济学家
一旦他们认定世界上没有绝对真理，就会无知到底，冥顽不化。
弗雷德里克·巴斯夏 弗雷德里克·巴斯夏
十九世纪法国的古典自由主义理论家、经济学家
“但是，”有人会不依不饶的继续说，“仅仅揭露谬误是远远不够的，总要提出一些建设性的意见建议啊。”在我看来，揭露了谬误其实同时就指明了真理所在。
弗雷德里克·巴斯夏 弗雷德里克·巴斯夏
十九世纪法国的古典自由主义理论家、经济学家
想靠国家过活的人们，忘了国家是靠人们过活。
弗雷德里克·巴斯夏 弗雷德里克·巴斯夏
十九世纪法国的古典自由主义理论家、经济学家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行