BibTeX
@MISC{Aytekin-kurban_feasiblecommitment,
author = {Gulriz Aytekin-kurban and Stuart A. Kurtz},
title = {Feasible Commitment in Predicate Circumscription},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper we introduce a new semantic definition for predicate circumscription. We argue that the new definition is the most general one possible that captures the intuition, i.e., minimizing the objects that satisfy a given property. Yet, we can prove that it does not lead to inconsistency: If the original theory is consistent, then the circumscribed theory is also consistent. We also investigate quasiminimality as a midpoint between abstract minimality and the new definition to provide further comparison. We provide examples of consistent theories that have inconsistent set of consequences under the original and abstract definitions of circumscription. These theories have consistent consequences under the feasible commitment predicate circumscription. Both the feasible commitment predicate circumscription and quasiminimality coincide with circumscription based on abstract minimality whenever it produces sensible results. Therefore, these new definitions also coincid...
Keyphrases
predicate circumscription new definition feasible commitment feasible commitment predicate circumscription abstract minimality inconsistent set consistent consequence circumscribed theory new semantic definition consistent theory sensible result abstract definition quasiminimality coincide original theory
