Conclusiveness of natural languages and recognition of images

Abstract General assumption of the paper is that perception results in some internal structures which may be converted into symbols being raphs and natural languages. Conclusiveness (decidability) of any natural language is investigated by analogy to the formal theories: the real world being perceived is treated as metatheory whereas events, images, and scenes are considered as a metalanguage, and all symbols representing the real world (the symbols include all natural languages) are viewed as a theory. Any natural language comprises descriptions (representations) of properties, features, relations, and expressions relating to the physical laws of the real world. Any subset of the theory (e.g., a natural language) forms a language, as in formal theories. The conclusiveness is investigated using recognition processes and one-one correspondence between expressions of a natural language and graphs representing events. The graphs, as conceived in psycholinguistics, are obtained as a result of perception proce...