- Nixon-Diamant
-
Der Nixon-Diamant bezeichnet ein bekanntes beispielhaftes Szenario aus der Künstlichen Intelligenz. Es dient zumeist der Illustration konsistenzerhaltender Wissensverarbeitung, gelegentlich auch der Verdeutlichung unterschiedlicher Wissensrepräsentationsmechanismen.
Inhaltsverzeichnis
Szenario
Gegeben sei folgendes initiales Wissen:
- Nixon ist ein Quäker.
- Nixon ist ein Republikaner.
- Quäker sind Pazifisten.
- Republikaner sind keine Pazifisten.
Interpretation in klassischer Logik
Wenn wir die obigen Aussagen als Sätze der klassischen 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.
Historisches
Die Bezeichnung als „Diamant“ lässt sich historisch auf die Theorie der Semantischen Netze zurückführen, wo die Situation graphisch typischerweise in Form einer Raute dargestellt wurde.
siehe auch: Nichtmonotone Logik, Parakonsistente Logik, Tweety (Vogel)
Wikimedia Foundation.
