Вавіленкова, Анастасія Ігорівна2014-11-252014-11-252012Вавіленкова А. І. Виявлення логічних протиріч у текстовій інформації / А. І. Вавіленкова // Вісник Нац. техн. ун-ту "ХПІ" : зб. наук. пр. Темат. вип. : Інформатика та моделювання. – Харків : НТУ "ХПІ". – 2012. – № 38. – С. 32-37.https://repository.kpi.kharkov.ua/handle/KhPI-Press/10388Проаналізовано проблему виявлення логічних протиріч у текстовій інформації, досліджено формально-логічні закони як теоретичну основу для встановлення істинності та хибності логічних висловлювань, продемонстровано пошук логічних протиріч методом резолюцій, запропоновано алгоритм виявлення логічних протиріч, що базується напорівнянні логіко-лінгвістичних моделей текстової інформації. Бібліогр.: 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.ukприродно-мовні текстиформально-логічні законилогічні висловлюванняметод резолюційлогіко-лінгвістичні моделіlogic contradictionformal laws of logiclogic statementsmethod of resolutionslogic-linguistic modelsArticlehttps://orcid.org/0000-0002-9630-4951