Ім'я файлу: Тема 4.pptx
Розширення: pptx
Розмір: 182кб.
Дата: 13.03.2021
скачати
Пов'язані файли:
file_436422.rtf
ТЗ-Book.docx

Тема 4. ПРЕДСТАВЛЕНИЕ ЗНАНИЙ В СИСТЕМАХ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА


Декларативные модели представления знаний
Процедурные модели представления знаний

Модели представления знаний


декларативные модели

семантические сети

фреймы

процедурные модели

исчисления предикатов

системы продукций

нечёткая логика

Семантические сети


Идея: любые знания можно представить в виде совокупности объектов предметной области и отношений между ними представляет собой ориентированный граф, вершинами которого являются информационные единицы, имеющие индивидуальные имена информационные единицы: события, действия, обобщённые понятия или свойства объектов вершины графа соединяются дугой, если соответствующие информационные единицы находятся в каком-либо отношении

Пример семантической сети


Стипендия

Студент

ВУЗ

Университет

Человек

Преподаватель

получает

учится в

это

это

сдает экзамены

это

работает в

Формальный вид семантической сети

Н =


I – множество информационных единиц
C1, С2,..., Сn – множество типов связей между информационными единицами
F – отображение, которое задаёт связи

Основные типы связей


логические лингвистические теоретико-множественные функциональные

Виды сетей в зависимости от типов связей


классифицирующие

    используются отношения структуризации: is-a (является) и has-part (имеет часть)
    позволяют вводить иерархические отношения между информационными единицами


функциональные


сценарии

    используют причинно-следственные отношения ("средство – результат", "орудие – действие" и т. п.)

Фреймы


frame - рамка, каркас
Теория разработана Марвином Минским в 70-е годах XX века
Идея: сконцентрировать все знания о конкретном классе объектов или событий в единой структуре данных


Структура фрейма записывается в виде списка свойств – слот
Каждый фрейм имеет специальный слот, заполненный наименованием сущности
Другие слоты заполнены значениями разнообразных атрибутов

N: {,...,,...,}


N – имя фрейма
Sk – имя слота
Vk – значение слота
Pk – процедура

Пример фрейма «Лекция»


Лекция

Предмет

«Интеллектуальные ИС»

Лектор

Рак И.П.

Аудитория

С 348

Слушатели

СИЮ-31

Иерархическая система фреймов


Между объектами (фрейм) могут существовать аналогии
Сложные объекты представляются комбинацией нескольких фреймов (вложенными фреймами)
Фрейм может наследовать информацию от предшественников в системе фреймов (AKO-связи)

Пример иерархической системы фреймов

Исчисление предикатов


Булева алгебра и логика высказываний не всегда подходят для выражения логических рассуждений, проводимых людьми
Логика предикатов является расширением логики высказываний
Основной объект - переменное высказывание (предикат), истинность и ложность которого зависят от значения его переменных

Элементы логики высказывания


Обозначение

Название



отрицание, логическое НЕ



конъюнкция, логическое И, логическое умножение



дизъюнкция, логическое ИЛИ, логическое сложение

 или 

импликация, если … то…

 или 

эквивалентность



неравнозначность

Эквивалентные формулы


Название закона

Формулы

Закон двойного отрицания

(P)  P

Закон исключенного третьего

PPt

Закон противоречия

PPf

Ассоциативные законы

Р (Q V)(Р Q) V

Р (Q V)(Р Q) V

Коммутативные законы

P Q Q P

P Q Q P

Дистрибутивныe законы

P  (QV)  (PQ)  (PV)

P  (QV)  (PQ)  (PV)

Законы де Моргана

 (P Q)   P   Q

 (PQ)   P   Q

Законы для импликации

PQ   PQ

Р (Q V)(Р Q) V

(Р Q) (Р V)  Р (Q V)

термы предикаты кванторы

Терм - всякая константа или переменная

Предикат – логическая функция, заданная на термах и принимающая значение истина или ложь


Кванторы


квантор общности 
квантор существования 
x(a) - формула а истинна для всех значенийпеременной х
х(а) - существует значениепеременной х, для которого истинна формула а

Продукционная модель

Продукционная модель (модель, основанная на правилах) позволяет представить знания в виде предложений типа

ЕСЛИ (условие), ТО (действие)

Общий виде продукции

i: Q; P; AB; N


i – имя (порядковый номер) продукции
Q – сфера применения продукции
Р – условие применимости ядра продукции
AB – ядро продукции
N – постусловие продукции

Ядро продукции

Интерпретации ядра продукции


если А, то В
если А, то В1, иначеВ2
если А, то с вероятностью р реализовать В
если А, то с большой долей уверенности В
если А, то чаще всего надо делать В1, реже В2
если А, то с вероятностью р можно ожидать В

Стратегии управления выполнением продукций

Нечёткая логика

Оценка неточности количественных данных (знаний)


доверительный интервал уровень значимости степень адекватности и т.д.

Для учёта неточности лингвистических знаний используется аппарат нечёткой алгебры


главное понятие в нечёткой логике –лингвистическая переменная лингвистическая переменная – это переменная, значения которой описываются набором словесных (вербальных) характеристик некоторого свойства значения лингвистической переменной определяются через нечёткие множества

Лингвистическая переменная "возраст"

ЛП = {Младенческий, Детский, Отроческий, Юношеский, Молодой, Зрелый, Преклонный, Старческий}


 (x) - принадлежность нечёткого множества
хB, B - базовая шкала
 (x) принимает значения в интервале [0..1]
Функция принадлежности определяет субъективную степень уверенности эксперта в том, что данное конкретное значение базовой шкалы соответствует определяемому нечёткому множеству

Формирование нечёткого множества


Возраст

10

30

15

20

25

40

35

Молодой

Зрелый

0,95

0,95

0,7

0,3

0,8

0,5

0,1

0,3

0,6

0,7

0,9

лп="Молодой"


 (x1) =0,8
 (x2) =0,95
 (x3) =0,95
 (x4) =0,7

"Молодой" =

= (x1)/ x1 +  (x2)/ x2 +  (x3)/ x3 +  (x4)/ x4 =

=0,8 / x1 + 0,95 / x2 + 0,95 / x3 + 0,7 / x4


График функции принадлежности


x

20

25

0

30

35

1,0

 (x)
скачати

© Усі права захищені
написати до нас