View
215
Download
0
Embed Size (px)
Citation preview
Knowledge, Rationality, & Action
Courtesy of Prof. Wiebe van der Hoek
Computer ScienceThe University of Liverpool
United Kingdom
2
Agents’ Paradigm
``..eventually, when you put enough feelingless calculations together in a huge coordinated organization, you’ll get something that has properties on another level. You can see it .... as a system of tendencies and desires and beliefs and so on’’
Hofstadter, 1981, Scientific American
3
sensesense
planplanactact
sense-plan-act cycle (Agents)
infoinfogoalgoal
sensesensesensesense
actact actact
4
sensesense
planplanactact
sense-plan-act cycle (MAS)
infoinfogoalgoal
sensesensesensesense
actact actact
12
Epistemic Logic Relies on 4 Axioms
agents reason logically
veridicality
positive introspection
¬K¬K negative introspection
13
Multiagent Knowledge
KAm: A knows m
A sends m to B
KAm ?KBm ? Em ?
KAKB m?
KBKAKB m? KAKBKAKB m, ..., Cm?
18
Nested Knowledge
Post:Kc, Km, KjE{cmj} , E{cmj}E{cmj} E{cmj} (¬Kr & ¬Kp &¬Kro)
Goal{m,c} (¬Kr & ¬Kp &¬Kro)
Goalj (Kr & Kp & Kro)
22
Phoebe Found Out
Pre: Kj, Km, Kp, Kr E{j,r,p}, ¬E{j,r,p}E{j,r,p}
Let us call this team the Friends team (r, p, and j) and let {c, m, and j } be the Lovers team: ¬EFEF
25
Phoebe Found Out
Post: EFEF ¬KmEF, ¬KcEF ¬ELEF, Goalp ¬ELEF, Goalj ELEF
(Phoebe tries to seduce Chandler)
Pre: Kj, Km, Kp, Kr, Kc EF,
¬EFEF
26
m and c Learn EF
Post: EFEF ¬KmEF, ¬KcEF ¬ELEF
(Chandler tells Monica about the attempted seduction)
35
Common Knowledge
EEverybody knows EEE Cit is Common Knowledge that idea: CEEE &
EEEEEEE ….. so: ¬C if somebody
considers it possible that somebody considers it possible that
somebody considers it possible that …………. does not
hold
Enemies“The message is, thatThere are known knowns, there are things we
know that we know. There are known unknowns, that is to say,
there are things that we now know, we don’t know.
But there are also unknown unknowns—there are things we do not know we don’t know.
And each year, we discover a few more of those unknown unknowns.’’ Play
37
Foot in Mouth Award “Despite Mr. Rumsfeld’s
rather outlandish mode of speaking, fans of the though-talking US defence secretary argue he is misunderstood.”
38
Knowledge, Rationality, Action
Knowledge about world, other’s knowledge, & rationality uncertainty, beliefs, suspicion dynamic aspects: updating, learning
Rationality optimize utilities, do what is best/most
economic Action
emphasis on choice abilities: physical (robots), computational epistemic actions