Academic Journal

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Выявление логических противоречий в текстовой информации
Πηγή: Вестник Национального технического университета Харьковский политехнический институт. Серия: Информатика и моделирование.
Στοιχεία εκδότη: Національний технічний університет «Харківський політехнічний інститут», 2012.
Έτος έκδοσης: 2012
Θεματικοί όροι: ЛОГіЧНі ПРОТИРіЧЧЯ, ФОРМАЛЬНО-ЛОГіЧНі ЗАКОНИ, ЛОГіЧНі ВИСЛОВЛЮВАННЯ, МЕТОД РЕЗОЛЮЦіЙ, ЛОГіКО-ЛіНГВіСТИЧНі МОДЕЛі, ЛОГИЧЕСКИЕ ПРОТИВОРЕЧИЯ, ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ, ЛОГИЧЕСКИЕ ВЫСКАЗЫВАНИЯ, МЕТОД РЕЗОЛЮЦИЙ, ЛОГИКО-ЛИНГВИСТИЧЕСКИЕ МОДЕЛИ
Περιγραφή: Проанализирована проблема выявления логических противоречий в текстовой информации, исследованы формально-логические законы как теоретическая основа для установления истинности и ложности логических высказываний, продемонстрирован поиск логических противоречий методом резолюций, предложен алгоритм выявления логических противоречий, который базируется на сравнении логико-лингвистических моделей текстовой информации. Библиогр.: 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.
Τύπος εγγράφου: Article
Περιγραφή αρχείου: text/html
Γλώσσα: Russian
ISSN: 2079-0031
Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14368071.png
http://cyberleninka.ru/article/n/vyyavlenie-logicheskih-protivorechiy-v-tekstovoy-informatsii
Αριθμός Καταχώρησης: edsair.od......2806..61cbe85b437e6f1815b3439c721c9b31
Βάση Δεδομένων: OpenAIRE