Sasha Rubin

BIOgraphy

Sasha Rubin is the Leader of the Computational Logic for Artificial Intelligence (LOGIC-AI) group in the School of Computer Science at The University of Sydney. His main interest is in Logic and Formal Methods for AI and CS: foundations of planning for temporally extended goals and reactive synthesis, logics for games and strategic reasoning, logics for explainable AI, automata theory, finite model theory and algorithmic model theory.

Title: Planning under Ignorance

Agents currently excel at making decisions under risk (aka, measurable uncertainty) which is when probabilities can be calculated or sampled. However, I am interested in agents that make good decisions under ignorance (aka, unmeasurable uncertainty) which is when the available information is too scarce to be aggregated by probabilities, e.g., due to a capricious environment. My thesis is that planners for agents under ignorance should produce strategies that conform to given criteria of good decision making from Decision Theory. In this talk, I will describe one such approach called ``best-effort planning'' that returns a non-dominated strategy, and thus, intuitively, returns a strategy that achieves its goal if the environment does not display worst-case behaviour, e.g., if the environment makes a mistake at a crucial time.