Notes 7: Logic and Logical Agents

1
Notes 7 Logic and Logical Agents
2
(No Transcript)
3
(No Transcript)
4
(No Transcript)
5
(No Transcript)
6
(No Transcript)
7
(No Transcript)
8
(No Transcript)
9
(No Transcript)
10
(No Transcript)
11
(No Transcript)
12
(No Transcript)
13
(No Transcript)
14
(No Transcript)
15
(No Transcript)
16
(No Transcript)
17
(No Transcript)
18
(No Transcript)
19
(No Transcript)
20
(No Transcript)
21
(No Transcript)
22
(No Transcript)
23
(No Transcript)
24
(No Transcript)
25
(No Transcript)
26
(No Transcript)
27
(No Transcript)
28
(No Transcript)
29
(No Transcript)
30
(No Transcript)
31
(No Transcript)
32
(No Transcript)
33
(No Transcript)
34
Rules of inference
35
(No Transcript)
36
(No Transcript)
37
(No Transcript)
38
(No Transcript)
39
The party example

• If Alex goes, then Beki goes A ? B
• If Chris goes, then Alex goes C ? A
• Beki does not go not B
• Chris goes C
• Query Is it possible to satisfy all these
  conditions?
• Should I go to the party?

40
Example of proof by Refutation

• Assume the claim is false and prove
  inconsistency
• Example can we prove that Chris will not come to
  the party?
• Prove by generating the desired goal.
• Prove by refutation add the negation of the goal
  and prove no model
• Proof
• Refutation

41
(No Transcript)
42
(No Transcript)
43
(No Transcript)
44
(No Transcript)
45
(No Transcript)
46
(No Transcript)
47
(No Transcript)
48
(No Transcript)
49
(No Transcript)
50
(No Transcript)
51
(No Transcript)
52
(No Transcript)
53
(No Transcript)
54
(No Transcript)
55
(No Transcript)
56
(No Transcript)
57
(No Transcript)
58
(No Transcript)
59
(No Transcript)
60
(No Transcript)
61
(No Transcript)
62
(No Transcript)
63
(No Transcript)
64
(No Transcript)
65
(No Transcript)
66
(No Transcript)