Ім'я файлу: Тема 4.pptx Розширення: pptx Розмір: 182кб. Дата: 13.03.2021 скачати Пов'язані файли: file_436422.rtf ТЗ-Book.docx Тема 4. ПРЕДСТАВЛЕНИЕ ЗНАНИЙ В СИСТЕМАХ ИСКУССТВЕННОГО ИНТЕЛЛЕКТАДекларативные модели представления знаний Процедурные модели представления знаний Модели представления знанийдекларативные модели семантические сети фреймы процедурные модели исчисления предикатов системы продукций нечёткая логика Семантические сетиИдея: любые знания можно представить в виде совокупности объектов предметной области и отношений между ними представляет собой ориентированный граф, вершинами которого являются информационные единицы, имеющие индивидуальные имена информационные единицы: события, действия, обобщённые понятия или свойства объектов вершины графа соединяются дугой, если соответствующие информационные единицы находятся в каком-либо отношении Пример семантической сетиСтипендия Студент ВУЗ Университет Человек Преподаватель получает учится в это это сдает экзамены это работает в Формальный вид семантической сетиН =I – множество информационных единиц C1, С2,..., Сn – множество типов связей между информационными единицами F – отображение, которое задаёт связи Основные типы связейлогические лингвистические теоретико-множественные функциональные Виды сетей в зависимости от типов связейклассифицирующие
позволяют вводить иерархические отношения между информационными единицами функциональные
сценарии
Фреймыframe - рамка, каркас Теория разработана Марвином Минским в 70-е годах XX века Идея: сконцентрировать все знания о конкретном классе объектов или событий в единой структуре данных Структура фрейма записывается в виде списка свойств – слот Каждый фрейм имеет специальный слот, заполненный наименованием сущности Другие слоты заполнены значениями разнообразных атрибутов N: { |
Лекция | |
Предмет | «Интеллектуальные ИС» |
Лектор | Рак И.П. |
Аудитория | С 348 |
Слушатели | СИЮ-31 |
Обозначение | Название |
| отрицание, логическое НЕ |
| конъюнкция, логическое И, логическое умножение |
| дизъюнкция, логическое ИЛИ, логическое сложение |
или | импликация, если … то… |
или | эквивалентность |
| неравнозначность |
Название закона | Формулы |
Закон двойного отрицания | (P) P |
Закон исключенного третьего | PP t |
Закон противоречия | PP f |
Ассоциативные законы | Р (Q V)(Р Q) V Р (Q V)(Р Q) V |
Коммутативные законы | P Q Q P P Q Q P |
Дистрибутивныe законы | P (Q V) (P Q) (P V) P (Q V) (P Q) (P V) |
Законы де Моргана | (P Q) P Q (P Q) P Q |
Законы для импликации | P Q P Q Р (Q V)(Р Q) V (Р Q) (Р V) Р (Q V) |