ВИЯВЛЕННЯ ЛОГІЧНИХ ПРОТИРІЧ У ТЕКСТОВІЙ ІНФОРМАЦІЇ

Анотація

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