Вавіленкова, А. І.2011-11-292011-11-292011Вавіленкова А. І. Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації / А. І. Вавіленкова // Вісник Національного університету "Львівська політехніка". – 2011. – № 699 : Інформаційні системи та мережі. – С. 292-302. – Бібліографія: 6 назв.https://ena.lpnu.ua/handle/ntb/10816Досліджено особливості застосування методу резолюцій під час пошуку логічних суперечностей у текстових документах на основі аналізу формальних моделей представлення знань. 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.uaтекстові документиметод резолюційлогіко-лінгвістичні моделілогіка предикатівtext documentsmethod of resolutionslogic-linguistic modelsquantificational logicArticle