快捷搜索:

逻辑是这一切的重要基础,拆开手机

日期:2019-06-23编辑作者:澳门新葡8455手机版

原标题:从三段论到人工智能:拆开手机,只见里面写着两个大字——逻辑

姓名:吴庆恺  学号:16020610024

本文来自微信公众号:我是科学家iScientist(ID:IamaScientist),作者:田达玮(中国科学院海洋研究所硕士,未来实验室科普策划)、秦曾昌 (北京航天航空大学副教授,果壳网科学顾问,未来实验室创始人),编辑:婉珺。

转载自:  有删节

人工智能技术的发展正逐渐改变我们的生活方式。

【嵌牛导读】:人工智能技术的发展正逐渐改变我们的生活方式。我们几乎每个人手中都有一部智能手机,只需动一动手指就能够对家里的电器下达指令;在医院里,手术机器人已经开始被投入使用,代替医生做一些极其精巧的手术,具有图片识别功能的人工智能软件也开始帮助医生分析病理图片,从而更好地诊断病情,给病人带来福音;机器人生产线极大地提高了生产力,一台机器人能够顶十几个熟练工人的工作量;自动驾驶汽车也可能很快会来到我们的生活中,我们可以在开车时拥有自己的时间,甚至在开车时还可以参加远方的视频会议。

我们几乎每个人手中都有一部智能手机,只需动一动手指就能够对家里的电器下达指令;在医院里,手术机器人已经开始被投入使用,代替医生做一些极其精巧的手术,具有图片识别功能的人工智能软件也开始帮助医生分析病理图片,从而更好地诊断病情,给病人带来福音;机器人生产线极大地提高了生产力,一台机器人能够顶十几个熟练工人的工作量;自动驾驶汽车也可能很快会来到我们的生活中,我们可以在开车时拥有自己的时间,甚至在开车时还可以参加远方的视频会议。

【嵌牛鼻子】:逻辑学,辩论,划分法,“全称命题”,“数目相同”,和“三个词项”,坚实的基础

在这些高科技成果的背后,有着十分漫长的发展历程。

【嵌牛提问】:人们很难将亚里士多德的三段论与人工智能联系起来,但正是他所提出的这套推理系统,真的能指导ai的发展吗?

无论未来人工智能技术达到多么发达的水平,逻辑学这门基础科学在其中所起的重要作用无法被忽视。而这门重要的科学,早在2000多年前,就已形成了雏形。

【嵌牛正文】:从“if…then…”到“弱三段论”

澳门新葡8455手机版 ,从“if…then…”到“弱三段论”

生活中我们经常会用到“如果…那么…”的句式。“如果你考试考了一百分,那么爸爸妈妈就带你出去旅游”;“如果你多看书,那么你就能够有更多的知识储备”。这种在生活中非常普遍的句式其实蕴含着一种最常见的逻辑关系。

在公元前5世纪的古希腊,便已经出现了“如果…那么…”的推理辩论方法。如果你学过编程,可能会说,这不就是计算机语言中的“if…then…”吗?是的,只不过当时,这种语法不是用来编程的,而往往被用来做否定的推理。

在公元前5世纪的古希腊,便已经出现了“如果…那么…”的推理辩论方法。如果你学过编程,可能会说,这不就是计算机语言中的“if…then…”吗?是的,只不过当时,这种语法不是用来编程的,而往往被用来做否定的推理。

举个例子:

举个例子,两个古希腊人相遇了,A为了显示自己的博学,用充满自信的口气向B说到:

两个古希腊人相遇了,A为了显示自己的博学,用充满自信的口气向B说道:

“所有动物都会奔跑。”

这时,B就会拿出这个看起来像编程语句的话来反驳:

“所有动物都会奔跑。”

根据常识,大家就知道A说的话是错的了,这便是最简单的逻辑推理(但是这种推理还是需要一定的经验常识来辅助,如果有人不知道鲨鱼是什么,那么B可能就不能说服这个人)。

这时,B就会拿出这个看起来像编程语句的话来反驳:

不要觉得这样的对话很奇怪,古希腊社会非常崇尚演讲和辩论,这样的交谈方式并不少见。在这些辩论的过程中,人们也在不断思考如何进行辩论,这就促进了逻辑学的发展。

“如果所有动物都会奔跑,那么鲨鱼也会奔跑。”

举个例子,柏拉图曾经说过:

根据常识,大家就知道A说的话是错的了,这便是最简单的逻辑推理(但是这种推理还是需要一定的经验常识来辅助,如果有人不知道鲨鱼是什么,那么B可能就不能说服这个人)。

“所有动物要么是会死的,要么是不朽的,

“人是动物,

