「常识信念在原则上都可以通过数理逻辑来加以表达，尽管在这种转换工作中，对于传统数理逻辑的某些拓展或许是很必要的。」- 约翰·麦卡锡经典语录

常识信念在原则上都可以通过数理逻辑来加以表达，尽管在这种转换工作中，对于传统数理逻辑的某些拓展或许是很必要的。

约翰·麦卡锡

🏷️ 标签：工作逻辑表达可以尽管或许

👤 更多约翰·麦卡锡经典语录 10句

人工智能将改变我们的生活，就像电改变了我们的生活一样。

约翰·麦卡锡

人工智能的目标是制造智能机器，尤其是智能计算机程序。

约翰·麦卡锡

必须在对他人的信念进行分析时坚持“第三人称视角”——打个比方，机器人警察在分析一个人类嫌疑犯的心理活动时，必须将这种心理活动本身也视作一个客观事件。

约翰·麦卡锡

机器可以做任何可以被清晰地定义为算法的任务。

约翰·麦卡锡

不但我们人类必须相信客观世界是实在的，机器人也必须如此。这也就是说，人类和真正具有理性的机器人都必须相信世界是独立于其存在的，而不是依赖于其感知世界的主观方式而存在的。

约翰·麦卡锡

科学和常识不是彼此割裂的，前者其实已经被嵌入了常识之中。

约翰·麦卡锡

对于常识的逻辑表达并不一定要包含以“P当且仅当P”为模板的精确定义。实际上，在很多场合下，模糊的或者近似的定义就足够了。我们必须假设违背这些粗略定义的反常是罕见的。

约翰·麦卡锡

Lisp语言被设计成可扩展的，很容易为其添加新功能。

约翰·麦卡锡

决定论和自由意志是可以彼此相容的，也就是说，我们可以在一个其行为完全可以被决定论说明的人工智能系统中，实现那种“我可以进行自由选择”的主观感受。

约翰·麦卡锡

The real question is not whether machines think but whether men do.

约翰·麦卡锡

鲁迅

一个人，出生了，这就不再是一个可以辩论的问题，而只是上帝交给他的一个事实；上帝再交给我们这个事实的时候，顺便保证了它的结果。所以死不是一件急于求成的事，死是一个必然会将临的节日。

史铁生

你在电视上看见一个小牛出生，出生了以后它几秒钟之后它就想法站起来，常常站不起来，因为站起来立刻就摔倒，然后它又站起来。怎么一个安排，就使得它知道它要站起来，而且失败了以后还可以再尝试，然后等到最后站起来，它就知道要去吃它妈妈的奶，这个母亲跟这个小牛之间的关系，这是一种非常神秘的事情，所以就是自然界非常稀奇的事情非常之多。就使得我想到，现在不是大家都热衷于人工智能吗，他们研究的东西里头也是很稀奇的东西，可是这些东西离小牛跟它母亲之间的复杂的这个关系那还是差得很远呢。我很难想象说是在以后两百年之间，生物学家会对母子之间的 bonding ，能够有深入的了解。

杨振宁

一个女人在用一生的辛勤、最美好的青春，来维护一个承诺，她的虚荣是可以理解的，任何话，说多了就很廉价。

陈果

信心，既然不需要事先的许诺，自然也就不必有事后的恭维，它的恩惠唯在渡涉苦难的时候可以领受。

史铁生

管理是一种实践，其本质不在于“知”而在于“行”；其验证不在于逻辑，而在于成果；其唯一权威就是成就。

彼得·德鲁克

俯仰天地间，触目俱浩浩。箪瓢有余乐，此意良匪矫。幽哉阳明麓，可以忘吾老。

王阳明

你的自尊心受损，我可以了解，气激难受，是，我明白，但发泄过后，请继续生活，我们哪有浪费时间的奢侈。

亦舒

有了学问，好比站在山上，可以看到很远很多东西；没有学问，如在暗沟里走路，摸索不着，那会苦煞人。

毛泽东

路途或许很辛苦，但请再加把劲，一定会走过去的！早安，新的一周！

莎士比亚

李娟

但愿同入梦。

琼瑶

悲伤就是知识

拜伦

表面看起来糟糕的事，本质上却往往并非如此。

塞涅卡

我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。

亚历山大·索尔仁尼琴

我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。

恩格斯

奇花与丽日争妍，翠竹共青天斗碧。

吴承恩

大家礼义教子弟，小家凶恶训儿郎。

周希陶

真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。

罗曼·罗兰

人人为我，我为人人。

列宁

40句相邻名言

此是无声老扁大底良知，乃所以过于声色货利百千万事之总柄也。

王阳明

明代杰出的思想家

立志用功如种树然，方其根芽，犹未有干；及其有干，尚未有枝；枝而后叶，叶而后花。

王阳明

明代杰出的思想家

无我自能戒慎恐惧。良知即是道也自戒慎恐惧中得来。戒慎恐惧即是道。良知和合而无间者也。

王阳明

明代杰出的思想家

