第一章主要是讲基本概念。
1.1 Deductive and plausible reasoning
举例:警察看到一家珠宝店窗子破了、带着一袋子珠宝、戴着面具,会立即上前逮捕他。这里的逻辑不是逻辑推演“logical deduction”,因为存在其他合理解释。然而上述证据虽然无法证明该人是罪犯,但是让这一结论更加可能(plausible)。
从亚里士多德出发的强三段论:
如果A对,那么B对
A是对的
所以B是对的
弱三段论:
如果A对,那么B对
B是对的
所以A更有可能是对的
我们的大脑不仅判断什么更有可能,也会判断具体可能性。这个过程会用到过去的经验“prior information”,或者可以理解为常识“common sense”
1.2 Analogies with physical theories
物理研究的过程就是不断用更好的模型理解世界的过程。
物理模型就是上述的常识
1.3 The thinking computer
冯诺依曼说“You insist that there is something a machine cannot do. If you will tell me precisely what it is that a machine cannot do, then I can always make a machine which will do just that!”
这本书就是要构造一个定量的常识计算工具。问题不是能不能,而是怎么造。
1.4 Introducing the robot
设定:用ABC等字母表示论断,而且只能有对错两种结果。