Reasoning in Basic Description Logics and Description Logics with Modal Operators
Refinements of inductive inference by Popperian and reliable machines
Rough membership functions: a tool for reasoning with uncertainty
A variety of numerical approaches for reasoning with uncertainty have been investigated in the literature. We propose rough membership functions, rm-functions for short, as a basis for such reasoning. These functions have values in the interval [0,1] and are computable on the basis of the observable information about the objects rather than on the objects themselves. We investigate properties of the rm-functions. In particular, we show that our approach is intensional with respect to the class of...