On classification and decision making

The aim of this paper is to introduce a formalism suitable for solving classification/decision making problems with classification criteria expressible either as a propositional formula, or as an admissible function of the values of the quality attributes. For our purpose, the class of admissible functions coincides with the class of the RCF definable functions, where RCF is the usual acronym for the first order theory of the real closed fields.