Гриценко, В. І.Шлезингер, М. І.2013-06-102013-06-102011Гриценко В. І. Формальные модели, задачи и алгоритмы образного мышления / В. І. Гриценко, М. І. Шлезингер // Автоматика / Automatics – 2011 : матеріали XVIII Міжнародної конференції з автоматичного управління, 28–30 вересня 2011 року, Львів / Національна академія наук України [та інші]. – Львів : Видавництво Львівської політехніки, 2011. – С. 32–33. – Библиография: 10 названий.https://ena.lpnu.ua/handle/ntb/19514Theoretical base of intellectual activity is described,which is imaginatory reasoning. This type of activity is described in the form that allows its artificial realization, i.e. via unambiguous definition of main concepts, problem formulation and method of its solution. The presented theory forms an interfacial joint between constraint satisfaction theory and structural pattern recognition.ruconstraint satisfaction problemlabelingsupermodular optimizationArticle