(29.Januar) 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. Das liefert der Sanskrit-Philologie neue Erkenntnisse, es ermöglicht sogar, philosophische Dispute zu klären, über die seit mehr als ein- oder zweitausend Jahren gestritten wird. Darüber hinaus hilft es der Computerwissenschaft, Argumentations-Tools zu entwickeln, die mit deontischen Konzepten – mit Verboten und Verpflichtungen – umgehen können. Solche Werkzeuge sind äußerst wichtig, wenn man Ethik in die künstliche Intelligenz einbauen möchte, etwa wenn ein selbstfahrendes Auto bei einem Verkehrsunfall ethische Entscheidungen treffen soll.