Интеллектуальные информационные системы. Дубровин А.Д. - 14 стр.

известной программе К.Грина, реализующей вопросно-ответную систему, знания записываются
на языке логики предикатов в виде набора аксиом, а вопросы, задаваемые машине,
формулируются в виде подлежащих доказательству теоремы. Программа американского
математика Хао Ванга за 3 минуты работы IBM-704 вывела доказательства 220 относительно
простых лемм и теорем из фундаментальной математической монографии, а затем, менее, чем за
10 минут, выдала доказательства еще 130 более сложных теорем, некоторые из которых были
получены впервые.
   Весьма представительным направлением в области создания моделей, воспроизводящих
способности человека, является робототехника. Однако, «интеллект» робота отличается от
«интеллекта» универсальных вычислительных машин. Великий русский физиолог И.М.Сеченов
писал: «… все бесконечное разнообразие внешних проявлений мозговой деятельности сводится
окончательно лишь к одному явлению - мышечному движению». Другими словами,
интеллектуальная деятельность человека во многом характеризуется активным взаимодействии с
внешним миром посредством движений. «Интеллект» робота проявляется прежде всего в
организации его целенаправленных движений. Первых роботов трудно назвать
интеллектуальными, но постепенно характеристики роботов улучшались, и хотя сегодня их
мыслительные возможности еще далеки от возможностей человека, но некоторые манипуляции
предметами они выполняют на уровне лучших жонглеров. А последние международные выставки
свидетельствуют о заметном, хотя и не оправдывающем первые ожидания, прогрессе в этой
области.
   Что касается предназначения чисто компьютерных моделей интеллекта, то оно состоит в
решении интеллектуальных задач, носящих абстрактный или вспомогательный характер. То есть
таких задач, которые обычно не связаны ни с восприятием окружающей среды посредством
искусственных органов чувств, ни с организацией движений исполнительных механизмов.
   Т.о., мы попытались пояснить смысл понятия «интеллектуальная задача», связав его с
понятием алгоритма. Очевидно, что особого «участия» интеллекта требует решение задач, не
поддающиеся формализации, или задач, решение которых может быть получено только на
основании жизненного опыта и интуиции.                Такие    задачи принято называть
«неформализуемыми». Сюда же относятся задачи, для решения которых не существует
алгоритма или, даже если алгоритм или метод решения существуют, но реализация их без
применения системы, моделирующей интеллектуальные способности человека, невозможна по
тем или иным причинам. Такими причинами могут быть: слишком большая размерность
пространства, на котором решается задача; ограниченность ресурсов, необходимых для
машинной реализации алгоритма; физическая невозможность участия человека в управлении
объектом, системой или процессом.
            Неформализуемым задачам свойственны следующие основные признаки:
         - постановки этих задач не могут быть сформулированы в количественной форме – они
       формулируются с помощью показателей качественных категорий или в терминах
       нечетких множеств («много – мало», «хорошо – плохо», «вполне достаточно – достаточно
       – недостаточно» и т.п.);
         - цель задачи не может быть выражена в терминах строго определенной целевой
       функции;
          - не существует алгоритмического решения задачи.
            В общем случае все задачи, решаемые искусственно созданными системами,
       моделирующими интеллектуальные способности человека и получившими название
       интеллектуальных информационных систем (ИИС), можно представить тремя
       категориями. Это задачи анализа, задачи синтеза и задачи, сочетающие анализ и синтез
       информации, отражающей свойства сущностей реального мира и отношения между ними.
       Такие задачи будем условно называть комбинированными. К задачам анализа относятся
       интерпретация свойств этих сущностей, диагностика их состояния и связей между ними.


                                                                                       18