Виявлення логічних протиріч у текстовій інформації

Abstract

Проаналізовано проблему виявлення логічних протиріч у текстовій інформації, досліджено формально-логічні закони як теоретичну основу для встановлення істинності та хибності логічних висловлювань, продемонстровано пошук логічних протиріч методом резолюцій, запропоновано алгоритм виявлення логічних протиріч, що базується напорівнянні логіко-лінгвістичних моделей текстової інформації. Бібліогр.: 8 назв.

Analyzed the problem of identifying the logical contradictions in the text information, investigated the formal laws of logic as a theoretical basis for establishing the truth or falsity of logical statements, search for logical inconsistencies demonstrated by the resolution method, an algorithm to identify logical contradictions, which is based on a comparison of the logicallinguistic models of textual information. Refs.: 8 titles.