Модуль 2. Формализация и модели представления знаний в ИС
Тема 2.1. Представление знаний в ИС. Основные понятия и определения.
Предметная область. Данные и знания. Свойства, характеристики знаний. Процедурные и
декларативные знания. Классификация знаний по глубине, по жесткости. Формализация
знаний. Формальные языки. Языки (модели) представления знаний. Классификация моделей
знаний и данных. Формально-логические, продукционные, сетевые ЯПЗ.
Тема 2.2. Формально-логические модели. Формально-логические модели. Логика
высказываний. Алфавит, аксиомы, теоремы, логические переменные, логический вывод.
Основные законы и правила вывода логики высказываний. Логика предикатов. Элементы
языка логики предикатов. Термы, кванторы всеобщности и существования. Модальные
логики, псевдофизические логики.
7
Понятие логического программирования. Язык ПРОЛОГ (на примере PDC-Prolog).
Представление в Прологе фактов и правил. Унификация в Прологе. Работа со списками и
рекурсивные программы в Прологе.
Введение в язык программирования Лисп на примере XLisp. Синтаксис, основные
функции.
Достарыңызбен бөлісу: | 
