Programming Machine Ethics

From International Center for Computational Logic

Programming Machine Ethics

Course with SWS 1/1/2 (lecture/exercise/practical) in SS 2017

Lecturer

Tutor

SWS

  • 1/1/2

Modules

Examination method

  • Oral exam

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


Weak Completion Semantics

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


TABDUAL