Open-world assumption: Difference between revisions

Content deleted Content added

Inline

Latest revision as of 18:25, 14 April 2024

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.

Origin[edit]

An open-world assumption was first developed by Ancient Greek philosophers as a means to explain varying degrees of validity amongst mathematical and philosophical concepts proposed at the time of inception.

Logical implication[edit]

The open-world assumption (OWA) codifies the informal notion that in general no single agent or observer has complete knowledge, and therefore cannot make the closed-world assumption. The OWA limits the kinds of inference and deductions an agent can make to those that follow from statements that are known to the agent to be true. In contrast, the closed world assumption allows an agent to use the lack of knowledge that a statement is true, to infer that the statement is false.

Heuristically, the open-world assumption applies when we represent knowledge within a system as we discover it, and where we cannot guarantee that we have discovered or will discover complete information. In the OWA, statements about knowledge that are not included in or inferred from the knowledge explicitly recorded in the system may be considered unknown, rather than wrong or false.

Semantic Web languages[edit]

Semantic Web languages such as OWL make the open-world assumption. The absence of a particular statement within the web means, in principle, that the statement has not been made explicitly yet, irrespective of whether it would be true or not, and irrespective of whether we believe that it would be true or not. In essence, from the absence of a statement alone, a deductive reasoner cannot (and must not) infer that the statement is false.

Procedural programming[edit]

Many procedural programming languages and databases make the closed-world assumption. For example, if a typical airline database does not contain a seat assignment for a traveler, it is assumed that the traveler has not checked in. The closed-world assumption typically applies when a system has complete control over information; this is the case with many database applications where the database transaction system acts as a central broker and arbiter of concurrent requests by multiple independent clients (e.g., airline booking agents). There are, however, many databases with incomplete information: for example, one cannot assume that because there is no mention on a patient's history of a particular allergy, that the patient does not suffer from that allergy.

Example[edit]

 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.

Under OWA, failure to derive a fact does not imply the opposite. For example, assume we only know that Mary is a citizen of France. From this information we can neither conclude that Paul is not a citizen of France, nor that he is. Therefore, we admit the fact that our knowledge of the world is incomplete. The open-world assumption is closely related to the monotonic nature of first-order logic: adding new information never falsifies a previous conclusion. Namely, if we subsequently learn that Paul is also a citizen of France, this does not change any earlier positive or negative conclusions.

Middle ground[edit]

The language of logic programs with strong negation allows us to postulate the closed-world assumption for some statements and leave the other statements in the realm of the open-world assumption.^[1] An intermediate ground between OWA and CWA is provided by the partial-closed world assumption (PCWA). Under the PCWA, the knowledge base is generally treated under open-world semantics, yet it is possible to assert parts that should be treated under closed-world semantics, via completeness assertions. The PCWA is especially needed for situations where the CWA is not applicable due to an open domain, yet the OWA is too credulous in allowing anything to be possibly true.^[2]^[3]

References[edit]

^ Russell, Stuart J.; Norvig, Peter (2010). Artificial Intelligence: A Modern Approach (3rd ed.). Upper Saddle River: Prentice Hall.
^ Motro (1989). "Integrity = Validity + Completeness".
^ Razniewski, Simon; Savkovic, Ognjen; Nutt, Werner (2015). "Turning The Partial-closed World Assumption Upside Down" (PDF).

[1] Russell, Stuart J.; Norvig, Peter (2010). Artificial Intelligence: A Modern Approach (3rd ed.). Upper Saddle River: Prentice Hall.

[2] Motro (1989). "Integrity = Validity + Completeness".

