Intelligence Artificial Intelligence Ian Gent [email protected] Topics in Artificial Intelligence.
Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20]...
Transcript of Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20]...
Physical Symbol Systems [1] Artificial Intelligence - 2014-2015
Artificial Intelligence
Physical Symbol Systems [2] Artificial Intelligence - 2014-2015
Artificial Intelligence: the origins
Physical Symbol Systems [3] Artificial Intelligence - 2014-2015
“Artificial Intelligence” (first appearance of the term)
Physical Symbol Systems [4] Artificial Intelligence - 2014-2015
The Physical Symbol System Hypothesis (PSSH)
Physical Symbol Systems [5] Artificial Intelligence - 2014-2015
Symbolic Computation
Physical Symbol Systems [6] Artificial Intelligence - 2014-2015
An aside: equations
x2 + ax + b = 0
x2 + 2(a/2)x + a2/4 − a2/4 + b = 0
(x + a/2)2 − a2/4 + b = 0
(x + a/2)2 = a2/4 − b x = − a/2 ± (a2/4 − b)1/2
Physical Symbol Systems [7] Artificial Intelligence - 2014-2015
x2 + ax + b = 0
x2 + 2(a/2)x + a2/4 − a2/4 + b = 0
(x + a/2)2 − a2/4 + b = 0
(x + a/2)2 = a2/4 − b x = − a/2 ± (a2/4 − b)1/2
An aside: equations
Physical Symbol Systems [8] Artificial Intelligence - 2014-2015
x2 + ax + b = 0
x2 + 2(a/2)x + a2/4 − a2/4 + b = 0
(x + a/2)2 − a2/4 + b = 0
(x + a/2)2 = a2/4 − b x = − a/2 ± (a2/4 − b)1/2
An aside: equations
Physical Symbol Systems [9] Artificial Intelligence - 2014-2015
x2 + ax + b = 0
x2 + 2(a/2)x + a2/4 − a2/4 + b = 0
(x + a/2)2 − a2/4 + b = 0
(x + a/2)2 = a2/4 − b x = − a/2 ± (a2/4 − b)1/2
An aside: equations
Physical Symbol Systems [10] Artificial Intelligence - 2014-2015
x2 + ax + b = 0
x2 + 2(a/2)x + a2/4 − a2/4 + b = 0
(x + a/2)2 − a2/4 + b = 0
(x + a/2)2 = a2/4 − b x = − a/2 ± (a2/4 − b)1/2
x a b
An aside: equations
Physical Symbol Systems [11] Artificial Intelligence - 2014-2015
Symbolic Reasoning
Physical Symbol Systems [12] Artificial Intelligence - 2014-2015
Symbolic descriptions can abstract
Physical Symbol Systems [13] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
Physical Symbol Systems [14] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
Physical Symbol Systems [15] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
Physical Symbol Systems [16] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
Physical Symbol Systems [17] Artificial Intelligence - 2014-2015
Fallacies (paralogisms)
Physical Symbol Systems [18] Artificial Intelligence - 2014-2015
What is the purpose of symbolic logic?
Physical Symbol Systems [19] Artificial Intelligence - 2014-2015
What is the purpose of symbolic logic?
Physical Symbol Systems [20] Artificial Intelligence - 2014-2015
Truth and Correctness: the quest for formal semantics
Physical Symbol Systems [21] Artificial Intelligence - 2014-2015
What is true?
Physical Symbol Systems [22] Artificial Intelligence - 2014-2015
What is true?
Physical Symbol Systems [23] Artificial Intelligence - 2014-2015
What is true?
Physical Symbol Systems [24] Artificial Intelligence - 2014-2015
How to make a sentence true?
Physical Symbol Systems [25] Artificial Intelligence - 2014-2015
How to make a sentence true?
Physical Symbol Systems [26] Artificial Intelligence - 2014-2015
Sentences may be related
Physical Symbol Systems [27] Artificial Intelligence - 2014-2015
Sentences may be related
Physical Symbol Systems [28] Artificial Intelligence - 2014-2015
Sentences may be related
Physical Symbol Systems [29] Artificial Intelligence - 2014-2015
Sentences may be related
Physical Symbol Systems [30] Artificial Intelligence - 2014-2015
Sentences may be related