А.В.ТИМОФЕЕВ - Адаптивные роботехнические комплексы
наряду с исходной системой аксиом), который позволяет уменьшить исходную неопределенность относительно условий решения задачи. Использование аксиом обучения особенно эффективно в тех случаях, когда в них либо раскрывается неопределенность (т. е. содержится новая необходимая для решения задачи информация), либо запоминается в компактной форме часто встречающийся в рассматриваемом классе задач фрагмент решения. В самом деле, если в процессе решения очередной задачи потребуется вывести уже доказанную ранее формулу, то, критерий предпочтения аксиом обучения сократит общее число шагов поиска логического вывода по крайней мере на длину вывода соответствующей аксиомы обучения.
Рассмотрим теперь применение языка исчисления предикатов и связанных с ним средств поиска логического вывода для автоматического формирования понятий, представления знаний, синтеза решающих правил, распознавания объектов и анализа сцен. Решение этих задач позволит создать соответствующие элементы интеллекта РТК.
7.4. АВТОМАТИЧЕСКОЕ ФОРМИРОВАНИЕ ПОНЯТИЙ И АКСИОМАТИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ ЗНАНИЙ
Проблема формирования понятий и представления знаний играет важную роль не только при организации интеллектуального интерфейса, но и при разработке адаптивных систем распознавания для РТК. Острая необходимость в эффективных методах решения этой проблемы возникает, например, при распознавании речевых команд, при анализе видеосцен и при моделировании окружающей среды в памяти управляющей системы РТК.
Для формирования понятий и представления знаний, связанных с задачей распознавания, воспользуемся описанным выше языком исчисления предикатов. Роль предметной области й здесь играет множество объектов из М классов. Каждому классу объектов Qh, к — 1..... М, соответствует свой решающий предикат вида
представляющий собой характеристическую функцию класса ЙА.
На практике классы йм не заданы, поэтому и решаю-
щие предикаты (5.6) неизвестны.
Предположим, что информационная система РТК позволяет ему определять некоторые свойства объектов, подлежащих распознаванию. Каждому такому свойству поставим в соответствие предикат-признак вида
1, если со£^а;
О — в противном случае,
(7.4)
1
1, если объект со обладает 1-й свойством; О — в противном случае.
(7.5)
241
