О формализации знаний на базе алгебры конечных предикатов

С. Ю. Шабанов-Кушнаренко, О. В. Калиниченко, А. И. Коваленко, А. А. Шматько
УДК 519.854
Мова статті: російська
Анотації на мовах:

Рассмотрена проблема обоснования выбора подхода для формализации смысла текстов на естественном языке. Проанализированы основы связи знаний и смысла текстов на естественном языке; подходы к получению, представлению и формализации знаний. Рассмотрены основы применения аппарата алгебры конечных предикатов и реляционных сетей для формализации смысла текстов естественного языка.
Ключові слова: смысл текста, предикатная модель, знания, формализация
Бібліографічний опис для цитування:
Шабанов-Кушнаренко С. Ю. О формализации знаний на базе алгебры конечных предикатов / С. Ю. Шабанов-Кушнаренко, О. В. Калиниченко, А. И. Коваленко, А. А. Шматько  // Збірник наукових праць Харківського національного університету Повітряних Сил. — 2015. — № 3. — С. 70-73.