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

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

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

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

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

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

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

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

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

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

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

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

Using Multiple Models of Reality Wojtek Jamroga Using Multiple Models of Reality

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