- •Лекция №2
- •Интеллектуальные информационные системы (ИИС)
- •Данные и знания
- •Данные и знания
- •Этапы трансформации данных
- •Этапы трансформации знаний
- •Базы данных и базы знаний
- •Декларативные и процедурные знания
- •Декларативный подход к проектированию СОЗ
- •Интеллектуальные информационные системы (ИИС)
- •Экспертные системы
- •Экспертные системы
- •Структура экспертной системы
- •Специалисты, взаимодействующие с ЭС
- •Основные компоненты ЭС
- •Дополнительные компоненты ЭС
- ••Промышленные прикладные ЭС могут быть существенно сложнее и дополнительно включать базы и хранилища
- •Этапы проектирования ЭС
- •Типичные модели представления знаний
- •Логическая модель представления знаний
- •Языки представления знаний
- •Синтаксис и семантика ЯПЗ
- •Представление знаний в логике высказываний (пропозициональной логике)
- •Синтаксис пропозициональной логики
- •Семантика пропозициональной логики
- •Семантика пропозициональной
- •Общезначимость и выполнимость
- •Логическое следствие
- •Логическое следствие из базы знаний
- •Логический вывод и логическое следствие
- •Проверка по моделям
- •Формирование доказательств
- •Формирование доказательств с
- •Теорема дедукции
Проверка по моделям
•Простейший алгоритм логического вывода – проверка по моделям, в котором осуществляется перебор всех возможных моделей для проверки истинности высказывания во всех моделях, в которых истинна база знаний БЗ.
•Является непротиворечивым и полным.
•Может применяться лишь к конечной БЗ.
•Всего надо перебрать 2k возможных моделей (k – количество символов)
Формирование доказательств
•Более эффективный способ логического вывода – формирование доказательств. Этот способ основан на применении
специальных шаблонов логического вывода, называемых правилами логического вывода.
•Например, правило Modus Ponens, которое используется в прямом и обратном алгоритмах логического вывода:
,
Формирование доказательств с
использованием логических эквивалентностей
Теорема дедукции
Для любых двух высказываний и ,= тогда и только тогда, когда высказывание ( ) является общезначимым.
Другая формулировка:
Для любых двух высказываний и ,= тогда и только тогда, когда высказывание ( ) является противоречивым.