Новосибирский государственный университетФакультет информационных технологий |
А.М.Федотов |
Модель представления знаний - формализм, предназначенный для отображения статических и динамических свойств предметной области. Различают универсальные и специализированные модели представления знаний. Рассмотрим модели представления знаний.
Модели представления знаний традиционно делятся на логические (формальные) и эвристические (формализованные).
К логическим моделям относятся:
•. логика высказываний;
•. логика предикатов первого порядка;
•. логика Хорна в языке Prolog и ему подобных системах;
•. логика предикатов высших порядков;
•. трехзначная логика;
•. логика возможных миров;
•. модальные логики;
•. теория нечетких множеств;
•. нечеткая логика;
•. лингвинистические переменные.
К эвристическим моделям представления знаний можно отнести:
•. деревья решений;
•. семантические сети;
•. фреймы и сети фреймов;
•. онтологии;
•. объектно-ориентированное программирование;
•. реляционную алгебру;
•. правила-продукции;
•. матрицу весов связей обученной нейронной сети.
Наиболее распространенными моделями представления знаний в информационных системах являются:
•. логические модели;
•. продукционные модели;
•. сетевые модели;
•. фреймовые модели.
Ключевые термины (головные): Представление знаний;
Федотов Анатолий Михайлович |
НГУ ФИТ НГУ ИВТ СО РАН |