 | Disambiguation | |||
| ||||
Untitled
editTo do:
- circumscription corresponds to ECWA
- prioritized circumscription
- mention that minimiality can be generalized, leading to preferential entailment;
- complexity issues;
- relationship with other logics, in particular default logic;
- cardinality circumscription.
The historical part of the article should be made more precise. In particular, McCarthy started with domain circumscription, then introduced predicate circumscription where all other predicates are fixed, and then turned to formula circumscription with varying predicates. Moreover, he initially started with axiom schemas and then turned to second-order formulae. The version of circumscription using < is actually due to Lifschitz, who also formalized the situation in which there are both fixed and varying predicates (the latter was also done by McCarthy in the same year).
Paolo Liberatore (Talk) 11:40, 11 October 2005 (UTC)
Clarity
editPeople need to stop writing science/philosophy-related articles with esoteric language that causes the everyday reader to close their browser window. Wikipedia sucks for science-related articles because these editors don't know how to write in a clear way!-69.253.5.27 22:26, 29 August 2007 (UTC)