The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true. Therefore, conversely, 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 (OWA), stating that lack of knowledge does not imply falsity. Decisions on CWA vs. OWA determine the understanding of the actual semantics of a conceptual expression with the same notations of concepts. A successful formalization of natural language semantics usually cannot avoid an explicit revelation of whether the implicit logical backgrounds are based on CWA or OWA.

Property Value
dbo:abstract
  • 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 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. (de)
  • The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true. Therefore, conversely, 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 (OWA), stating that lack of knowledge does not imply falsity. Decisions on CWA vs. OWA determine the understanding of the actual semantics of a conceptual expression with the same notations of concepts. A successful formalization of natural language semantics usually cannot avoid an explicit revelation of whether the implicit logical backgrounds are based on CWA or OWA. 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. (en)
  • La notion d'hypothèse de monde clos est utilisée en particulier en Prolog, elle s'oppose à l'hypothèse de monde ouvert (voir aussi l'article Logique argumentative) et concerne la question du vrai et du faux. Elle signifie qu'un fait est considéré comme faux si, en un temps fini, on échoue à montrer qu'il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l'hypothèse de monde clos ne dit rien de particulier. Avec l'hypothèse de monde clos, l'univers des faits se partage entre les faits 'vrai' prouvables en temps fini et tout le reste, assimilé au faux (pour ce qui est accessible en temps fini). Outre la question de la terminaison, cela impose une utilisation du 'faux' avec précaution. Autant le 'vrai' est fort (il ne dépend que de la base de faits et de règles initiale acceptée et du mode d'inférence adopté), autant le 'faux' dépend de l'exhaustivité de la base de faits et de la complétude de la base de règle (2 notions délicates à obtenir) (fr)
  • 閉世界仮説(へいせかいかせつ、英: Closed world assumption)は、現時点で真であると判明していないことは偽であると仮定することを意味する。論理学では、Raymond Reither が閉世界仮説を形式化した。閉世界仮説の逆を開世界仮説(Open world assumption)と呼び、知識の欠如を偽とは見なさない。 (ja)
  • In un sistema logico formale utilizzato per la rappresentazione della conoscenza, l'ipotesi del mondo chiuso (nota anche in inglese come closed-world assumption, o CWA) è l'ipotesi secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa. Fu proposta dall'informatico e logico canadese Raymond Reiter nel 1978. È l'opposta dell'ipotesi del mondo aperto, in cui la mancanza di conoscenza non implica la falsità. Ad esempio, data una base di conoscenza consistente nell'unica informazione "Il cane è un animale", alla domanda "Il gatto è un animale?" un sistema CWA risponderebbe "No", mentre un sistema OWA risponderebbe "Non so". Correlata al'ipotesi del mondo chiuso è la negazione come fallimento (negation as failure), regola meno potente ma ideata per essere verificata in tempo finito. L'adozione di tale ipotesi rende il knowledge base completo. La logica utilizzata è non-monotona, ovvero l'insieme delle conclusioni derivabili sulla base di un KB dato non incrementa (al più si restringe) all'aumentare della dimensione del KB stesso. In generale, l'ipotesi del mondo chiuso è tipica dei modelli relazionali, mentre sulla OWA si basano gran parte dei linguaggi per il Web semantico, come OWL. Esistono, tuttavia, delle eccezioni. Ad esempio SQL, linguaggio relazionale, che prevede l'utilizzo del marcatore NULL, tollerando una sorta di incompletezza del database; oppure alcuni linguaggi di ontologie, come F-logic o Prolog, che implementano la negation as failure. (it)
  • De aanname van een gesloten wereld (Engels: closed world assumption) 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 gebruikgemaakt van negatie als falen waarbij een predicaat als onwaar wordt bestempeld wanneer niet bewezen kan worden dat het waar is. (nl)
  • 封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定,宣称知识的缺乏不蕴涵虚假。 否定为失败与封闭世界假定有关,因为它总体上相信不能被证明为真的所有命题都是假的。 封闭世界假定经常暗含在数据库中,因为所有没有明确的包换在表中记录都暗含的假定表示这是假(而不是未知)这个事实。例如,如果数据库包含下列表,报告写作给定文章的人的,关于没有编辑形式逻辑的文章的人的查询,经常被预期返回“Sarah”。 这个结果服从表中不包含Sarah在第一个位置而“形式逻辑”在第二个位置的行的事实。这个论证暗含的是基于表中缺乏“Sarah|形式逻辑”这样的行蕴涵Sarah没有编辑关于形式逻辑的文章的假定。所以,这个查询的结果基于的是封闭世界假定,与之相对,在开放世界假定中,没有明确的陈述的事物是未知的而不是假的。在开放世界假定中,Sarah编辑这个文章是未知的;在封闭世界假说中,她没有编辑这个文章是已知的。 (zh)
  • Предположение о замкнутости мира (англ. CWA, closed world assumption) — стратегия, при которой положительный литерал, который не является следствием формул в некоторой базе знаний, считается ложным. Данное предположение позволяет упростить систему замещением неоднозначности (есть — нет — неизвестно) дуализмом (есть — нет). Широко используется в компьютерных системах, в том числе в СУБД. Например: имея базу знаний, состоящую из литералов * «Вася любит собак»; * «Женя любит кошек»; * «Женя не любит собак»; в логике первого порядка невозможно дать определенный ответ на вопрос, любит ли Вася кошек, поскольку невозможно доказать ни литерал «Вася любит кошек», ни «Вася не любит кошек». Но при предположении о замкнутости мира, положительный литерал «Вася любит кошек» считается ложным, что позволяет заключить, что Вася кошек не любит. (ru)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2526582 (xsd:integer)
