Rambler's Top100





7
2. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
2.1. Перечень тем лекционных занятий
Введение
Краткая теория развития Представления знаний в информационных
системах. Основные задачи и области исследования этой отрасли науки,
ее роль в научно-техническом прогрессе. Предмет и задачи дисциплины
«Представления знаний в информационных системах», ее место в под-
готовке инженера. Структура дисциплины.
Тема 1. Основные понятия инженерии знаний
Общие сведения о знаниях. Классификация знаний. Характеристи-
ки знаний и отличия знаний от данных. Модели представления знаний и
их типы. Декларативные и процедурные модели представления знаний.
Тема 2. Логическая модель представления знаний
Основные понятия логики высказываний и логики предикатов.
Представление знаний о предметной области в виде предикатных фор-
мул. Преобразование предикатных формул и их приведение к нормаль-
ной и сколемовской стандартной формам. Клаузальная форма. Исчисле-
ние предикатов первого порядка, основные аксиомы и правила логиче-
ского вывода исчисления предикатов. Аксиоматический подход к орга-
низации логического вывода. Метод резолюции и использование резо-
люционного вывода в исчислении предикатов. Логическое программи-
рование. Достоинства и недостатки логических моделей представления
знаний, их использование в информационных системах.
Тема 3. Фреймовая модель представления знаний
Понятие фрейма, его структура, классификация фреймов. Структу-
ра слота, его основные элементы. Типы значений слотов. Виды присое-
диненных процедур и принципы их функционирования.
Принципы организации фреймовых систем. Виды отношений меж-
ду фреймами. Наследование атрибутов во фреймовых системах. Основ-
ные стратегии логического вывода в фреймовых системах. Достоинства
и недостатки фреймовых моделей представления знаний, области их
применения.
Тема 4. Сетевые модели представления знаний
Семантические сети, их классификация и принципы построения.
Типы объектов и отношений в семантических сетях. Основные опера-
ции над семантическими сетями. Агрегация и обобщение.