不要觉得这样的对话很奇怪,古希腊社会非常崇尚演讲和辩论,这样的交谈方式并不少见。在这些辩论的过程中,人们也在不断思考如何进行辩论,这就促进了逻辑学的发展。

在这段话中,第一行似乎是一个大前提,第二行成为一个小前提,第三行得出了结论。看上去,划分法已经具有了三段论的雏形,亚里士多德的《前分析篇》中认为,“划分法”是一种“弱三段论”。但划分法与真正的三段论还是有些区别的(而是两种可能性)。

比如柏拉图曾提出过一种名为“划分法”的辩论方法。

亚里士多德和他的三段论

举个例子,柏拉图曾经说过:

澳门新葡8455手机版 1

“所有动物要么是会死的,要么是不朽的,

三段论的提出者——亚里士多德。图片来源:Aristotle|Wikipedia

“人是动物,

Tips:

亚里士多德(公元前384-322)

提到亚里士多德,我们可能会联想到教科书中那个常被当作“反面教材”的形象(例如他认为地球上的物质由水火土气四种元素组成被作为朴素唯物主义的代表、他认为力是维持物体运动的原因等),但实际上亚里士多德在逻辑学、数学、哲学、美学、生物学等方面的贡献对后世影响深远。他开创了形式逻辑的先河,被誉为逻辑学之父;在哲学方面,亚里士多德虽然没有提出复杂的辩证唯物主义,但其思想中包含着辩证法的思维方式。可以说,亚里士多德在科学以及人类发展史中是功不可没的。

“所以人要么是会死的,要么是不朽的。”

“只要确定某些论断,某些异于它们的事物便可以必然地从如此确定的论断中推出。”

在这段话中,第一行似乎是一个大前提,第二行成为一个小前提,第三行得出了结论。看上去,划分法已经具有了三段论的雏形,亚里士多德的《前分析篇》中认为,“划分法”是一种“弱三段论”。但划分法与真正的三段论还是有些区别的——这种“弱三段论”的结论并不是一个确定的推论(而是两种可能性)。

通俗地说就是只要给定了确定的大前提和小前提,就能推出确切的结论。例如,亚里士多德曾就苏格拉底之死说过一段著名的三段论:

亚里士多德和他的三段论

“人都会死。(All men are mortal.)

……大前提

“苏格拉底是人。(Socrates is a man.)

……小前提

“所以苏格拉底会死。”(Therefore, Socrates is mortal.)

……结论

三段论的提出者——亚里士多德。图片来源:Aristotle|Wikipedia

澳门新葡8455手机版 2

澳门新葡8455手机版 3

分享一个伍迪·艾伦式的三段论:“所有人都会死,苏格拉底会死,所以,所有人都是苏格拉底。”是不是觉得哪里不对劲?图片来源:AZQuotes

亚里士多德(公元前384-322),古希腊人,在逻辑学、心理学、政治学、哲学等领域均做出了卓越的贡献,因此被称为百科全书式的科学家。

1、每个三段论中,必须有一个前提是肯定的并且必须有一个前提是全称命题。

2、在每个三段论中,两个前提中否命题的数目必须与结论中否命题的数目相同。

3、每个证明都是且只能是通过三个词项得到的。

提到亚里士多德,我们可能会联想到教科书中那个常被当作“反面教材”的形象(例如他认为地球上的物质由水火土气四种元素组成被作为朴素唯物主义的代表、他认为力是维持物体运动的原因等),但实际上亚里士多德在逻辑学、数学、哲学、美学、生物学等方面的贡献对后世影响深远。他开创了形式逻辑的先河,被誉为逻辑学之父;在哲学方面,亚里士多德虽然没有提出复杂的辩证唯物主义,但其思想中包含着辩证法的思维方式。可以说,亚里士多德在科学以及人类发展史中是功不可没的。

全称命题。全称命题是指某一类事物的全部成分(个体)都具有或不具有某种性质。例如“人都会犯错”、“鸟都会飞”等包括了泛指某一类事物的词,这些前提都是全称命题。全称命题概念的出现也为后来数学中集合概念的提出奠定了基础。

亚里士多德在他的著作《前分析篇》中提出了三段论的逻辑分析方法,他给出了三段论的定义:“只要确定某些论断,某些异于它们的事物便可以必然地从如此确定的论断中推出。”

仅看规则不免有些晦涩,不妨通过“苏格拉底之死”的例子来理解三段论的规则:

通俗地说就是只要给定了确定的大前提和小前提,就能推出确切的结论。例如,亚里士多德曾就苏格拉底之死说过一段著名的三段论:

