Abstract
We investigate the possibility of using circumscription for characterizing the concept of a generic object in the context of a formalized mathematical theory. We show that conventional circumscriptive policies do not give the intuitively expected results for elementary geometry, and that there is a common explanation for this failure and the failure of circumscription in some standard instances of commonsense reasoning. It turns out, however, that scoped circumscription does provide the right mechanism for this task.
Get full access to this article
View all access options for this article.