A theorem on the consistency of circumscription

摘要

This paper gives more general conditions under which McCarthy's circumscription is consistent, allowing application of the method outside the domain of universal sentences. It is shown that circumscription as presented here continues to correspond to the semantic model of minimization. Some applications are detailed.