A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
2008
Journal of Logic, Language and Information
We motivate and formalize the idea of sameness by default: two objects are considered the same if they cannot be proved to be different. This idea turns out to be useful for a number of widely different applications, including natural language processing, reasoning with incomplete information, and even philosophical paradoxes. We consider two formalizations of this notion, both of which are based on Reiter's Default Logic. The first formalization is a new relation of indistinguishability that
doi:10.1007/s10849-008-9057-6
fatcat:2keui3whmnf7pmp4w56eiukac4