Inductive inference
description
Transcript of Inductive inference
![Page 1: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/1.jpg)
1
Inductive inference
Based on Graham Priest’s Logic: A very short introduction, 2000Translation Petr Hromek (Logika, Dokořán 2007)
![Page 2: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/2.jpg)
2
The Red-Headed League Sherlock Holmes's quick eye took in my occupation, and he shook his head with a smile as he noticed my
questioning glances. "Beyond the obvious facts that he has at some time done manual labor, that he takes snuff, that he is a Freemason, that he has been in China, and that he has done a considerable amount of writing lately, I can deduce nothing else.”
Mr. Jabez Wilson started up in his chair, with his forefinger upon the paper, but his eyes upon my companion.
How, in the name of good fortune, did you know all that, Mr. Holmes?" he asked. "How did you know, for example, that I did manual labor? It's as true as gospel, for I began as a ship's carpenter."
"Your hands, my dear sir. Your right hand is quite a size larger than your left. You have worked with it and the muscles are more developed."
"Well, the snuff, then, and the Freemasonry?" "I won't insult your intelligence by telling you how I read that, especially as, rather against the strict rules
of your order, you use an arc and compass breastpin." "Ah, of course, I forgot that. But the writing?" "What else can be indicated by that right cuff so very shiny for five inches, and the left one with the
smooth patch near the elbow where you rest it upon the desk." "Well, but China?" "The fish which you have tattooed immediately above your wrist could only have been done in China. I
have made a small study of tattoo marks, and have even contributed to the literature of the subject. That trick of staining the fishes' scales of a delicate pink is quite peculiar to China. When, in addition, I see a Chinese coin hanging from your watch chain, the matter becomes even more simple."
Arthur Conan Doyle: Red-headed League
http://www.eastoftheweb.com/short-stories/UBooks/RedHead.shtml
![Page 3: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/3.jpg)
3
The Red-Headed League Sherlock Holmes's quick eye took in my occupation, and he shook his head with a smile as he noticed my
questioning glances. "Beyond the obvious facts that he has at some time done manual labor, that he takes snuff, that he is a Freemason, that he has been in China, and that he has done a considerable amount of writing lately, I can deduce nothing else.”
Mr. Jabez Wilson started up in his chair, with his forefinger upon the paper, but his eyes upon my companion.
How, in the name of good fortune, did you know all that, Mr. Holmes?" he asked. "How did you know, for example, that I did manual labor? It's as true as gospel, for I began as a ship's carpenter."
"Your hands, my dear sir. Your right hand is quite a size larger than your left. You have worked with it and the muscles are more developed."
"Well, the snuff, then, and the Freemasonry?" "I won't insult your intelligence by telling you how I read that, especially as, rather against the strict rules
of your order, you use an arc and compass breastpin." "Ah, of course, I forgot that. But the writing?" "What else can be indicated by that right cuff so very shiny for five inches, and the left one with the
smooth patch near the elbow where you rest it upon the desk." "Well, but China?" "The fish which you have tattooed immediately above your wrist could only have been done in China. I
have made a small study of tattoo marks, and have even contributed to the literature of the subject. That trick of staining the fishes' scales of a delicate pink is quite peculiar to China. When, in addition, I see a Chinese coin hanging from your watch chain, the matter becomes even more simple."
Arthur Conan Doyle: Red-headed League
http://www.eastoftheweb.com/short-stories/UBooks/RedHead.shtml
![Page 4: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/4.jpg)
4
The Red-Headed League Sherlock Holmes's quick eye took in my occupation, and he shook his head with a smile as he noticed my
questioning glances. "Beyond the obvious facts that he has at some time done manual labor, that he takes snuff, that he is a Freemason, that he has been in China, and that he has done a considerable amount of writing lately, I can deduce nothing else.”
Mr. Jabez Wilson started up in his chair, with his forefinger upon the paper, but his eyes upon my companion.
How, in the name of good fortune, did you know all that, Mr. Holmes?" he asked. "How did you know, for example, that I did manual labor? It's as true as gospel, for I began as a ship's carpenter."
"Your hands, my dear sir. Your right hand is quite a size larger than your left. You have worked with it and the muscles are more developed."
"Well, the snuff, then, and the Freemasonry?" "I won't insult your intelligence by telling you how I read that, especially as, rather against the strict rules
of your order, you use an arc and compass breastpin." "Ah, of course, I forgot that. But the writing?" "What else can be indicated by that right cuff so very shiny for five inches, and the left one with the
smooth patch near the elbow where you rest it upon the desk." "Well, but China?" "The fish which you have tattooed immediately above your wrist could only have been done in China. I
have made a small study of tattoo marks, and have even contributed to the literature of the subject. That trick of staining the fishes' scales of a delicate pink is quite peculiar to China. When, in addition, I see a Chinese coin hanging from your watch chain, the matter becomes even more simple."
Arthur Conan Doyle: Red-headed League
http://www.eastoftheweb.com/short-stories/UBooks/RedHead.shtml
![Page 5: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/5.jpg)
5
Example 1
Guess a number.
![Page 6: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/6.jpg)
6
Example 1
Guess a number.
Given a number, guess the next
![Page 7: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/7.jpg)
7
Example 1
Guess a number.your guess
![Page 8: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/8.jpg)
8
Example 1
Guess a number.your guess
1 Next ?
![Page 9: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/9.jpg)
9
Example 1
Guess a number.your guess
1 Next ? 2
![Page 10: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/10.jpg)
10
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ?
![Page 11: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/11.jpg)
11
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3
![Page 12: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/12.jpg)
12
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ?
![Page 13: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/13.jpg)
13
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4
![Page 14: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/14.jpg)
14
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4No, 5. Next ?
![Page 15: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/15.jpg)
15
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4No, 5. Next ? 7
![Page 16: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/16.jpg)
16
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4No, 5. Next ? 7Yes, 7. Next ?
![Page 17: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/17.jpg)
17
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4No, 5. Next ? 7Yes, 7. Next ? 11
![Page 18: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/18.jpg)
18
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4No, 5. Next ? 7Yes, 7. Next ? 11Yes, 11. Next?
![Page 19: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/19.jpg)
19
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4No, 5. Next ? 7Yes, 7. Next ? 11Yes, 11. Next? prime numbers ?
![Page 20: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/20.jpg)
20
Example 1
Guess a number.your guess
1 Next ? 2Yes, 2. Next ? 3Yes, 3. Next ? 4No, 5. Next ? 7Yes, 7. Next ? 11Yes, 11. Next? prime numbers ?Yes.
![Page 21: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/21.jpg)
21
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
![Page 22: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/22.jpg)
22
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?
![Page 23: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/23.jpg)
23
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference
![Page 24: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/24.jpg)
24
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?
![Page 25: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/25.jpg)
25
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?• f(i) must not be dependent on the answer
![Page 26: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/26.jpg)
26
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?• f(i) must not be dependent on the answer• Can we always find a solution?
![Page 27: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/27.jpg)
27
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?• f(i) must not be dependent on the answer• Can we always find a solution?• a1, a2, a3, … must be “representative”
![Page 28: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/28.jpg)
28
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?• f(i) must not be dependent on the answer• Can we always find a solution?• a1, a2, a3, … must be “representative”Example:
0, 0, 0, Next?
![Page 29: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/29.jpg)
29
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?• f(i) must not be dependent on the answer• Can we always find a solution?• a1, a2, a3, … must be “representative”Example:
0, 0, 0, Next? 0
![Page 30: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/30.jpg)
30
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?• f(i) must not be dependent on the answer• Can we always find a solution?• a1, a2, a3, … must be “representative”Example:
0, 0, 0, Next? 0 No, 6
![Page 31: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/31.jpg)
31
Example 1: Guess a number
• Knowing a1, a2, a3, … , find a function f(n) = an
• Can we always find a solution?• f(i) must be fixed during the process of inference• Can we always find a solution?• f(i) must not be dependent on the answer• Can we always find a solution?• a1, a2, a3, … must be “representative”Example:
0, 0, 0, Next? 0 No, 6f(n) = (n-1)*(n-2)*(n-3)
![Page 32: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/32.jpg)
32
Example 2raining warm
Mon
Tue yes
Wed yes yes
Thu yes
Fri
Satyes yes
Sun yes
![Page 33: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/33.jpg)
33
Example 2raining warm
Mon P(raining) =
Tue yes
Wed yes yes
Thu yes
Fri
Satyes yes
Sun yes
![Page 34: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/34.jpg)
34
Example 2raining warm
Mon P(raining) = 3/7
Tue yes
Wed yes yes
Thu yes
Fri
Sat yes yes
Sun yes
![Page 35: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/35.jpg)
35
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) =
Wed yes yes
Thu yes
Fri
Sat yes yes
Sun yes
![Page 36: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/36.jpg)
36
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes
Thu yes
Fri
Sat yes yes
Sun yes
![Page 37: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/37.jpg)
37
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) =
Thu yes Fri
Sat yes yes
Sun yes
![Page 38: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/38.jpg)
38
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) = = P(warm & raining)/p(raining)
Thu yes
Fri
Sat yes yes
Sun yes
![Page 39: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/39.jpg)
39
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) = = P(warm & raining)/p(raining)
Thu yes = (2/7)/(3/7) = 2/3
Fri
Sat yes yes
Sun yes
![Page 40: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/40.jpg)
40
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) = ? = P(warm & raining)/p(raining)
Thu yes = (2/7)/(3/7) = 2/3P(¬warm|raining) =
Fri
Sat yes yes
Sun yes
![Page 41: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/41.jpg)
41
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) = ? = P(warm & raining)/p(raining)
Thu yes = (2/7)/(3/7) = 2/3P(¬warm|raining) =
Fri = P(¬warm & raining)/p(raining)
Sat yes yes
Sun yes
![Page 42: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/42.jpg)
42
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) = = P(warm & raining)/p(raining)
Thu yes = (2/7)/(3/7) = 2/3P(¬warm|raining) =
Fri = P(¬warm & raining)/p(raining)
= (1/7)/(3/7) = 1/3Sat yes yes
Sun yes
![Page 43: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/43.jpg)
43
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) = = P(warm & raining)/p(raining)
Thu yes = (2/7)/(3/7) = 2/3P(¬warm|raining) =
Fri = P(¬warm & raining)/p(raining) = (1/7)/(3/7) = 1/3
Sat yes yes P(warm|raining) > P(¬warm|raining)
Sun yes
![Page 44: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/44.jpg)
44
Example 2raining warm
Mon P(raining) = 3/7
Tue yes P(warm) = 4/7
Wed yes yes P(warm|raining) = ? = P(warm & raining)/p(raining)
Thu yes = (2/7)/(3/7) = 2/3P(¬warm|raining) =
Fri = P(¬warm & raining)/p(raining) = (1/7)/(3/7) = 1/3
Sat yes yes P(warm|raining) > P(¬warm|raining) =>
Sun yes warm inductively entails from the premise raining
![Page 45: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/45.jpg)
45
Inductive entailment
P(H|E) > P(¬H|E) => H inductively entails from E
E … description of a reference group (database,corpus) E= E+ E-
E+ … positive examples, E- … negative examples
more than 2 classes: E= Ei
Hi = argmax(i) P(Hi|E)
![Page 46: Inductive inference](https://reader036.fdocuments.in/reader036/viewer/2022062400/56813a87550346895da28410/html5/thumbnails/46.jpg)
46
Back to the Read-headed league
H = Jabez Wilson did manual labor¬H = Jabez Wilson did not manual labor
E = London inhabitants ? = rich people ? = Sherlock Holmes’ clients ? = human beings ?