Selected Topics in AI

1
Selected Topics in AI

• Lecture BDI, part 3
• Leon van der Torre

2
Project on Mental Attitudes

• Looking for two volunteers for first project
• On topic of attributing mental attitudes
• Suggestions for some additional literature
• Modal logic
• Agent communication languages
• To do write a joint report
• To do present joint report December 14
• advantage most work done before Xmas

3
Any Questions?

• Thus far, we have
• Read A. Dekker, Possible worlds, belief, and
  modal logic a tutorial
• Applied it to the scientific text Ancient
  reef stirs debate over early signs of life in
  Australian rocks
• Today distributed and common knowledge

4
Quick Test

• A.Dekker, Possible worlds, belief, and modal
  logic a tutorial
• Whats the difference between belief and
  knowledge?
• Whats the relation between obligation and
  permission?
• What are the operators of temporal logic?
• Whats the relation between necessary and
  possibly?
• Consider a model M(W,R1,R2) with
• Ww1,w2, with M,w1 X and M,w2 not-X
• R1ltw1,w2gt and R2ltw2,w1gt for belief and
  obligation
• Do we have M,w1 believe X?
• Do we have M,w1 believe oblige X?

5
Answers Quick Test

• Cathy know X gt X, not for belief
• X is permissible ? not not-X is obligatoryX is
  obligatory gt X is permissible
• Henceforth, next, until
• Possibly X gt Necessarily possibly X X is
  possible ? not not-X is necessary
• 1 No, 2Yes

6
Common Knowledge
7
(No Transcript)
8
(No Transcript)
9
(No Transcript)
10
(No Transcript)
11
(No Transcript)
12
Defense Secretary Donald Rumsfeld

• Reports that say something hasnt happened are
  always interesting to me, because as we know,
  there are known knowns there are things we know
  we know,
• We also know there are known unknowns that is
  to say we know there are some things we do not
  know. But there are also unknown unknowns the
  ones we dont know we dont know.
• at a news briefing in February 2002

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
(No Transcript)
35
(No Transcript)
36
(No Transcript)
37
(No Transcript)