Paired Structures, Imprecision Types and Two-Level Knowledge Representation by Means of Opposites.

Opposition-based models are a current hot-topic in knowledge representation. The point of this paper is to suggest that opposition can be in fact introduced at two different levels, those of the predicates of interest being represented (as short/tall) and of the logical references (true/false) used to evaluate the verification of the former. We study this issue by means of the consideration of different paired structures at each level. We also pay attention at how different types of fuzziness may be introduced in these paired structures to model imprecision and lack of knowledge. As a consequence, we obtain a unifying framework for studying the relationships between different knowledge representation models and different kinds of uncertainty.