[Razniewskietal2015-3] Razniewski, Simon; Savkovic, Ognjen; Nutt, Werner (2015). "Turning The Partial-closed World Assumption Upside Down" (PDF).

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
+{{Short description|Assumption in formal logic}}
-In [[formal logic]], the '''open world assumption''' is the assumption that the [[truth-value]] of a [[statement (logic)|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 holds that any statement that is not known to be true is false. The open world assumption (OWA) is used in [[knowledge representation]] to codify the informal notion that in general no single agent or observer has complete knowledge, and therefore cannot make the closed world assumption. The OWA limits the kinds of inference and deductions an agent can make to those that follow from statements that are known to the agent to be true. In contrast, the closed world assumption allows an agent to infer, from its lack of knowledge of a statement being true, anything that [[Logical consequence|follows from]] that statement being false.
+{{Multiple issues|
+{{More citations needed|date=May 2022}}
+{{Technical|date=August 2022}}
+}}
+In a [[Mathematical logic|formal system of logic]] used for [[knowledge representation]], the '''open-world assumption''' is the assumption that the [[truth value]] of a [[statement (logic)|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.
+==Origin==
+An open-world assumption was first developed by Ancient Greek philosophers as a means to explain varying degrees of validity amongst mathematical and philosophical concepts proposed at the time of inception.
+==Logical implication==
+The open-world assumption (OWA) codifies the informal notion that in general no single agent or observer has complete knowledge, and therefore cannot make the closed-world assumption. The OWA limits the kinds of inference and deductions an agent can make to those that follow from statements that are known to the agent to be true. In contrast, the closed world assumption allows an agent to use the lack of knowledge that a statement is true, to infer that the statement is false.
-Heuristically, the open world assumption applies when we represent knowledge within a system as we discover it, and where we cannot guarantee that we have discovered or will discover complete information. In the OWA, statements about knowledge that are not included in or inferred from the knowledge explicitly recorded in the system may be considered unknown, rather than wrong or false.
+Heuristically, the open-world assumption applies when we represent knowledge within a system as we discover it, and where we cannot guarantee that we have discovered or will discover complete information. In the OWA, statements about knowledge that are not included in or inferred from the knowledge explicitly recorded in the system may be considered unknown, rather than wrong or false.
+==Semantic Web languages==
-[[Semantic Web]] languages such as [[Web Ontology Language|OWL]] make the open world assumption. The absence of a particular statement within the web means, in principle, that the statement has not been made explicitly yet, irrespectively of whether it would be true or not, and irrespectively of whether we believe (or would believe) that it is (or would be) true or not. In essence, from the absence of a statement alone, a deductive reasoner cannot (and must
+[[Semantic Web]] languages such as [[Web Ontology Language|OWL]] make the open-world assumption. The absence of a particular statement within the web means, in principle, that the statement has not been made explicitly yet, irrespective of whether it would be true or not, and irrespective of whether we believe that it would be true or not. In essence, from the absence of a statement alone, a deductive reasoner cannot (and must not) infer that the statement is false.
-not) infer that the statement is false.
+==Procedural programming==
+Many [[procedural programming language]]s and [[database]]s make the closed-world assumption. For example, if a typical airline database does not contain a seat assignment for a traveler, it is assumed that the traveler has not checked in. The closed-world assumption typically applies when a system has complete control over information; this is the case with many database applications where the [[database transaction]] system acts as a central broker and arbiter of concurrent requests by multiple independent clients (e.g., airline booking agents). There are, however, many databases with incomplete information: for example, one cannot assume that because there is no mention on a patient's history of a particular allergy, that the patient does not suffer from that allergy.
+==Example==
-Many [[procedural programming language]]s and [[database]]s make the closed world assumption. For example, if a typical airline database does not contain a seat assignment for a traveler, it means the traveler has not checked in. The closed world assumption typically applies when a system has complete control over information; this is the case with many database applications where the [[database transaction]] system acts as a central broker and arbiter of concurrent requests by multiple independent clients (e.g., airline booking agents). There are however many databases with incomplete information: one cannot assume that because there is no mention on a patient's history of a particular allergy, that the patient does not suffer from that allergy.
-'''Example'''
   Statement: "Mary" "is a citizen of" "France"
@@ Line 14: / Line 23: @@
   "Closed world" (for example SQL) answer: No.
-  "Open world" answer: unknown.
+  "Open world" answer: Unknown.
+Under OWA, failure to derive a fact does not imply the opposite. For example, assume we only know that Mary is a citizen of France. From this information we can neither conclude that Paul is not a citizen of France, nor that he is. Therefore, we admit the fact that our knowledge of the world is incomplete. The open-world assumption is closely related to the [[Monotonicity of entailment|monotonic]] nature of [[first-order logic]]: adding new information never falsifies a previous conclusion. Namely, if we subsequently learn that Paul is also a citizen of France, this does not change any earlier positive or negative conclusions.
-Under OWA, failure to derive a fact does not imply the
-opposite. For example, assume we only know that Mary is a citizen of France. From this information we can neither conclude that Paul is not a citizen of France, nor that he is. Therefore, we admit the fact that our knowledge of the world is incomplete. The open world assumption is closely related to the [[Monotonicity of entailment|monotonic]] nature of [[first-order logic]]: adding new information never falsifies a previous conclusion. Namely, if we subsequently learn that Paul is also a citizen of France, this does not change any earlier positive or negative conclusions.
+==Middle ground==
-The language of logic programs with [[Stable_model_semantics#Strong_negation|strong negation]] allows us to postulate the closed world assumption for some predicates and leave the other predicates in the realm of the open world assumption.
+The language of logic programs with [[Stable model semantics#Strong negation|strong negation]] allows us to postulate the closed-world assumption for some statements and leave the other statements in the realm of the open-world assumption.<ref>Russell, Stuart J.; Norvig, Peter (2010). [[Artificial Intelligence: A Modern Approach]] (3rd ed.). Upper Saddle River: Prentice Hall.</ref> An intermediate ground between OWA and CWA is provided by the {{visible anchor|partial-closed world assumption}} (PCWA). Under the PCWA, the knowledge base is generally treated under open-world semantics, yet it is possible to assert parts that should be treated under closed-world semantics, via completeness assertions. The PCWA is especially needed for situations where the CWA is not applicable due to an open domain, yet the OWA is too credulous in allowing anything to be possibly true.<ref>{{Cite web |last=Motro |date=1989 |title=Integrity = Validity + Completeness |url=https://dl.acm.org/doi/pdf/10.1145/76902.76904}}</ref><ref name="Razniewskietal2015">{{Cite web |last=Razniewski |first=Simon |last2=Savkovic |first2=Ognjen |last3=Nutt |first3=Werner |date=2015 |title=Turning The Partial-closed World Assumption Upside Down |url=http://ceur-ws.org/Vol-1644/paper3.pdf}}</ref>
-==References==
-{{cite book|last1=Russell|first1=Stuart J.|last2=Norvig|first2=Peter|title=Artificial intelligence: A modern approach|year=2010|publisher=Prentice Hall|location=Upper Saddle River|isbn=9780136042594|edition=3rd ed.}}
 ==See also==
-*[[Closed World Assumption]]
+* [[Closed-world assumption]]
+* [[Unique name assumption]]
+* [[Certain answer]]
+==References==
-{{DEFAULTSORT:Open World Assumption}}
+{{Reflist}}
+{{DEFAULTSORT:Open-world assumption}}
 [[Category:Logic programming]]
 [[Category:Knowledge representation]]
-[[fr:Hypothèse du monde ouvert]]
-[[hu:Nyílt világ feltételezés]]
-[[ru:Предположение об открытости мира]]
-[[zh:开放世界假定]]