AI Colloquium: Marek Sergot on "Cause and responsibility in 'stit' logics"

Utrecht University’s AI Colloquium will this year be organized by the focus area Human-centered Artificial Intelligence. For this AI Colloquium, SIG-coordinator Rosalie Iemhof has invited Marek Sergot, Emeritus Professor of Computational Logic, Imperial College London. Professor Sergot will share his thoughts on "Cause and responsibility in 'stit' logics".

Cause and responsibility in 'stit' logics

The family of stit ('seeing to it that') logics has received considerable interest in computer science. They have been seen as a powerful formalism providing an appropriate level of abstraction (who and what, rather than how) and a wide range of very attractive features, including support for individual and group agency,  indeterminism, responsibility and causality, among others. Nearly all results in the literature however are technical; there is very little discussion and very few examples of the use of these formalisms. I will present some simple examples to explore how they might be used, and question some of the underlying assumptions of the approach. The focus will be mostly on notions of cause and responsibility in agent interactions.

About Marek Sergot

Marek Sergot is Emeritus Professor of Computational Logic and formerly Head of the Logic and AI Section in the Department of Computing. His research is in logic for knowledge representation, with particular interests in logics of action and agency, temporal reasoning, and normative reasoning.

Human-centered Artificial Intelligence

The AI Colloquium is organized within Utrecht University focus area Human-centered Artificial Intelligence (HAI). HAI bundles the various AI-activities undertaken at Utrecht University. AI in Utrecht has a unique interdisciplinary profile that pervades various departments, including computer science, philosophy, linguistics and psychology.