Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації

Loading...
Thumbnail Image

Date

2011

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 назв.

Endorsement

Review

Supplemented By

Referenced By