Геометрическая логика

Материал из Техническое зрение
Перейти к: навигация, поиск

В классическом труде Евклида геометрия представлена в виде некоторой $\textit{базы знаний}$, включающей $\textit{определения}$ (первичные модели объектов), $\textit{постулаты}$ (априорные знания об объектах и их свойствах) и $\textit{теоремы}$ или $\textit{задачи }$(целевые утверждения), которые требуется соответственно $\textit{доказать}$ или $\textit{построить}$, используя некоторый стандартный механизм $\textit{логического вывода}$. Именно эту схему получения знаний из изображений воспроизводят сегодня системы $\textit{логического программирования}$, включая системы $\textit{геометрического вывода}$. Задачам "на построение" при этом соответствуют задачи обнаружения, а задачам "на доказательство" - задачи распознавания (верификации или идентификации) объектов (см. Д.Пойа "Математическое открытие"). При этом множество $\textit{исходных моделей, априорных утверждений}$ и $\textit{правил вывода}$ образуют в каждой конкретной логической системе анализа изображений некоторую специальную $\textit{геометрическую логику}$, в общем случае принимающую форму $\textit{пространственно-временной логики}$ анализа сцены. Кроме того, во всех современных системах машинного зрения в явной или опосредованной форме всегда используются собственно геометрические сведения и соотношения, почерпнутые из $\textit{планиметрии}, \textit{стереометрии}, \textit{проективной геометрии}$ и других разделов геометрической науки.


Полезные ссылки

  1. ☝ К началу
  2. ☜ Изображение как геометрический объект
Личные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты