artificial intelligence - pavia · artificial intelligence - 2014-2015 physical symbol systems [20]...
TRANSCRIPT
![Page 1: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/1.jpg)
Physical Symbol Systems [1] Artificial Intelligence - 2014-2015
Artificial Intelligence
![Page 2: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/2.jpg)
Physical Symbol Systems [2] Artificial Intelligence - 2014-2015
Artificial Intelligence: the origins
![Page 3: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/3.jpg)
Physical Symbol Systems [3] Artificial Intelligence - 2014-2015
“Artificial Intelligence” (first appearance of the term)
![Page 4: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/4.jpg)
Physical Symbol Systems [4] Artificial Intelligence - 2014-2015
The Physical Symbol System Hypothesis (PSSH)
![Page 5: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/5.jpg)
Physical Symbol Systems [5] Artificial Intelligence - 2014-2015
Symbolic Computation
![Page 6: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/6.jpg)
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
![Page 7: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/7.jpg)
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
![Page 8: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/8.jpg)
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
![Page 9: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/9.jpg)
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
![Page 10: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/10.jpg)
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
![Page 11: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/11.jpg)
Physical Symbol Systems [11] Artificial Intelligence - 2014-2015
Symbolic Reasoning
![Page 12: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/12.jpg)
Physical Symbol Systems [12] Artificial Intelligence - 2014-2015
Symbolic descriptions can abstract
![Page 13: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/13.jpg)
Physical Symbol Systems [13] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
![Page 14: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/14.jpg)
Physical Symbol Systems [14] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
![Page 15: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/15.jpg)
Physical Symbol Systems [15] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
![Page 16: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/16.jpg)
Physical Symbol Systems [16] Artificial Intelligence - 2014-2015
Reasoning and schemas: syllogism
![Page 17: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/17.jpg)
Physical Symbol Systems [17] Artificial Intelligence - 2014-2015
Fallacies (paralogisms)
![Page 18: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/18.jpg)
Physical Symbol Systems [18] Artificial Intelligence - 2014-2015
What is the purpose of symbolic logic?
![Page 19: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/19.jpg)
Physical Symbol Systems [19] Artificial Intelligence - 2014-2015
What is the purpose of symbolic logic?
![Page 20: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/20.jpg)
Physical Symbol Systems [20] Artificial Intelligence - 2014-2015
Truth and Correctness: the quest for formal semantics
![Page 21: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/21.jpg)
Physical Symbol Systems [21] Artificial Intelligence - 2014-2015
What is true?
![Page 22: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/22.jpg)
Physical Symbol Systems [22] Artificial Intelligence - 2014-2015
What is true?
![Page 23: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/23.jpg)
Physical Symbol Systems [23] Artificial Intelligence - 2014-2015
What is true?
![Page 24: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/24.jpg)
Physical Symbol Systems [24] Artificial Intelligence - 2014-2015
How to make a sentence true?
![Page 25: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/25.jpg)
Physical Symbol Systems [25] Artificial Intelligence - 2014-2015
How to make a sentence true?
![Page 26: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/26.jpg)
Physical Symbol Systems [26] Artificial Intelligence - 2014-2015
Sentences may be related
![Page 27: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/27.jpg)
Physical Symbol Systems [27] Artificial Intelligence - 2014-2015
Sentences may be related
![Page 28: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/28.jpg)
Physical Symbol Systems [28] Artificial Intelligence - 2014-2015
Sentences may be related
![Page 29: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/29.jpg)
Physical Symbol Systems [29] Artificial Intelligence - 2014-2015
Sentences may be related
![Page 30: Artificial Intelligence - Pavia · Artificial Intelligence - 2014-2015 Physical Symbol Systems [20] Truth and Correctness: the quest for formal semantics . Artificial Intelligence](https://reader033.vdocument.in/reader033/viewer/2022042219/5ec4d41f22367157d34e490c/html5/thumbnails/30.jpg)
Physical Symbol Systems [30] Artificial Intelligence - 2014-2015
Sentences may be related