Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації
| dc.contributor.author | Вавіленкова, А. І. | |
| dc.date.accessioned | 2011-11-29T10:21:18Z | |
| dc.date.available | 2011-11-29T10:21:18Z | |
| dc.date.issued | 2011 | |
| dc.description.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. | uk_UA |
| dc.identifier.citation | Вавіленкова А. І. Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації / А. І. Вавіленкова // Вісник Національного університету "Львівська політехніка". – 2011. – № 699 : Інформаційні системи та мережі. – С. 292-302. – Бібліографія: 6 назв. | uk_UA |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/10816 | |
| dc.language.iso | ua | uk_UA |
| dc.publisher | Видавництво Львівської політехніки | uk_UA |
| dc.subject | текстові документи | uk_UA |
| dc.subject | метод резолюцій | uk_UA |
| dc.subject | логіко-лінгвістичні моделі | uk_UA |
| dc.subject | логіка предикатів | uk_UA |
| dc.subject | text documents | uk_UA |
| dc.subject | method of resolutions | uk_UA |
| dc.subject | logic-linguistic models | uk_UA |
| dc.subject | quantificational logic | uk_UA |
| dc.title | Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації | uk_UA |
| dc.type | Article | uk_UA |