| dbpprop:abstract
|
- The closed world assumption 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 the open world assumption, stating that lack of knowledge does not imply falsity. Negation as failure is related to the closed world assumption, as it amounts to believing false every predicate that cannot be proved to be true. In the knowledge management arena, the closed world assumption is used in at least two situations: 1 when the knowledge base is known to be complete (e.g. , a corporate database containing records for every employee), and 2) when the knowledge base is known to be incomplete but a "best" definite answer must be derived from incomplete information. For example, if a database contains the following table reporting editors who have worked on a given article, a query on the people not having edited the article on Formal Logic is usually expected to return “Sarah Johnson”. In the closed world assumption, the table is assumed to be complete (it lists all editor-article relationships), and Sarah Johnson is the only editor who has not edited the article on Formal Logic. In contrast, with the open world assumption the table is not assumed to contain all editor-article tuples, and the answer to who has not edited the Formal Logic article is unknown. There is an unknown number of editors not listed in the table, and an unknown number of articles edited by Sarah Johnson that are also not listed in the table.
- Die Closed-world-assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten 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.
- 閉世界仮説（英: Closed world assumption）とは、現時点で真であると判明していないことは偽であると仮定することを意味する。論理学では、Raymond Reither が閉世界仮説を形式化した。閉世界仮説の逆を開世界仮説（Open world assumption）と呼び、知識の欠如を偽とは見なさない。
- De aanname van een gesloten wereld is de aanname dat alles waarvan niet expliciet bekend is dat het waar is, onwaar is. Het verwijst ook naar het logische formalisme van Raymond Reiter dat gebaseerd is op deze aanname. Het tegenovergestelde is de aanname van een open wereld (open world assumption) die stelt dat een gebrek aan kennis niet een onwaarheid hoeft te betekenen. De aanname van een gesloten wereld kan worden gebruikt als de kennis die men bezit compleet is (bijvoorbeeld een database van een bedrijf met informatie van elke werknemer) of als de kennis (mogelijk) incompleet is. Men neemt dan aan dat de zaken die men niet weet onwaar zijn en men tracht een zo goed mogelijk antwoord te geven op vragen over de kennis. Deze aanpak wordt gebruikt in logische programmeertalen, zoals Prolog. Hierin wordt gebruik gemaakt van negatie als falen waarbij een predicaat als onwaar wordt bestempeld wanneer niet bewezen kan worden dat het waar is.
- Предположение о замкнутости мира (англ. CWA, closed world assumption) — стратегия, при которой положительный литерал, который не является следствием формул в некоторой базе знаний, считается ложным. Данное предположение позволяет упростить систему замещением неоднозначности (есть — нет — неизвестно) дуализмом (есть — нет). Широко используется в компьютерных системах, в том числе в СУБД. Например: имея базу знаний, состоящую из литералов «Вася любит собак»; «Женя любит кошек»; «Женя не любит собак»; в логике первого порядка невозможно дать определенный ответ на вопрос, любит ли Вася кошек, поскольку невозможно доказать ни литерал «Вася любит кошек», ни «Вася не любит кошек». Но при предположении о замкнутости мира, положительный литерал «Вася любит кошек» считается ложным, что позволяет заключить, что Вася кошек не любит.
- 封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼 Ray Reiter 对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定，宣称知识的缺乏不蕴涵虚假。 否定为失败与封闭世界假定有关，因为它总体上相信不能被证明为真的所有命题都是假的。 封闭世界假定经常暗含在数据库中，因为所有没有明确的包换在表中记录都暗含的假定表示这是假(而不是未知)这个事实。例如，如果数据库包含下列表，报告写作给定文章的人的，关于没有编辑形式逻辑的文章的人的查询，经常被预期返回 “Sarah”。 这个结果服从表中不包含 Sarah 在第一个位置而“形式逻辑”在第二个位置的行的事实。这个论证暗含的是基于表中缺乏“Sarah|形式逻辑”这样的行蕴涵 Sarah 没有编辑关于形式逻辑的文章的假定。所以，这个查询的结果基于的是封闭世界假定，与之相对，在开放世界假定中，没有明确的陈述的事物是未知的而不是假的。在开放世界假定中，Sarah 编辑这个文章是未知的；在封闭世界假说中，她没有编辑这个文章是已知的。
|
| rdfs:comment
|
- The closed world assumption 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 the open world assumption, stating that lack of knowledge does not imply falsity. Negation as failure is related to the closed world assumption, as it amounts to believing false every predicate that cannot be proved to be true.
- Die Closed-world-assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten 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.
- 閉世界仮説（英: Closed world assumption）とは、現時点で真であると判明していないことは偽であると仮定することを意味する。論理学では、Raymond Reither が閉世界仮説を形式化した。閉世界仮説の逆を開世界仮説（Open world assumption）と呼び、知識の欠如を偽とは見なさない。
- De aanname van een gesloten wereld is de aanname dat alles waarvan niet expliciet bekend is dat het waar is, onwaar is. Het verwijst ook naar het logische formalisme van Raymond Reiter dat gebaseerd is op deze aanname. Het tegenovergestelde is de aanname van een open wereld (open world assumption) die stelt dat een gebrek aan kennis niet een onwaarheid hoeft te betekenen.
- Предположение о замкнутости мира (англ. CWA, closed world assumption) — стратегия, при которой положительный литерал, который не является следствием формул в некоторой базе знаний, считается ложным.
|
![[RDF Data]](/statics/sw-cube.png)
