
- •Глава 1. Основные определения, история проблемы,
- •Глава 2 Онтологическая инженерия описания предметной области ……50
- •Глава 3. Представление и вывод знаний в системах искусственного интеллекта на основе логических моделей. 65
- •Глава 4 Представление и вывод знаний в системах искусственного интеллекта на основе семантических сетей 98
- •Контрольные вопросы и задание 110
- •Глава 5. Представление и вывод знаний в системах искусственного интеллекта на основе фреймовых моделей. 111
- •Глава 6. Представление и вывод знаний в системах искусственного интеллекта на основе продукционных моделей. 118
- •Глава 7. Представление и вывод неопределённых знаний в системах искусственного интеллекта. 132
- •Лекция 1
- •Глава 1. Основные определения, история проблемы, современные направления развития.
- •Основные определения искусственного интеллекта.
- •1.2. Тест Тьюринга
- •Науки, лежащие в основе искусственного интеллекта
- •Вычислительная техника (период с 1940 года по настоящее время)
- •История искусственного интеллекта.
- •Рождение искусственного интеллекта (1956 год)
- •Ранний энтузиазм, большие ожидания (период с 1952 года по 1969 год)
- •Столкновение с реальностью (период с 1966 года по 1973 год)
- •Лекция 2
- •Основные современные направления развития искусственного интеллекта
- •1.6. Основные понятия о знаниях.
- •1.7. Выводы по 1-ой главе:
- •Контрольные вопросы и задание
- •Лекция 3
- •Глава 2 Онтологическая инженерия описания предметной области.
- •2.1. Понятие онтологии.
- •2.2. Теория множеств - математический аппарат описания онтологии.
- •2.2.1. Основные понятия и определения.
- •Лекция 4
- •2.2.2.Операции над множествами
- •2.2.3. Декартово произведение множеств
- •2.2.4. Отношения и их свойства.
- •2.3. Предметы, свойства и отношения предметной области.
- •Лекция 5
- •2.4. Понятие цели
- •2.5. Методика решения задач.
- •2.6. Понятие модели.
- •2.7. Методика построения онтологии.
- •2.8. Выводы по 2-ой главе.
- •2.9. Контрольные вопросы и задание.
- •Лекция 6
- •Глава3 Представление и вывод знаний в системах искусственного интеллекта на основе логических моделей.
- •3.1. Основы математической логики
- •3.1.1. Классификация и определение логик, алгебр, исчислений, теорий.
- •3.1.2.Традиционная логика.
- •Лекция 7
- •3.1.3.Логика, алгебра и исчисление высказываний.
- •3.1.4. Логика, алгебра и исчисление предикатов
- •Лекция 8
- •3.1.5. Формальные методы вывода решений в аксиоматических теориях.
- •3.1.6. Приведение формул исчисления предикатов к дизъюнктам Хорна.
- •4. Исключение кванторов существования.
- •3.2. Логическая модель представления знаний.
- •3.3. Вывод в системах искусственного интеллекта с логическим представлением знаний.
- •3.3.1. Правило резолюции.
- •Стратегия полного перебора.
- •Стратегия опорного множества.
- •3. Линейная по входу стратегия.
- •3.4. Выводы по 3-ой главе.
- •Контрольные вопросы и задание.
- •Лекция 9
- •Глава 4 Представление и вывод знаний в системах искусственного
- •Элементы теории графов
- •4.1.1. Способы задания графов.
- •1. Графический
- •2. С помощью матрицы инцидентности.
- •3. С помощью списка ребер.
- •4. С помощью матрицы смежности.
- •4.1.2. Задачи, решаемые с помощью графов.
- •Задача поиска наикратчайшего пути на графе.
- •Транспортная задача.
- •Задача о назначении (задача коммивояжера).
- •Задача о назначении работ.
- •Лекция 10
- •4.2. Представления знаний в виде семантических сетей.
- •4.3. Вывод в системах искусственного интеллекта с представлением знаний в виде семантических сетей.
- •Выводы по 4-ой главе.
- •Контрольные вопросы и задание.
- •Лекция 11
- •Глава 5. Представление и вывод знаний в системах искусственного интеллекта на основе фреймовых моделей.
- •5.1. Представления знаний в виде фреймов
- •5.2. Вывод в системах искусственного интеллекта с фреймовым
- •Выводы по 5-ой главе.
- •5.4. Контрольные вопросы и задание.
- •Лекция 12
- •Глава 6. Представление и вывод знаний в системах искусственного интеллекта на основе продукционных моделей.
- •Представление знаний в виде в виде системы продукций.
- •6.2. Продукционные системы
- •6.3. Прямой и обратный вывод в продукционных системах.
- •Лекция 13
- •6.4. Пример работы продукционной системы.
- •6.5. Выводы по 6-ой главе
- •6.6. Контрольные вопросы и задание
- •Лекция 14
- •Глава 7. Представление и вывод неопределённых знаний в системах искусственного интеллекта
- •Представление и вывод при нечётких знаниях.
- •7.1.1. Определение нечёткого множества.
- •7.1.2. Операции над нечёткими множествами.
- •Лекция 15
- •7.1.3. Нечёткие отношения.
- •Формальные методы вывода решений в нечёткой логике.
- •Лекция 16
- •7.2.Представление и вывод при неполных знаниях.
- •Вероятностный подход к представлению неопределённых знаний.
- •Определения и виды вероятности
- •Аксиомы вероятностей
- •Лекция 17
- •7.2.4. Формальные методы вывода решений при вероятностном подходе.
- •7.2.5. Правило Байеса и его использование.
- •Байесовская сеть представления и вывода вероятностных знаний.
- •Другие способы представления и вывода неопределённых знаний.
- •Выводы по 7-ой главе
- •7.5. Контрольные вопросы и задание.
- •Литература
6.5. Выводы по 6-ой главе
Оценка продукционных систем:
Достоинства:
Высокая степень детализации знаний.
Независимость отдельных элементов знаний друг от друга.
Рассмотрение базы знаний как совокупности активных процессов допускает асинхронную организацию решения задач с высокой степенью параллельности.
Продукционные модели применимы к области со слабоформализированными знаниями (медицина, биология и т.д.).
Недостатки:
Продукционные базы знаний не наглядны.
Низкая эффективность стратегии управления.
6.6. Контрольные вопросы и задание
6.6.1.. Охарактеризуйте продукционную модель представления знаний. Приведите примеры представления знаний правилами. В чем отличия между продукционными системами с прямыми, обратными и двунаправленными выводами?
6.6.2. Опишите функционирование механизма вывода продукционной ЭС и охарактеризуйте его составляющие: компоненту вывода и управляющую компоненту. 6.6.3. Сформулируйте собственные примеры прямого и обратного вывода в ЭС продукционного типа.
6.6.4. Разработайте программную реализацию интеллектуальной системы с продукционным представлением знаний и механизмом вывода на базе правила Modus Ponendo Ponens.
6.6.5. Выполните формализацию знаний средствами продукционной модели, которые могут использоваться в интеллектуальной системе для поддержки задач диагностики экономического и финансового состояния предприятия (других задач).
6.6.6. Выполните представление знаний средствами описанных моделей для известной Вам игры.
Лекция 14
Глава 7. Представление и вывод неопределённых знаний в системах искусственного интеллекта
Представление и вывод при нечётких знаниях.
Известно, что количественные данные (знания) могут быть неточными, при этом существуют количественные оценки такой неточности (доверительный интервал, уровень значимости, степень адекватности и т.д.). Лингвистические знания также могут быть неточными. Для учета неточности лингвистических знаний используется теория нечетких множеств, предложенная Л. Заде в 1965 г. Этому ученому принадлежат слова: «фактически нечеткость может быть ключом к пониманию способности человека справляться с задачами, которые слишком сложны для решения на ЭВМ». Развитие исследований в области нечеткой математики привело к появлению нечеткой логики и нечетких выводов, которые выполняются с использованием знаний, представленных нечеткими множествами, нечеткими отношениями, нечеткими соответствиями и т. д.
7.1.1. Определение нечёткого множества.
Нечеткие множества выражаются понятиями: «сильно», «очень», «слабый», «несколько» и т.п.
1 2 3 4 5 6 7 8 9 10
Нет ничего: 0; Не много: 5 – 8;
Очень мало: 1 -2; Много: 9 – 10;
Мало: 1- 4; Очень много: >10.
Нечеткое подмножество А множества элементов U области рассуждений определяется функцией принадлежности µА отраженной на интервале [0;1], которая связывает с каждым элементом y є U число µА(у) в интервале [0;1], которая представляет собой степень принадлежности у к А.
Элемент подмножества А называется синглетон.
Нечеткое множество А можно рассмотреть как объединение синглетонов, которые можно коротко описать:
А = µА(у)/у – при бесконечном количестве элементов U.
U
A = µ1/y1+ µ2/y2 +… +µn/yn = ∑µi/yi ; (i = 1,…n)– при конечном количестве элементов U.
Пример: Пусть U – это числа U = {1,2,…,10}, а нечеткое множество А зададим понятием «несколько».
А
<несколько>
0,4/2 + 0,7/3 + 0,2/8 + 0,7/9 (3 ближе к понятию
«несколько»).
- равенство по определению. µА(у) = [0;1].
Чем больше степень принадлежности µ(А), тем выше степень коэффициента. Выбор µ (коэффициентов) субъективен. В этом основная проблема нечетких множеств.
В <много> 0,1/2 + 0,3/3 + 0,5/4 + 0,7/8 + 1/10.
Пример:
U = {пинчер, гончая, овчарка, бульдог}.
A <злой> 0,9/пинчер + 0,2/гончая + 0,5/овчарка + 0,6/бульдог;
A <добрый> 0,1/пинчер + 0,8/гончая + 0,5/овчарка + 0,4/бульдог;