学者须先立志。今日所以悠悠者，只是把学问不曾做一件事看，遇事则且胡乱恁地打过了，此只是志不立。

王阳明

明代杰出的思想家

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

这种表达需要符合系统具有丰富的本体论词汇，以便准确地涵盖如下对象：物质对象、情景、属性、语境、命题、意图等。这些本体论词汇应当是分别具有独立性的，而并非像基础主义者所建议的那样，可以被化约到一类基本的词汇上去。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

这种表达也需要丰富的自然类（natural kind）以便区分诸如“苹果”、“柠檬”之类的自然事物的类。不过，像“意图”或“命题”之类的不可见对象是否可以被算作“自然类”，乃是非常容易招致争议的。为了避免不必要的麻烦，人工智能科学必须对引入这些概念持谨慎态度（尽管完全排斥之亦是不现实的）。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

心智活动实质上是一种物理运作（无论是人脑神经运作还是计算机的硬件运作），因此，人工智能专家大可抛弃关于“如何实现灵魂”之类的玄想。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

身——心之别只能被理解为硬件和软件之别，而不能够被理解为彼此独立的物理实体与灵魂之间的区别。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

对于人工智能来说，对于全局性的心智特性的刻画或实现并非头等要事，因为人工智能逐步地构建一个心智模块，并由此实现相关地局域特性。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

人工智能的事业——即在被恰当编程的人工系统中全面实现人类水平的智能——在理论上是有望成功的。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

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

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

符合论的指称观肯定是对的，也就是说，机器人的信念所包含的名词表达式的意义来源于其指涉的对象。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

实在与表象之间存在着区分，也就是说，机器人必须知道其人工感知器所获取的世界信息只反映了实在世界的一个侧面，而非全部。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

对于世界的描述来说，科学话语提供了一个最可靠的描述资源。因此，机器人也必须信赖科学。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

科学和常识不是彼此割裂的，前者其实已经被嵌入了常识之中。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

常识在基本上是可靠的。但在常识需要修正的时候，我们只需求助于科学，切不可求助于苏格拉底式的哲学家。具体而言，此类哲学家只会喋喋不休地举出反例以便能让常识见解见拙，殊不知对于常识定义的哲学修正本来就是不可能有终点的——因此，哲学家的这种吹毛求疵只可能使得所有的智能构建工作都陷入困顿。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

专家系统是能够解决特定领域问题的程序，它们使用人类专家的知识和经验。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

我认为人工智能研究的主要目标应该是创建智能实体。这种实体将能够理解世界，做出决策，并执行任务。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

如果我们能够编写出足够的程序，那么机器就会变得聪明。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

人工智能将改变我们的生活，就像电改变了我们的生活一样。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

人工智能的目标是制造智能机器，尤其是智能计算机程序。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

机器可以做任何可以被清晰地定义为算法的任务。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

编程是一种艺术形式，也是一种工程活动。

约翰·麦卡锡

人工智能之父与Lisp编程语言发明人

一个人如果仅仅注意到某种习惯的可以看得见的后果，而没有考虑到那些在当时还看不到的后果，他就会耽于一时的享乐。他这样做，不仅仅是天生的嗜好，通常也是他们自以为是经过深思熟虑的。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

一个好的经济学家和一个坏的经济学家之间的区别就只有一点：坏经济学家仅仅局限于看到可以看得见的后果，好经济学家却能同时看见看得见的后果和那些看不见的后果。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

咒骂机器（带来了失业），其实就是咒骂人类的智慧。这是来自无知者带着成见的呼声。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

一旦他们认定世界上没有绝对真理，就会无知到底，冥顽不化。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

“但是，”有人会不依不饶的继续说，“仅仅揭露谬误是远远不够的，总要提出一些建设性的意见建议啊。”在我看来，揭露了谬误其实同时就指明了真理所在。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

想靠国家过活的人们，忘了国家是靠人们过活。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

我们的论敌认为，对于一项活动，国家如果既不给予补贴也不加以节制，就等于取缔该活动。我们的观点正好与之相反。他们所信任的是立法者而不是普通人，而我们信任的则是普通人而不是立法者。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

在世界上发生的种种事件中，掠夺扮演了重要的角色，其手段不过是武力与欺骗，而对策也只有两个：勇气和知识。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

由于对经济学智慧的无视，人们往往把道德利益和物质利益看成是对立的。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

最纯洁的意图往往被误读。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

无论我们在讨论什么议题——无论是宗教、哲学、政治、经济，无论它有关繁荣、道德、平等、正义、进步、责任、合作、财产、劳动、贸易、工资、赋税、人口、金融——无论我是从哪个科学方法加以研究，我最后都会达成以下结论：解决所有人类互动问题的答案，便是自由。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

商品无法跨越国境，军队就会跨越国境。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

自由贸易从来就不是进口税的问题，而是权利的问题，正义的问题，公共秩序的问题，财产权的问题。

弗雷德里克·巴斯夏

十九世纪法国的古典自由主义理论家、经济学家

🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行