Talk:Circumscription
From Wikipedia, the free encyclopedia
To 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)
