Closed world assumption

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 falsch ist: Alles was also nicht modelliert ist, existiert auch nicht und ist nicht beweisbar, also falsch.

Ein Sachverhalt wurde erschöpfend modelliert. Alles was nicht modelliert wurde, gilt dementsprechend nicht: ``Wer nicht im Telefonbuch steht, hat auch kein Telefon.

Bei der Prädikatenlogik gilt diese Annahme nicht, bei Prolog jedoch immer, was dort zu Problemen führen kann.

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!

Weblinks

• theoretisch-mathematische Definition (aus Vorlesungsmaterial an der Uni Bremen)