Open-world assumption
In a formal system of logic used for knowledge representation, the open-world assumption is the assumption that the truth value of a statement may be true irrespective of whether or not it is known to be true. It is the opposite of the closed-world assumption, which holds that any statement that is true is also known to be true. Example Statement: "Mary" "is a citizen of" "France" Question: Is Paul a citizen of France? "Closed world" (for example SQL) answer: No. "Open world" answer: Unknown.
Wikipage disambiguates
Action description languageAssumptionBlank nodeClosed-world assumptionDescription logicF-logicIndex of philosophy articles (I–Q)Inductive reasoningKnowledge processing for robotsNatural language processingNull (SQL)Object (computer science)Open-world semanticsOpen World AssumptionOpen World assumptionOpen world (disambiguation)Open world assumptionOutline of natural language processingOwaPartial-closed world assumptionRDFLibReasoning systemSemantic heterogeneitySingle version of the truthStable model semanticsTransferable belief modelVivificationWeb Ontology Language
Link from a Wikipage to another Wikipage
primaryTopic
Open-world assumption
In a formal system of logic used for knowledge representation, the open-world assumption is the assumption that the truth value of a statement may be true irrespective of whether or not it is known to be true. It is the opposite of the closed-world assumption, which holds that any statement that is true is also known to be true. Example Statement: "Mary" "is a citizen of" "France" Question: Is Paul a citizen of France? "Closed world" (for example SQL) answer: No. "Open world" answer: Unknown.
has abstract
En logique formelle, l’hypothè ...... il de l'informatique théorique
@fr
In a formal system of logic us ...... anything to be possibly true.
@en
In un sistema logico formale u ...... lta risultando poco intuitiva.
@it
Предположение об открытости ми ...... ом не известно, что оно верно.
@ru
开放世界假定是当前没有陈述的事情是未知的假定。开放世界假定可 ...... 反应: 新事实。"Mary""就是""Elizabeth"。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
922,853,720
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
En logique formelle, l’hypothè ...... il de l'informatique théorique
@fr
In a formal system of logic us ...... "Open world" answer: Unknown.
@en
In un sistema logico formale u ...... ra solo se è nota essere tale.
@it
Предположение об открытости ми ...... ом не известно, что оно верно.
@ru
开放世界假定是当前没有陈述的事情是未知的假定。开放世界假定可 ...... 反应: 新事实。"Mary""就是""Elizabeth"。
@zh
label
Hypothèse du monde ouvert
@fr
Ipotesi del mondo aperto
@it
Open-world assumption
@en
Предположение об открытости мира
@ru
开放世界假定
@zh