Работы над такими программами ведутся
Работы над такими программами ведутся уже давно, но до полного успеха еще далеко.
Что же до моделирования логического мышления, хорошей задачей здесь может служить автоматизация доказательства теорем. Большой интерес представляла интеллектуальная программа американского математика Хао Ванга. С этой программой машина IBM-704 всего за 3 минуты" вывела 220 относительно простых лемм и теорем, а затем за 8 с половиной минут выдала доказательства еще 130 более сложных теорем, часть их которых еще не была выведена живыми математиками.
В начале 70-х появились логические экспертные системы, основанные на логических моделях «Если А, то В...» и знаниях, предоставляемых экспертами в той или иной области. В программу закладывали информацию, полученную путем детального опроса экспертов в той или иной области (например, на основании каких признаков врач ставит свой диагноз).
Такая система могла не только быстро и эффективно сделать вывод, но и объяснить свои действия, поэтому считалась вполне интеллектуальной.
Начался бум экспертных систем. Практически во всех областях человеческих знаний были созданы такие системы — и практически везде они оказались недостаточно эффективны. Реальная жизнь оказалась сложнее инструкций, хороший специалист принимает решение чисто интуитивно.
К началу 80-х появились системы нечеткой логики. В отличие от традиционных систем, основанных на двоичных множествах («да»—«нет», «истинно»—«ложно»), системы нечеткой логики оперируют бесконечным множеством значений (часто, редко, близко, далеко...) и представляют собой систему приближенных вычислений.
Современный вычислительный интеллект, основанный на «нечеткой» логике, оказался лучше приспособлен к жизни: он успешно адаптируется к изменениям внешней среды, меняя свою логику в зависимости от изменения целей системы. Подобные системы дешевы: «нечеткий» чип стоит сегодня порядка 5 долларов. А в результате стиральная машина сама, определив состав ткани заложенного в барабан белья, выбирает режим стирки, а утюг — оптимальную температуру глажения.
В 90-е годы для самообучения интеллектуальных систем была создана мощная вычислительная система поиска оптимальны) решений — генетический алгоритм. Используя эволюционные модели: естественный отбор, закрепление лучших наследственных признаков, а также метод проб и ошибок — интеллектуальные системы из множества возможных решений задачи находят наилучшее.
Интеллектуальные системы последнего поколения представляют собой вычислительный интеллект и используют гибридный подход, при котором в разных частях системы работают разные вычислительные модели, которые активно взаимодействуют между собой.
Содержание Назад Вперед
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий