Closed-World-Assumption


Closed-World-Assumption

Die Closed-world-assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten (Wissensrepräsentation) sagt aus, das 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.

Beispiele

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.
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.
natürliche Sprache
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!

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… …   Wikipedia

  • Closed world assumption — Die Closed world assumption (deutsch: 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 …   Deutsch Wikipedia

  • Closed-world-assumption — Die Closed world assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten (Wissensrepräsentation) sagt aus, das alles, was nicht explizit als wahr bewiesen werden kann, als falsch bezeichnet wird: Alles was also… …   Deutsch Wikipedia

  • Closed World Assumption — Die Closed world assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten (Wissensrepräsentation) sagt aus, das alles, was nicht explizit als wahr bewiesen werden kann, als falsch bezeichnet wird: Alles was also… …   Deutsch Wikipedia

  • Open world assumption — In formal logic, the open world assumption is the assumption that the truth value of a statement is independent of whether or not it is known by any single observer or agent to be true. It is the opposite of the closed world assumption, which… …   Wikipedia

  • Closed head injury — Closed head injuries are a type of Traumatic Brain Injury in which the skull and dura mater remain intact. Closed head injuries are the leading cause of death in children under 4 years old and the most common cause of physical disability and… …   Wikipedia

  • World Bank Group — The World Bank Group (WBG) is a family of five international organizations responsible for providing finance and advice to countries for the purposes of economic development and eliminating poverty. The Bank came into formal existence on 27… …   Wikipedia

  • Assumption College — Infobox University name = Assumption College motto = Learn. Achieve. Contribute. established = October 1, 1904 Assumption College: A Centennial History 1904 2004, Kenneth J. Moynihan. Pp. 40.] type = Private affiliation = Roman Catholic… …   Wikipedia

  • Assumption University (Windsor) — Infobox University name = Assumption University at University of Windsor native name = image size = caption = latin name = motto = established = 1857 closed = type = privately operated, autonomous university at University of Windsor affiliation …   Wikipedia

  • World War I — the war fought mainly in Europe and the Middle East, between the Central Powers and the Allies, beginning on July 28, 1914, and ending on November 11, 1918, with the collapse of the Central Powers. Abbr.: WWI Also called Great War, War of the… …   Universalium