Про формалізацію знань на базі алгебри скінченних предикатів

С.Ю. Шабанов-Кушнаренко, О.В. Калиниченко, А.І. Коваленко, О.А. Шматько
Анотації на мовах:

Розглянуто проблему обґрунтування вибору підходу для формалізації змісту текстів на природній мові. Проаналізовано основи зв'язку знань і змісту текстів природною мовою, підходів до отримання, подання і формалізації знань. Розглянуто основи застосування апарату алгебри скінчених предикатів і реляційних мереж для формалізації змісту текстів природної мови.
Ключові слова: зміст тексту, предикатна модель, знання, формалізація