Visual image recognition is one of the central tasks for intelligent systems. The advancement of mathematical, theorem-based research methods here is hampered to a significant extent by the lack of a complete and acceptable formal definition of the concept of a visual image in an arbitrary visual environment. This paper presents the idea of an approach to such a definition by successive approximations, and describes three approximations.
Вадим Никитович Козлов (Mon,) studied this question.