dbo:wikiPageRevisionID
  • 651094943 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdfs:comment
  • 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 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. (de)
  • 閉世界仮説(へいせかいかせつ、英: Closed world assumption)は、現時点で真であると判明していないことは偽であると仮定することを意味する。論理学では、Raymond Reither が閉世界仮説を形式化した。閉世界仮説の逆を開世界仮説(Open world assumption)と呼び、知識の欠如を偽とは見なさない。 (ja)
  • 封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定,宣称知识的缺乏不蕴涵虚假。 否定为失败与封闭世界假定有关,因为它总体上相信不能被证明为真的所有命题都是假的。 封闭世界假定经常暗含在数据库中,因为所有没有明确的包换在表中记录都暗含的假定表示这是假(而不是未知)这个事实。例如,如果数据库包含下列表,报告写作给定文章的人的,关于没有编辑形式逻辑的文章的人的查询,经常被预期返回“Sarah”。 这个结果服从表中不包含Sarah在第一个位置而“形式逻辑”在第二个位置的行的事实。这个论证暗含的是基于表中缺乏“Sarah|形式逻辑”这样的行蕴涵Sarah没有编辑关于形式逻辑的文章的假定。所以,这个查询的结果基于的是封闭世界假定,与之相对,在开放世界假定中,没有明确的陈述的事物是未知的而不是假的。在开放世界假定中,Sarah编辑这个文章是未知的;在封闭世界假说中,她没有编辑这个文章是已知的。 (zh)
  • The closed-world assumption (CWA), in a formal system of logic used for knowledge representation, is the presumption that a statement that is true is also known to be true. Therefore, conversely, 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 (OWA), stating that lack of knowledge does not imply falsity. Decisions on CWA vs. OWA determine the understanding of the actual semantics of a conceptual expression with the same notations of concepts. A successful formalization of natural language semantics usually cannot avoid an explicit revelation of whether the implicit logical backgrounds are based on CWA or OWA. (en)
  • De aanname van een gesloten wereld (Engels: closed world assumption) 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. (nl)
  • La notion d'hypothèse de monde clos est utilisée en particulier en Prolog, elle s'oppose à l'hypothèse de monde ouvert (voir aussi l'article Logique argumentative) et concerne la question du vrai et du faux. (fr)
  • In un sistema logico formale utilizzato per la rappresentazione della conoscenza, l'ipotesi del mondo chiuso (nota anche in inglese come closed-world assumption, o CWA) è l'ipotesi secondo cui ogni affermazione il cui valore di verità non è noto è considerata falsa. Fu proposta dall'informatico e logico canadese Raymond Reiter nel 1978. È l'opposta dell'ipotesi del mondo aperto, in cui la mancanza di conoscenza non implica la falsità. Correlata al'ipotesi del mondo chiuso è la negazione come fallimento (negation as failure), regola meno potente ma ideata per essere verificata in tempo finito. (it)
  • Предположение о замкнутости мира (англ. CWA, closed world assumption) — стратегия, при которой положительный литерал, который не является следствием формул в некоторой базе знаний, считается ложным. Данное предположение позволяет упростить систему замещением неоднозначности (есть — нет — неизвестно) дуализмом (есть — нет). Широко используется в компьютерных системах, в том числе в СУБД. Например: имея базу знаний, состоящую из литералов * «Вася любит собак»; * «Женя любит кошек»; * «Женя не любит собак»; (ru)
rdfs:label
  • Closed world assumption (de)
  • Closed-world assumption (en)
  • Hypothèse du monde clos (fr)
  • Ipotesi del mondo chiuso (it)
  • 閉世界仮説 (ja)
  • Aanname van een gesloten wereld (nl)
  • Предположение о замкнутости мира (ru)
  • 封闭世界假定 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of