|
МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ |
|
|
KM-1: Формализация знаний в ИС.
Основные понятия и определения. Предметная область. Данные и знания. Свойства, характеристики знаний. Процедурные и декларативные знания. Классификация знаний по глубине, по жесткости. Формализация знаний. Языки (модели) представления знаний. |
- Текст лекции
|
|
KM-2: Формально-логические модели - логика высказываний
Формально-логические модели. Логика высказываний. Алфавит, аксиомы, теоремы, логические переменные, логический вывод. Основные законы и правила вывода логики высказываний. |
- Текст лекции
|
|
KM-3: Логика предикатов.
Основные элементы логики предикатов первого порядка. Термы, кванторы всеобщности и общезначимости. Модальные логики, псевдофизические логики и онтологии. |
- Текст лекции
|
|
KM-4: Продукционные модели.
Продукционные системы правил. Вероятностные продукции. Гипотеза, факт, свидетельство. Формулы Байеса. Метод цен свидетельств, коэффициенты уверенности Шортлифа. |
- Текст лекции
|
|
KM-5:. Семантические сети и фреймы.
Сетевые модели представления знаний. Фреймы Минского и объектно-оринетированный подход. Семантические сети. Ассоциативные сети Квилиана. Основные отношения в семантических сетях. Сценарии Шенка. Каузальные отношения. |
- Текст лекции
|
|
KM-6: Онтологии и визульные карты знаний
Онтологии и тезаурусы. Когнитивные, концептуальные и ассоциативные карты. Взаимосвязь с семантическими и ассоциативными сетями. Онтологии в Интернет - semantic web.
|
|