在这个三段论中,两个前提分别是“人都会死”和“苏格拉底是人”,都是肯定的,且“人都会死”是一个全称命题,符合了“全称命题”。

“人都会死。(All men are mortal.)………………………………大前提

在这个证明中,是通过人、苏格拉底、死这三个词来证明的,符合了“三个词项”。

“苏格拉底是人。(Socrates is a man.)…………………………小前提

澳门新葡8455手机版 4

“所以苏格拉底会死。(Therefore, Socrates is mortal.)”……结论

雅克-路易·大卫的油画《苏格拉底之死》。图片来源:The Death of Socrates|Wikipedia

一个伍迪·艾伦式的三段论:“所有人都会死,苏格拉底会死,所以,所有人都是苏格拉底。”好像有哪里不对劲?图片来源:AZQuotes

现在,我们可以来验证这些规则的正确性了。

澳门新葡8455手机版 5

“野猪会跑,

“所以野猪会飞。”

三段论看起来比较简单,但其实还有很多的规则来确保三段论的正确性。在《前篇分析》中亚里士多德就为三段论设置了一些基本规则:

显然这是一个荒谬的三段论,这是因为两个相比较的内容其实毫无任何关联。所以,必须有一个全称命题,使得相对比的两个东西有关联。

1、每个三段论中,必须有一个前提是肯定的并且必须有一个前提是全称命题。

“所有的水果都不好吃,

“菠菜不是水果,

“所以菠菜好吃。”

“所有人都会死,

“所以凯撒会死。”

2、在每个三段论中,两个前提中否命题的数目必须与结论中否命题的数目相同。

亚里士多德在《后分析篇》中采用变项来表示某一特征或某一内容。类似于今天计算机中的赋值。他用A来表示肯定的命题,用E表示否定,并认为所有的三段论都可以转化为AAA或EAE两种形式。

3、每个证明都是且只能是通过三个词项得到的。

AAA:

这些规则里有一个重要的概念:全称命题。全称命题是指某一类事物的全部成分(个体)都具有或不具有某种性质。例如“人都会犯错”、“鸟都会飞”等包括了泛指某一类事物的词,这些前提都是全称命题。全称命题概念的出现也为后来数学中集合概念的提出奠定了基础。

“所有糖都是甜的,

“葡萄糖是糖,

为了方便记忆,我们把三个规则分别叫做“全称命题”,“数目相同”,和“三个词项”。

EAE:

仅看规则不免有些晦涩,不妨通过“苏格拉底之死”的例子来理解三段论的规则:

这一套推理系统,已经出现了现代逻辑公理系统的雏形,保证了逻辑推理系统的有效性和必然性,也保证了推理结果是“逻辑真理”。

在这个三段论中,两个前提分别是“人都会死”和“苏格拉底是人”,都是肯定的,且“人都会死”是一个全称命题,符合了“全称命题”。

得到“逻辑真理”这点在逻辑分析中至关重要。在这套逻辑推理系统产生前,若想对某些事物进行判断,依靠的是个人经验。人们的经验总是有限的,因此能够做出判断的内容也是有限的。而根据亚里士多德的逻辑推理系统,人们可以不依赖于经验事实,而只通过逻辑分析的方法得到“逻辑真理”。正如罗素认为的那样:“逻辑只与形式有关,它们不包含任何经验的内容,它们不依赖于其内容而仅依赖于其形式。”这对于逻辑学的发展有重大意义,同样对计算机的发展也具有重要意义——计算机并不存在生活经验,因此需要一套完全不依赖于经验的 “逻辑真理”的体系。

结论是肯定的,两个前提也是肯定的,满足了“数目相同”。

本文由澳门新葡8455手机版发布于澳门新葡8455手机版,转载请注明出处:逻辑是这一切的重要基础,拆开手机

关键词:

基于模型的企业,MBD技术助国产大飞机C919研发成

原标题:数字转型必读:基于模型的商店——从MBD到MBE的攻略路径 此作品由奥曼克中中原人民共和国高档次和等第咨...

详细>>

NLP的ImageNet时期已经过来,大家必要注重深度

ImageNet 开端进的自然语言模型是「薄弱」的 用来语言职责的ImageNet Percy Liang则感觉,即使练习多少和测试数据的遍及...

详细>>

AI正是高品质总括,基因探秘

原标题:AI正是高品质总结 在过去,人类是用两脚丈量世界,但在索求太空的长河中,人类能够动用射电望远镜、H...

详细>>

澳门新葡8455手机版:硬核干货一文打尽,智东西

原标题:信通院AI白皮书:硬核干货一文打尽,从技能流派到应用趋势【附下载】|智东西内部参照他事他说加以调查...

详细>>