Talk:Closed-world assumption

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Philosophy (Rated Stub-class, Low-importance)
WikiProject icon This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.
Stub-Class article Stub  This article has been rated as Stub-Class on the project's quality scale.
 Low  This article has been rated as Low-importance on the project's importance scale.
 

the table currently hyperlinks items. This is bizarre and confusing to read. The article has nothing to DO with these random links The preceding unsigned comment was added by 66.30.8.51 (talk • contribs) 03:38, 22 December 2005 (UTC)

Merge with OWA[edit]

I would suggest to somehow merge the contents of this and the Open World Assumption article. They ought to explain essentially the two ends of the same concept. Or, in other words, you can not explain one without explaining the other, so that both articles would most likely end up looking like mirror images of each other. However I can not think of a proper way of doing so (redirecting one article to the other doesn't seem 'fair'). There should be examples of similar situations elsewere in Wikipedia, does anybody know about such examples? What has been previously done in such cases? --NavarroJ 11:42, 18 July 2006 (UTC)

While they intuitively are closely related, CWA is technically a form of Non-monotonic logic, while OWA seems to be mostly studied in ontology languages. I'd rather keep them separated for now, and see how these two articles evolve. The downside of merging is that the merged article is likely to evolve in two separate and mostly independent parts (Liberatore, 2006). 11:53, 18 July 2006 (UTC)

Bold text

Criticism of formula[edit]

The following criticism was written directly into the text of the article by HassanAitKaci (talk):

Alternative formalizations not suffering from this problem have been proposed. In the following description, the considered knowledge base K is assumed to be propositional. In all cases, the formalization of the closed world assumption is based on adding to K the negation of the formulae that are “free for negation” for K, i.e., the formulae that can be assumed to be false. In other words, the closed world assumption applied to a propositional formula K generates the formula:

K \wedge \{\neg f ~|~ f \in F\}.
  • NOTE FROM PUZZLED READER: The above formal statement makes no logical sense since it conjoins K with the negations of all the propositions that are in K - which is always inconsistent! Shouldn't it rather be: K \wedge \{\neg f ~|~ f \not\in F\}?

--LukasMatt (talk) 12:44, 25 May 2014 (UTC)

Definition[edit]

The definition currently reads:

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.

I do not find it logically convincing that an "assumption" is defined as a "presumption". An assumption and a presumption are two different things, see for instance:

http://www.vocabulary.com/articles/chooseyourwords/assume-presume/

I think presumption in that sentence should be replaced by assumption.