Programming Machine Ethics

Programming Machine Ethics

Lehrveranstaltung mit SWS 1/1/2 (Vorlesung/Übung/Praktikum) in SS 2017

Dozent

• Steffen Hölldobler

Tutor

• Emmanuelle Dietz

Umfang (SWS)

• 1/1/2

Module

• INF-PM-FOR
• INF-VERT2
• MCL-KR
• MCL-PI

Leistungskontrolle

• Mündliche Prüfung

• Information

There will be a summer school on Bridging the Gap between Human and Automated Reasoning from 18th to 29th of September.

You are welcome to come along!

Description

In this course we will discuss the book Programming Machine Ethics from Luís Moniz Pereira and Ari Saptawijaya. You can find an electronic version of the book here.

Schedule

• the lecture will take place in room E05
• the lecture will take place on Monday, 4.DS (13:00 - 14:30, starting on 03.04.2017)

Lecture Slides

• Introduction
• Weak Completion Semantics
• Weak Completion Semantics Basics

Weak Completion Semantics

To compute the least fixed point of the SvL operator, you can use the following implementations:

• SvL Operator with graphical user interface (edit the environment path of your computer to run swipl from command line)
• Prolog files

TABDUAL

• link