A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
In this paper we present a novel explanation of the source of indefinite information in common sense reasoning: Indefinite information arises from reports about the world expressed in terms of concepts that have been defined using only definite rules. Adopting this point of view, we show that first-order logic is insufficiently expressive to handle important examples of common sense reasoning. As a remedy, we propose the use of circumscribed definite rules, and we then investigate the proofdblp:conf/ijcai/McCartyM91 fatcat:2ecufuexqncd5bc2crpgjbrjyy