Quelltext der Seite Nixon-Raute

Die '''Nixon-Raute''' ([[Englische Sprache|engl:]] ''Nixon diamond'') bezeichnet ein bekanntes beispielhaftes Szenario aus der [[Künstliche Intelligenz|Künstlichen Intelligenz]]. Es dient zumeist der Illustration konsistenzerhaltender Wissensverarbeitung, gelegentlich auch der Verdeutlichung unterschiedlicher [[Wissensrepräsentation]]smechanismen.

==Begriff==
Der Begriff ist auf die graphischen Darstellung des Szenarios zurückzuführen, welche an eine [[Raute]] erinnert. Er stammt aus dem Englischen, in dem „diamond“ sowohl für „Raute“ als auch für „[[Diamant]]“ steht. Aufgrund dieser Mehrfachbedeutung wird „Nixon diamond“ gelegentlich fälschlicherweise als „Nixon-Diamant“ übersetzt.

==Szenario==
Gegeben sei folgendes initiales Wissen:
# [[Richard Nixon|Nixon]] ist ein [[Quäker]].
# Nixon ist ein [[Republikanische Partei|Republikaner]].
# Quäker sind [[Pazifismus|Pazifisten]].
# Republikaner sind keine Pazifisten.

== Interpretation ==
=== Klassische Logik ===
Wenn wir die obigen Aussagen als Sätze der klassischen [[Aussagenlogik|Aussagen-]] oder [[Prädikatenlogik]] auffassen, können wir aus 1. und 3. folgern, dass Nixon ein Pazifist ist. Andererseits können wir aus 2. und 4. folgern, dass Nixon kein Pazifist ist. Das gegebene Wissen ist also widerspruchsvoll, die entsprechende logische Theorie inkonsistent.

=== Nichtmonotone Interpretation ===
Alternativ zu der obigen Sichtweise ist es naheliegend, die letzten beiden Sätze als prototypische Regeln aufzufassen, die lediglich ein typisches Muster beschreiben. Dies lässt sich durch das Adverb „normalerweise“ unterstreichen:

# Nixon ist ein Quäker.
# Nixon ist ein Republikaner.
# Quäker sind ''normalerweise'' Pazifisten.
# Republikaner sind ''normalerweise'' keine Pazifisten.

Eine solche Interpretation liefert zwei unterschiedliche konsistente Weltsichten, die eine Aussage über Nixons Neigung zum Pazifismus erlauben: In der einen ist Nixon ein Pazifist, was sich durch Nixons Quäkertum und den Quäker-typischen Pazifismus rechtfertigen lässt. In der anderen ist Nixon kein Pazifist, was sich durch Nixons republikanische Neigung und den Republikaner-typischen anti-Pazifismus rechtfertigen lässt. Mögliche inkonsistente Weltsichten, in denen Nixon gleichzeitig Pazifist und nicht Pazifist ist, werden üblicherweise nicht erwogen.

== Siehe auch ==
* [[Nichtmonotone Logik]]
* [[Parakonsistente Logik]]
* [[Tweety (Vogel)]]

== Literatur ==
* Stuart Russell, [[Peter Norvig]]: ''Artificial Intelligence: A Modern Approach'', 2. Auflage, 2002, Prentice Hall. (Deutsch: ''Künstliche Intelligenz: Ein moderner Ansatz'', August 2004, Pearson Studium, 2. Auflage, ISBN 3-8273-7089-2, S. 445)
* Christoph Beierle, Gabriele Kern-Isberner: ''Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen.'' Teubner-Verlag, 2006, S. 263.

[[Kategorie:Künstliche Intelligenz]]