Closed world assumption
aus Wikipedia, der freien Enzyklopädie
Die Closed-world-assumption oder Annahme zur Weltabgeschlossenheit bei der Modellierung von Sachverhalten (Wissensrepräsentation) z.B. mit Hilfe einer logischen Programmiersprache wie Prolog bedeutet, dass alles, was nicht explizit als wahr bewiesen werden kann, als falsch bezeichnet wird: Alles was also nicht modelliert ist, existiert im Modell auch nicht und ist nicht beweisbar, also falsch, d.h. nicht ableitbar. In der Prädikatenlogik gilt diese Annahme nicht.
Als Beispiel sei ein Telefonauskunftsystem erwähnt: Wenn eine Nummer im System ist, dann kann Auskunft darüber erteilt werden. Es kann aber nicht geschlossen werden Wer nicht im Telefonbuch steht, hat auch kein Telefon, da es Personen gibt, die sich nicht eintragen lassen.
Ein Beispiel, in dem die Closed-world-assumption gültig ist, sind Bus- oder Bahnfahrpläne: Falls ein Bus planmäßig ausschließlich jede volle Stunde abfährt, ist der Umkehrschluss, dass er zu anderen Zeiten nicht abfährt, durchaus legitim.
In der natürlichen Sprache wird diese Annahme oft verwendet: Wenn beispielsweise ein deutscher Politiker im Bundestag sagt: "Alle Schulen haben einen Internetzugang", dann meint er eigentlich, wenn er über die Bildungssituation in Deutschland spricht "Alle Schulen in Deutschland haben einen Internetzugang". Er meint nicht die Schulen auf der ganzen Welt!