СУЭБ ИВТ СО РАН

А.М.Федотов

Словарь терминов в коллекции: Thesaurus of Information Technology (zthes_cat)

Логическая модель представления знаний [ru]

— модель в представлении знаний.
Основная идея подхода при построении логических моделей представления знаний — вся информация, необходимая для решения прикладных задач, рассматривается как совокупность фактов и утверждений, которые пред­ставляются как формулы в некоторой логике. Знания отображаются совокупнос­тью таких формул, а получение новых знаний сводится к реализации процедур логического вывода. В основе логических моделей представления знаний лежит понятие формальной теории, задаваемое кортежем: S = <B, F, A, R>, где:
B — счетное множество базовых символов (алфавит);
F — множество, называемое формулами;
A — выделенное подмножество априори истинных формул (аксиом);
R — конечное множество отношений между формулами, называемое правилами вывода.

(NT) Логическая модель представления знаний (add ) [ru]

Головные термины:

[BT] Модель представления знаний [ru]

Контекстный поиск: Задайте образец для поиска:
    

© 2013-2024, Евразийский национальный университет им. Л.Н.Гумилева, Астана © 2007-2024, Новосибирский государственный университет, Новосибирск © 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск © 1998-2024, Федотов А.М.

ФИТ НГУ       НГУ ЕНУ им.Гумилева ИВТ СО РАН