Technical AI Safety Conference

Tim Parker

パーカー・ティム

IRIT

Tim Parker is a third-year PhD student at IRIT, Université de Toulouse. He studies AI, Logic and Ethics, with a particular focus on how logic can be used to express ethical values for Autonomous agents, and how agents can reason with those values to create ethical plans, particularly in the presence of uncertainty or other agents. Before starting his PhD, he obtained a Masters degree in Mathematics and Philosophy from the University of Oxford.

Formalizing Ethics In Logic

Saturday, April 6th, 11:00–11:30

In this presentation I will present a framework for ensuring safe and ethical behaviour in AI by using values written in formal logic, while considering various practical and philosophical issues regarding the formalising of ethical values. A prioritised value base can be used to verifiably guarantee that certain behaviours will always be avoided. Additionally, I will introduce various notions of responsibility anticipation, meaning future responsibility for value violation can be used to compare plans. This ensures that safety is maximised even in scenarios where a safe outcome cannot be guaranteed, when dealing with unpredictable agents, or when multiple concerns must be addressed. I will also show how the logical notion of Seeing To It That (STIT) can be used to balance safety concerns with respect for human autonomy.