Programming Machine Ethics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Programming Machine Ethics

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

Dozent

Tutor

Umfang (SWS)

  • 1/1/2

Module

Leistungskontrolle

  • Mündliche Prüfung

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