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