13 Jan 05
CS 3243 - Lecture 1a
8
Thinking
rationally: "laws of thought"
lAristotle: what are correct arguments/thought processes?
lSeveral 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
lDirect line through mathematics and philosophy to modern AI
lProblems:
1.Not all intelligent behavior is mediated by logical
deliberation
2.What is the purpose of thinking? What thoughts should I have?