idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instance:
Share on: 
01/29/2018 10:27

Altindische Texte und die Logik der Computer-Ethik

Dr. Florian Aigner Büro für Öffentlichkeitsarbeit
Technische Universität Wien

    Kö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. 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.

    Die Gesetze der Logik, angewandt auf alte Texte

    „Die Veden sind eine große Sammlung alter Sanskrit-Texte, von denen manche sehr klare moralische Regeln enthalten – etwa: Man soll kein lebendes Wesen schädigen“, erklärt Agata Ciabattoni vom Institut für Logic and Computation der TU Wien. Sie leitet das Forschungsprojekt, in enger Zusammenarbeit mit Elisa Freschi, einer Sankritistin von der österreichischen Akademie der Wissenschaften.

    Die altindische philosophische Schule Mīmāṃsā, deren Wurzeln mehr als zweitausend Jahre zurückreichen, ist dafür bekannt, einen sehr logisch-rigorosen Zugang zur Analyse der Vorschriften und Verbote in den Veden zu wählen. Viele Jahrhunderte lang haben die Philosophen der Mīmāṃsā klare Regeln formuliert, wie man aus bestimmten Ausgangssätzen neue Regeln ableiten und scheinbare Widersprüche auflösen kann. „Das ist ganz eng mit unserer Forschungsarbeit in der Logik verknüpft“, sagt Agata Ciabattoni. „Wir können solche Regeln in einer Sprache formalisieren, die auch der Computer verstehen kann.“

    So gibt es etwa einen uralten Streit über das sogenannte „Śyena-Opfer“, eine vedische Vorschrift darüber, wie man seine Feinde töten soll. Wie lässt sich das mit der Regel vereinbaren, kein lebendes Wesen zu schädigen? „Für einen Hindu sind die Veden die absolute Wahrheit, es darf also keinen inneren Widerspruch geben“, sagt Agata Ciabattoni. Im siebten Jahrhundert löste Prabhākara, ein indischer Philosoph der Mīmāṃsā-Tradition, dieses Problem, indem er verschiedene Regeln der Veda in einer logisch recht komplexen Weise kombinierte. Manche Gelehrte hielten seine Argumentation für falsch, der Disput darüber zog sich über Jahrhunderte.

    Agata Ciabattoni und ihr Team arbeiteten eng mit philologischen Forschungsgruppen zusammen, um die Mīmāṃsā-Regeln und die vedischen Gesetze in mathematische Formeln zu übersetzen – und sie konnten zeigen, dass Prabhākara Recht hatte. Wenn man die vedischen Vorgaben als korrekt betrachtet, ist Prabhākaras Argumentation logisch fehlerfrei. Somit konnte mathematische Logik einen uralten philosophischen Streit endgültig beilegen.

    Ein logisches System für Ethik

    „Für uns war das der erste Beweis, dass man tatsächlich etwas neues lernen kann, wenn man Indologie und Informatik kombiniert“, sagt Agata Ciabattoni. „Aber letztlich wollen wir noch viel mehr erreichen: Wer wollen verstehen, wie man mit mathematischer Präzision nützliche Logiken aufbauen kann, die mit Verboten und Verpflichtungen operieren.“

    Klassische Logik arbeitet mit Sätzen, die entweder wahr oder falsch sind, und sie liefert Regeln, wie man wahre Aussagen kombinieren kann um zu neuen Aussagen zu gelangen, die ebenfalls wahr sind. So funktioniert die Mathematik: Wenn man von etwas Wahrem ausgeht und sich an bestimmte Regeln hält, wird das Endresultat auch richtig sein. Aber diese Art von Logik nützt uns nichts, wenn es um Ethik geht. „Wenn wir uns mit Vorschriften und Verboten beschäftigen, interessiert uns nicht, was wahr oder falsch ist, sondern was wir tun oder lassen sollen“, sagt Ciabattoni. „Daher benötigt man eine völlig neue Art von Logik, die man als deontische Logik bezeichnet. Genau wie die klassische Logik kann sie in Form mathematischer Formeln ausgedrückt werden, die uns erlauben, zuverlässig zu beweisen, ob eine bestimmte Argumentation schlüssig ist oder nicht.“

    Es gab bereits Versuche, eine solche „deontische Logik“ zu entwickeln, aber bisher mit überschaubarem Erfolg. „Unsere Arbeit mit den Veden und der Mīmāṃsā-Schule wird uns helfen zu verstehen, wie eine deontische Logik funktionieren kann“, ist Ciabattoni zuversichtlich. „Die alten Sanskrit-Texte liefern uns viele Argumente, die jahrhundertelang sorgfältig analysiert wurden, und an denen wir nun unsere mathematischen Formeln ausprobieren können.“

    Die Ethik selbstfahrender Autos

    Eine solche deontische Logik könnte man verwenden, um Computern Ethik beizubringen. Ein System von Vorschriften und Verboten könnte einer Maschine einprogrammiert werden, die dann automatisch nach bestimmten Regeln daraus ableitet, welches Verhalten akzeptabel ist und welches nicht. „Denken wir an ein selbstfahrendes Auto während eines Unfalls“, sagt Agata Ciabattoni. „Nehmen wir an, dass ein Zusammenstoß unvermeidlich ist, irgendjemand wird auf jeden Fall verletzt – aber das Auto muss entscheiden, wen es trifft und wer verschont wird.“ Eine allgemeine Regel wie „schade niemandem“ nützt in diesem Fall nicht. Genau wie bei den alten Veden muss man verschiedene Regeln sorgsam kombinieren um zu einem logischen Ergebnis zu gelangen. Und vielleicht wird eine solche maschinelle Entscheidung dann sogar ethischer und nützlicher für uns Menschen sein, als eine von Menschen getroffene Entscheidung.

    Rückfragen:
    Prof. Agata Ciabattoni
    Institut für Logic and Computation
    Technische Universität Wien
    Favoritenstraße 9, 1040 Wien
    T: +43-1-58801-18545
    agata.ciabattoni@tuwien.ac.at


    Images

    Wissenschaftlich spannende Kombination: Die Veden und die Computerlogik
    Wissenschaftlich spannende Kombination: Die Veden und die Computerlogik
    TU Wien
    None

    Prof. Agata Ciabattoni
    Prof. Agata Ciabattoni
    TU Wien
    None


    Criteria of this press release:
    Journalists, all interested persons
    Information technology, Philosophy / ethics
    transregional, national
    Miscellaneous scientific news/publications, Research results
    German


     

    Wissenschaftlich spannende Kombination: Die Veden und die Computerlogik


    For download

    x

    Prof. Agata Ciabattoni


    For download

    x

    Help

    Search / advanced search of the idw archives
    Combination of search terms

    You can combine search terms with and, or and/or not, e.g. Philo not logy.

    Brackets

    You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

    Phrases

    Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

    Selection criteria

    You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).

    If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).