人工智能通识课-大学-第四讲 人工智能起源.pptx

1;三段论是最早被人们总结出来的思维规律。如下图所示，给出一个大前提和一个小前提；如果大前提和小前提都是“真”的，则结论一定是成立的。这一思维规律称为三段论。

你还能举出这样的例子吗？;三段论来源于古希腊哲学家亚里士多德。三段论将思维对象和思维形式进行了区分。这是人类对自身思维规律的第一次理性总结。

例如：“所有人都长头发；光头强是人；所以光头强长头发。”结论显然是错误的，你知道原因吗？

;亚里士多德的形式逻辑是用自然语言表述的，容易产生歧义，应对复杂推理比较困难。

霍布斯在他的《利维坦》(1651)一书中提出人类的思维可以表示为一个数学计算过程，简单地说，“推理即计算”。

莱布尼兹同样主张