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