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

воспитание, он становится интеллектом взрослого человека.… Наш расчет состоит в том, что
устройство, ему подобное, может быть легко запрограммировано.… Таким образом, мы
расчленим нашу проблему на две части: на задачу построения "программы-ребенка" и задачу
"воспитания" этой программы".
    Можно сказать, что именно этот принцип используется при создании систем,
предназначенных для решения некоторых интеллектуальных задач. Ведь понятно, что
практически невозможно заложить все знания в одну, пусть даже достаточно сложную систему.
К тому же, именно на этом пути проявляются такие существенные признаки интеллектуальной
деятельности как накопление опыта, адаптация к внешним условиям и т.д.
    Создание систем, моделирующих различные (в том числе и интеллектуальные) способности
человека, неизбежно приводит к необходимости философски оценить целесообразность
наделения системы такой системы способностью к самовоспроизведению. Такая способность
долгое время считалась свойством только живых организмов. Однако некоторые явления,
происходящие в неживой природе (например, рост кристаллов, синтез сложных молекул
копированием и пр.), очень похожи на самовоспроизведение. В начале 50-х годов Дж. фон
Нейман занялся основательным изучением способностей различных структур к
самовоспроизведению и заложил основы математической теории "самовоспроизводящихся
автоматов". Он же формально доказал и теоретическую возможность их создания.
    Принципиальная возможность автоматизации решения интеллектуальных задач с помощью
ЭВМ обеспечивается свойством алгоритмической универсальности этих машин. Что же это за
свойство? Алгоритмическая универсальность ЭВМ означает, что на них можно программно
реализовывать (представить в виде машинной программы) любые алгоритмы преобразования
информации, - будь то вычислительные алгоритмы, алгоритмы управления, поиска
доказательства теорем или композиции мелодий. При этом мы имеем в виду, что процессы,
порождаемые этими алгоритмами, являются потенциально осуществимыми, т.е. что они
осуществимы в результате конечного числа элементарных операций. Практическая
осуществимость алгоритмов зависит от имеющихся в нашем распоряжении средств, которые
могут меняться с развитием техники. Так, в связи с появлением быстродействующих ЭВМ,
обладающих большими ресурсами оперативной и дисковой памяти, стали осуществимы такие
алгоритмы, которые ранее считались только потенциально осуществимыми.
    Свойство алгоритмической универсальности заключается не только в том, что для всех
известных алгоритмов оказывается возможной их программная реализация на ЭВМ. Это
свойство означает еще и то, что любое предписание, признанное алгоритмом, может стать в
будущем машинной программой независимо от того, в какой форме оно было выражено
первоначально.
    Но не следует думать, что вычислительные машины и роботы могут в принципе решать
любые задачи. Анализ разнообразных задач привел математиков к замечательному открытию.
Было строго доказано существование таких типов задач, для которых невозможен единый
эффективный алгоритм, решающий все задачи данного типа. В этом смысле невозможно
решение задач такого типа и с помощью вычислительных машин. Этот обстоятельство
приближает нас к пониманию того, что могут делать машины и чего они не могут делать.
Действительно, утверждение об алгоритмической неразрешимости некоторых классов задач
является не просто признанием того, что такой алгоритм нам не известен или никем еще не
найден. Такое утверждение представляет собой одновременно и прогноз на будущие о том, что
подобного рода алгоритм никогда и никем не будет составлен. Или, иными словами, что
такой алгоритм не существует.
    Как же действует человек при решении таких задач? Иногда он просто-напросто игнорирует
их, а в иных случаях - снижает уровень универсальности задачи, и тогда она решается только
для определенного подмножества начальных условий. Бывает и так, что человек методом
случайного поиска находит некоторые новые возможности для составления алгоритма решения


                                                                                        13