Thinking rationally:Laws of Thought 1 Normative (or prescriptive)rather than descriptive I Aristotle(亚里士多德)：what are correct arguments/,thought processes? Several Greek schools developed various forms of logic: notation and rules of derivation for thoughts;may or may not have proceeded to the idea of mechanization I Direct line through mathematics and philosophy to modern Al I Problems: Not all intelligent behavior is mediated by logical deliberation What is the purpose of thinking?What thoughts should I have? Logical systems tend to do the wrong thing in the presence of uncertainty ·部分学者观点，部分学者不同意 口卡4回三4色，进分QC. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Thinking rationally: Laws of Thought ▶ Normative (or prescriptive) rather than descriptive ▶ Aristotle (亚里士多德): what are correct arguments/thought processes? ▶ Several Greek schools developed various forms of logic: notation and rules of derivation for thoughts; may or may not have proceeded to the idea of mechanization ▶ Direct line through mathematics and philosophy to modern AI ▶ Problems: ▶ Not all intelligent behavior is mediated by logical deliberation ▶ What is the purpose of thinking? What thoughts should I have? ▶ Logical systems tend to do the wrong thing in the presence of uncertainty ▶ 部分学者观点，部分学者不同意