
- •1.Введение в функциональное и логическое программирование
- •1.1. Основные классы вычислительных моделей
- •1.1.1 Процедурная вычислительная модель
- •1.1.2 Функциональная вычислительная модель
- •1.1.3. Логическая вычислительная модель
- •1.1.4. Объектно-ориентированная вычислительная модель (ооп)
- •1.2.Метод оценки (способ получения результатов)
- •1.3. Обмен информацией в процессе оценки
- •1.4.Понятие искусственного интеллекта
- •1.5.Символьные языки программирования
- •1.6. Основные направления в искусственном интеллекте
- •Для работы в сфере ии надо иметь:
- •1) Языки ии, обеспечивающие простоту модификации
- •3) Важна и структура самой машины, позволяющая с
- •2.Основы логического программирования и язык Пролог.
- •2.1.Основные понятия
- •2.2.Определение отношений на основе фактов и правил
- •2.3 Пример программы на языке Пролог
- •2.4.Использование рекурсии
- •2.5.Декларативная и процедурная трактовка программы
- •2.6. Cтруктура программы
- •2.7.Особенности лп:
- •2.8 Использование предиката not и
- •3.Синтаксис Пролога
- •3.1. Объекты данных
- •3.2. Составные объекты и альтернативные домены. В утверждениях объекты представляют собой данные.
- •3.2.1. Составная структура
- •Листинг3.1. Использование доменной структуры с именем personal_library
- •3.2.2.Доменная структурная диаграмма программы “Библиотека” (дсд)
- •3.2.3.Предикатная структурная диаграмма программы “Библиотека” (псд)
- •3.2.4. Альтернативные домены
- •Выводы:
- •Рассмотрение работы с составными объектами и альтернативными доменами закончено. Посмотрим, как именно строится логический вывод, реализованный на эвм?
- •3.3. Сопоставление структур(matching)
- •3.4.Унификация и подстановки (Unify).
- •3.5.Основные правила поиска с возвратом:
- •Листинг 3.4.Унификация и поиск с возвратом
- •4.Принцип резолюции
- •Метод резолюции в исчислении предикатов – это пра-
- •4.1.Логическое следствие
- •4.2. Логический вывод
- •4.3 Преимущества и недостатки метода резолюции
- •4.4. Пример применения метода резолюций.
- •5. Управление поиском решений
- •5.1.Метод отката после неудачи – опн
- •5.2 Метод отсечения и отката – оо
- •5.2.1.Влияние предиката cut на составную цель
- •5.2.3. Использование зеленых и красных отсечений
- •5.2.4.Использование предиката not как средства управления
- •5.3.Метод повтора, определяемый пользователем (мп)
- •5.4.Методы организации рекурсии
- •Листинг 5.9. Бесконечная рекурсия (хвостовая рекурсия)
- •Пример программы, которая циклически считывает символ, введенный пользователем. Если символ не равен #, то он выводится на экран, иначе процесс заканчивается.
- •Листинг 5.14. Пример рекурсии для генерации ряда чисел в порядке возрастания
- •Определение
- •Список помогает сделать программу компактной, эффектив-
- •Список – это рекурсивный составной объект, поэтому
- •6.1.Операции над структурами данных типа список.
- •6.2.Предикат findall
- •6.3. Операции со структурами данных.
1.6. Основные направления в искусственном интеллекте
В рамках ИИ различают три основных направления:
символьное (нисходящее) , которое основано на моделировании процессов мышления человека, на представлении и использовании знаний;
нейросетевое (восходящее) направление, которое основано на моделировании отдельных структур мозга (нейронов).
Интерактивные интеллектуальные системы
Сверхзадачей ИИ является построение компьютерных интеллектуальных систем, которые обладают уровнем эффективности решений неформализованных задач, сопоставимым с человеческим или превосходящим его.
В качестве критерия интеллектуальности предложен так называемый тест Тьюринга.
Алан Тьюринг предложил его для проверки того, является ли компьютер разумным в человеческом смысле слова. Тест заключается в том, что человек-судья переписывается с двумя собеседниками на естественном языке. Один из собеседников- человек, другой – компьютер. Каждый из собеседников старается, чтобы человеком признали его. Общение сводится к обмену текстовыми сообщениями. Промежутки времени передачи сообщений контролируются, чтобы судья не мог делать заключения исходя из скорости ответов. Если судья не может надежно определить, кто есть кто, тогда считается, что компьютер прошел тест.
К настоящему времени ни одна аппаратно-программная система не достигла такого уровня развития, чтобы успешно пройти тест Тьюринга.
Поэтому в последнее время в рамках идеологии ИИ рассматривается третий подход к построению систем а именно, создание смешанных человекомашинных, или, интерактивных интеллектуальных систем, осуществляющих симбиоз возможностей естественного и искусственного интеллекта. Важнейшими проблемами в этих исследованиях являются оптимальное распределение функций между естественным и искусственным интеллектом и организация диалога между человеком и машиной.
С ИИ тесно связаны математика, логика, теория информатики, филология, философия, психология и много других смежных областей знаний.
1.7. Подходы к построению ИИ.
1) логический – основанный на правилах логического вывода;
2) структурный – моделирование структуры человеческого мозга. Основой моделирования является нервная клетка – нейрон. (например, модель зрительного восприятия и распознавания –перцептрон). Отсюда направление –нейронные сети ( строим отдельный нейрон, разрабатываем топологию связей между нейронами, разрабатываем алгоритм обучения) Нейронные сети успешно применяются в задачах распознавания образов, в робототехнике, для обслуживания АЭС, ТЭС, в медицине, автономные летающие устройства для сбора разведывательной информации(беспилотные самолеты).Наиболее известны нейросети с обратным распространением ошибки, сети Хопфилда и стохастические (вероятностные) нейронные сети.
Легкое распараллеливание алгоритма и высокая производительность нейронных сетей даже в условиях неполноты информации является их неоспоримым примуществом.
3) эволюционный подход – построение начальной модели и разработка правил, по которым она может изменяться (эволюционировать).При этом начальная модель может быть любой (и логической, и структурной). Разрабатывается эволюционный алгоритм, проверка на оптимальность - то есть выбор наилучшей модели по определенному критерию, а дальше моделируются новые модели и т.д.
4) имитационный – кибернетический подход Объект, поведение которого имитируется, представляется черным ящиком. Главное, чтобы модель в аналогичной ситуации вела себя также как и моделируемый объект. Используется теория адаптивных систем и эволюционного развития.
5) смешанные системы
Замечания
Большой интерес представляют голографические системы обработки информации. Они обещают решение тех задач ИИ, с которыми не справляются даже самые мощные компьютеры. Это связано с тем, что некоторые ключевые механизмы работы нашего мозга похожи на механизмы работы оптической голограммы.
В рамках парадигм ФЛП предлагаются различные методики и инструменты для решения задач ИИ.