ALGORITHMS AND THEORY SEMINAR

Ethical Decision Making by Logic Programs

Speaker
Professor Sibylle Schwarz, Hochschule fur Technik, Wirtschaft und Kultur Leipzig


Chaired by
Dr Frank Christian STEPHAN, Professor, School of Computing
fstephan@comp.nus.edu.sg

03 Sep 2018 Monday, 03:00 PM to 04:30 PM

Executive Classroom, COM2-04-02

Abstract:

The formalization of ethical principles in human decision making gains increasing attention, for example due to recent developments in autonomous driving. The moral permissibility of actions is illustrated by the Trolley Problem.

The weak completion semantics is a three-valued fixpoint semantics for logic programs based on Lukasiewicz logic. It is more adequate to human reasoning than previous approaches.

In the talk, the weak completion semantics is introduced and several variants of the Trolley Problem are formalized as logic programs under this semantics.


Biodata:

Sibylle Schwarz is Professor for Theoretical Computer Science at the Hochschule fur Technik, Wirtschaft und Kultur Leipzig.

Her research interests include classical and non-classical logics, formal languages and automata, knowledge representation, artificial intelligence, and autonomous driving.

She received her Mathematics Diploma at the University of Jena in 1996 and her PhD in Computer Science from the University of Leipzig in 2003. Before joining the Faculty of Computer Science, Mathematics, and Science at the HTWK Leipzig in 2013, she was lecturing Theoretical Computer Science and AI at several German universities.