индукция
Способ получения более общих знаний из более частных, другими словами, обобщение конечного множества наблюдаемых фактов с целью получения более общего правила
дедукция
Метод научного исследования, заключающийся в переходе от знания самых общих положений к знанию частных положений. Способ получения заключений о конкретных ситуациях, исходя из знаний общего плана
абдукция
Формирование гипотез, объясняющих наблюдаемые факты на основе известных теоретических положений
артефакт
Искусственное средство идентификации некоторого объекта (карточка, жетон, пароль и т.п.)
концепт
класс
сущность
понятие
таксон
десигнат
Понятие предметной области. В философии понятием называют форму мышления, отражающую существенные свойства, связи и отношения предметов и явлений, и характеризуют понятие его объемом и содержанием. В информатике под понятием понимают то же, что в философии называют его объемом, т.е. множество предметов, обладающих теми или иными общими свойствами
экстенсионал
Множество значений, характеризующее свойство ресурса
интенсионал
Характеристика или правило, описывающие свойство ресурса (в отличие от экстенсионала, представляющего собой множество значений свойства)
термин
текстовый вход понятия
Слово или выражение, значение которого соответствует данному понятию
атрибут
слот
роль
Свойство сущности
семантическая сеть
Способ представления знаний — сеть, вершины которой соответствуют информационным единицам, а дуги характеризуют отношения между ними
концептуализация
Переход от описания предметной области на естественном языке к описанию в виде формальной спецификации
ключевое слово
дескриптор
Слова или словосочетания в тексте документа, которые могут служить характеристикой его содержания. В онтологиях и тезаурусахтермин, который рассматривается как указатель на синсет, т.е. способ ссылки на понятие
аскриптор
индекс
Список ссылок на документы, в которых имеется данный дескриптор
фрейм
Способ представления знаний — сведения об объекте, представленные в виде совокупности слотов (параметров объекта, их значений или процедур для вычисления значений)
продукция
Способ представления знаний — выражение (правило) вида "Если <X1, X2, ... Xn> То <{Y1, D1}, ... {Ym, Dm}>", где <X1, X2, ... Xn> — посылка, <{Y1, D1}, ... {Ym, Dm}> — результат применения правила (решение), Xi, Yi — логические выражения, Di — параметр, характеризующий степень уверенности в истинности выражения Y1. Результат Y1 может быть представлен в виде текста или ссылки на некоторое действие
антецедент
Посылка (условие) в правиле продукции
треугольник Фреге
Отношение между знаком, его концептом и денотатом (графически представляется в виде треугольника)
консеквент
Результат применения продукции при истинности условия (антецедента)
паттерн
Образец, шаблон, именованное описание проблемы и способа ее решения
паттерн проектирования
Паттерн, предназначенный для решения проектных задач
гиперкуб данных
Структура данных с их разделением на факты и измерения (координаты), измерения являются координатами (аргументами) пространства данных, а факты значениями данных, помещаемыми в ячейки структуры и определяемыми значениями измерений
таблица фактов
В хранилищах данных и системах OLAP таблица, содержащая сведения об объектах или событиях, совокупность которых должна подвергаться анализу
агрегация
В системах OLAP объединение по определенным условиямнескольких исходных значений показателей (мер) в меньшее число значений
шкала
Упорядоченное по какому-либо признаку множество значений некоторой величины. Порядковые шкалы выражают отношения порядка значений, относительные шкалы — дополнительно выражают разности значений, а абсолютные, кроме этого, также задают точку начала отсчета
шкалирование
Упорядочение значений некоторой величины с помощью той или иной шкалы
квантификация
Приписывание оценок (в том числе, числовых) на выражения формальной системы. Эти оценки иногда называют квантофикаторами. Оценки могут характеризовать степень правдоподобия выражений, приоритетность при решении задачи и т.п
ЛИСП
Универсальный язык программирования высокого уровня. Относится к декларативным языкам функционального типа
логическое программирование
Раздел дискретной математики, изучающий методы и возможности вывода новых фактов из совокупности заданных фактов согласно заданным логическим правилам. Пример реализации логического программирования — система Prolog
логический язык программирования
язык логического программирования
Язык программирования, относящийся к декларативным, построенный на задании отношений между входными данными и правилами логического вывода. Пример: язык Пролог
Пролог
Логический язык программирования высокого уровня декларативного типа, основанный на использовании логических построений для написания программ
Perl
PERL
Интерпретируемый язык, приспособленный для обработки произвольных текстовых файлов и извлечения из них необходимой информации
KIF
Knowledge Interchange Format
Язык представления знаний, построенный на логике предикатов первого порядка. Язык KIF является стандартом ANSI
Open Knowledge Base Connectivity
OKBC
Прикладной интерфес программирования для доступа к базам знаний систем представления знаний