1. Using Multiple Models of Reality: On Agents who Know how to Play Safer
Wojtek Jamroga

2. Using Multiple Models of Reality
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

3. Using Multiple Models of Reality
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

4. Using Multiple Models of Reality
Reality and Models
Wojtek Jamroga
Using Multiple Models of Reality

5. Using Multiple Models of Reality
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

6. Using Multiple Models of Reality
Reality and Models
Wojtek Jamroga
Using Multiple Models of Reality

7. 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

8. 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

9. Using Multiple Models of Reality
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

10. 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

11. 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

12. 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

13. Using Multiple Models of Reality
Wojtek Jamroga
Using Multiple Models of Reality

14. Using Multiple Models of Reality
The End of the Road?
JAMES BOND WILL RETURN
Wojtek Jamroga
Using Multiple Models of Reality