In the framework of the logical-axiomatic approach to pattern recognition problems, guaranteed estimates on the performance of the corresponding algorithms are derived by means of considering different formulations of problems including the problem of analysis of a compound object.