Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації
Loading...
Files
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво Львівської політехніки
Abstract
Досліджено особливості застосування методу резолюцій під час пошуку логічних суперечностей у текстових документах на основі аналізу формальних моделей представлення знань. The features of application of method of resolutions are explored at the search of logic contradictions in text documents on the basis of analysis of formal models of knowledge representation.
Description
Keywords
текстові документи, метод резолюцій, логіко-лінгвістичні моделі, логіка предикатів, text documents, method of resolutions, logic-linguistic models, quantificational logic
Citation
Вавіленкова А. І. Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації / А. І. Вавіленкова // Вісник Національного університету "Львівська політехніка". – 2011. – № 699 : Інформаційні системи та мережі. – С. 292-302. – Бібліографія: 6 назв.