Altindische Texte und die Logik der Computer-EthikKönnen wir einer Maschine Ethik beibringen? In einem Informatik-Projekt der TU Wien untersucht man nun alte Sanskrit-Texte und beschreibt ethische Regeln mit den Methoden der Logik. Seit Jahrtausenden wird an den heiligen Texten der Veden geforscht. Doch nun verwendet man an der Fakultät für Informatik der TU Wien erstmals Methoden der mathematischen Logik, um die alten Sanskrit-Schriften zu analysieren.
