In the area of computer science focusing on creating machines that can engage on behaviors that humans consider intelligent. The ability to create intelligent machines has intrigued humans since ancient times and today with the advent of the computer and 50 years of research into various programming techniques, the dream of smart machines is becoming a reality. Researchers are creating systems ...

The relation of similarity is essential in understanding and developing frameworks for reasoning with vague and approximate concepts. There is a wide spectrum of choice as to what properties we associate with similarity and such choices determine the nature of vague and approximate concepts defined in terms of these relations. Additionally, robotic systems naturally have to deal with vague and ...

There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be an equivalence relation (and thus transitive). It is shown that if the uncertainty perception and the question of when an agent reports that two things are indistinguishable are both carefully modeled, the problems dis...

At the basis of categorization theory stands the difference between sharp and vague concepts. Sharp concepts are those for which categorial membership is an all-or-nothing matter: a given object falls or does not fall under a sharp concept, and no intermediate state is conceivable. For vague concepts, on the contrary, intermediate states are possible, and categorial membership becomes a matter ...

In Dummett’s important paper [1] on the sorites paradox it is suggested that the vagueness of observational predicates such as ‘. . .is red’ or more obviously ‘. . .looks red’ generates an apparent incoherence: their use resembles a game governed by inconsistent rules. A similar incoherence is seen by Wright [18, 17] as a real and serious threat to very ordinary ideas of how language works. Wri...

Part 1 of the Global Example describes a situation that cannot be suitably represented by classical Boolean logic. Classical logic provides for two truth values: {true, false}. However, whether or not this paper has been rendered properly has three classes: {true, mostly, false}. Moreover, the distinction between each of the three classes is not well-defined. The problem contains borderline cas...

I comment on the question of how to deal appropriately with vague information by formal means. I am critical of attempts to endow vague concepts with semantics in analogy to crisp concepts that refer to a mathematical structure. I argue, to the contrary, that vagueness pertains to the variability of the models associated with a particular mode of perception; the crucial point from my perspectiv...

A number of arguments purport to show that vague properties determine sharp boundaries at higher orders. That is, although we may countenance vagueness concerning the location of boundaries for vague predicates, every predicate can instead be associated with precise knowable cut-off points deriving from precision in their higher order boundaries. I argue that this conclusion is indeed paradoxic...