Quelltext der Seite Closed world assumption

Die '''Closed World Assumption''' ({{deS|Annahme zur Weltabgeschlossenheit}}) bei der Modellierung von Sachverhalten ([[Wissensrepräsentation]]) sagt aus, 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, das heißt nicht ableitbar. In der [[Prädikatenlogik]] gilt diese Annahme nicht. Als Gegenteil gilt die Open World Assumption: Dabei kann ein Wert auch dann ''wahr'' sein, selbst wenn er nicht explizit als solcher modelliert ist.<ref>{{Literatur |Autor=Aidan Hogan, Eva Blomqvist, Michael Cochez, Claudia D’amato, Gerard De Melo |Titel=Knowledge Graphs |Sammelwerk=ACM Computing Surveys |Band=54 |Nummer=4 |Datum=2022 |ISSN=0360-0300 |Seiten=1–37 |DOI=10.1145/3447772}}</ref><ref>{{Literatur |Autor=Raymond Reiter |Hrsg=H. Gallaire et al. |Titel=On Closed World Data Bases |Sammelwerk=Logic and Data Bases |Verlag=Plenum Press |Ort=New York |Datum=1978 |ISBN=1-4684-3386-5 |Seiten=55-76 |Sprache=en |DOI=10.1007/978-1-4684-3384-5_3 |Zitat=The open world assumption corresponds to the usual first order approach to query evaluation: Given a data base DB and a query Q, the only answers to Q are those which obtain from proofs of Q given DB as hypotheses. Under the closed world assumption, certain answers are admitted as a result of failure to find a proof. More specifically, if no proof of a positive ground literal exists, then the negation of that literal is assumed true.}}</ref>

== Beispiele ==
=== Beispiele für closed world assumption ===
; Bus- oder Bahnfahrpläne: Falls ein Bus oder Zug planmäßig ausschließlich jede volle Stunde abfährt, ist der Umkehrschluss, dass er zu anderen Zeiten ''nicht'' abfährt, durchaus legitim (und sogar zwingend).

=== Beispiel für open world assumption ===
; Telefonauskunftsystem: 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. Hier ist die Annahme der Weltabgeschlossenheit also nicht sinnvoll.

== Literatur ==
* {{Literatur |Autor=Marco Cadoli, Maurizio Lenzerini |Hrsg=Academic Press |Titel=The complexity of propositional closed world reasoning and circumscription |Sammelwerk=Journal of Computer and System Sciences |Band=48 |Nummer=2 |Datum=1994-04 |Seiten=255–310 |Sprache=en |DOI=10.1016/S0022-0000(05)80004-2}}
* T. Eiter,  G. Gottlob (1993). Propositional circumscription and extended closed world reasoning are <math>\Pi^p_2</math>-complete. ''Theoretical Computer Science'', 114:231–45.
* A. Rajasekar, J. Lobo, and J. Minker (1989). Weak generalized closed world assumption. ''Journal of Automated Reasoning'', 5:293–307.
* [[Vladimir Lifschitz]] (1985). Closed-world databases and circumscription. ''Artificial Intelligence'', 27:229–35.
* [[Jack Minker]] (1982). On indefinite databases and the closed world assumption. In ''Proceedings of the Sixth International Conference on Automated Deduction (CADE'82)'', pp.&nbsp;292–308.
*  [[Ray Reiter]] (1978). On closed world data bases. In H. Gallaire and J. Minker, editors, ''Logic and Data Bases'', pp.&nbsp;119–40. Plenum Publ. Co., New York.
* Y. Duan, C. Cruz (2011), Formalizing Semantic of Natural Language through Conceptualization from Existence. ''International Journal of Innovation, Management and Technology'',2 (1):37-42.

== Einzelnachweise ==
[[Kategorie:Künstliche Intelligenz]]
[[Kategorie:Logik]]
<references />