Academic Journal
Выявление логических противоречий в текстовой информации
| Title: | Выявление логических противоречий в текстовой информации |
|---|---|
| Source: | Вестник Национального технического университета Харьковский политехнический институт. Серия: Информатика и моделирование. |
| Publisher Information: | Національний технічний університет «Харківський політехнічний інститут», 2012. |
| Publication Year: | 2012 |
| Subject Terms: | ЛОГіЧНі ПРОТИРіЧЧЯ, ФОРМАЛЬНО-ЛОГіЧНі ЗАКОНИ, ЛОГіЧНі ВИСЛОВЛЮВАННЯ, МЕТОД РЕЗОЛЮЦіЙ, ЛОГіКО-ЛіНГВіСТИЧНі МОДЕЛі, ЛОГИЧЕСКИЕ ПРОТИВОРЕЧИЯ, ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ, ЛОГИЧЕСКИЕ ВЫСКАЗЫВАНИЯ, МЕТОД РЕЗОЛЮЦИЙ, ЛОГИКО-ЛИНГВИСТИЧЕСКИЕ МОДЕЛИ |
| Description: | Проанализирована проблема выявления логических противоречий в текстовой информации, исследованы формально-логические законы как теоретическая основа для установления истинности и ложности логических высказываний, продемонстрирован поиск логических противоречий методом резолюций, предложен алгоритм выявления логических противоречий, который базируется на сравнении логико-лингвистических моделей текстовой информации. Библиогр.: 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 logical-linguistic models of textual information. Refs.: 8 titles. |
| Document Type: | Article |
| File Description: | text/html |
| Language: | Russian |
| ISSN: | 2079-0031 |
| Access URL: | http://cyberleninka.ru/article_covers/14368071.png http://cyberleninka.ru/article/n/vyyavlenie-logicheskih-protivorechiy-v-tekstovoy-informatsii |
| Accession Number: | edsair.od......2806..61cbe85b437e6f1815b3439c721c9b31 |
| Database: | OpenAIRE |
| ISSN: | 20790031 |
|---|