Using Multiple Models of Reality:
On Agents who Know
how to Play Safer
Wojtek Jamroga
Overview





Reality and models
Agents, plans and safe play
Trying to say it with a logic
Things are getting more complex
The end of the road
Wojtek Jamroga
Using Multiple Models of Reality
2
Reality and Models
 The world around us: people, institutions,
computer programs, buildings, roads, laws of
nature, perceptions, ideas, conventions,
information, knowledge, possibilities, norms…
Wojtek Jamroga
Using Multiple Models of Reality
3
Reality and Models
Wojtek Jamroga
Using Multiple Models of Reality
4
Reality and Models
 Models: an attempt to capture some aspects
of the world in an explicit way
 The world modeled as a game: players,
choices, situations, outcomes
 We think with models.
Wojtek Jamroga
Using Multiple Models of Reality
5
Reality and Models
Wojtek Jamroga
Using Multiple Models of Reality
6
Agents, Plans and Safe Play
 Agent: an active entity in the world
 Human agent, virtual agent, software agent,
robot…
 Usually assumed to be autonomous and
intelligent.
Wojtek Jamroga
Using Multiple Models of Reality
7
Agents, Plans and Safe Play




Agents act
Agents make choices
Agents can execute plans
Infallible plans: agents can achieve their
goals no matter of the rest of the world does.
Wojtek Jamroga
Using Multiple Models of Reality
8
Saying It with Logic
 Alternating-time Temporal Logic (1997)
 <<A>>:
"the group of agents A can have an
infallible plan to enforce property "
Wojtek Jamroga
Using Multiple Models of Reality
9
Saying It with Logic
 <<jamesbond>> win
“James Bond has an infallible plan to
eventually win"
 <<jamesbond,bondsgirl>> fun U shot
" James Bond and the current Bond’s girl
have a collective way of having fun until
someone shoots at them"
Wojtek Jamroga
Using Multiple Models of Reality
10
Getting Things More Complex
 So far: agents, plans, strategic abilities,
simple cooperation
 Other aspects: incomplete information,
uncertainty, knowlegde, beliefs, moral norms,
requirements imposed from the outside
 Plans that combine safety and adaptivity
 What else?
Wojtek Jamroga
Using Multiple Models of Reality
11
Getting Things More Complex
 Adding new aspects: more difficult than it
seems
 But…
 difficult = interesting !
 And the result is…
Wojtek Jamroga
Using Multiple Models of Reality
12
Wojtek Jamroga
Using Multiple Models of Reality
13
The End of the Road?
JAMES BOND WILL RETURN
Wojtek Jamroga
Using Multiple Models of Reality
14