Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації
|
|
| Creator |
Вавіленкова, А. І.
|
|
| Subject |
текстові документи
метод резолюцій логіко-лінгвістичні моделі логіка предикатів text documents method of resolutions logic-linguistic models quantificational logic |
|
| Description |
Досліджено особливості застосування методу резолюцій під час пошуку логічних суперечностей у текстових документах на основі аналізу формальних моделей представлення знань. 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.
|
|
| Date |
2011-11-29T10:21:18Z
2011-11-29T10:21:18Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Вавіленкова А. І. Особливості методу резолюцій під час здійснення порівняльного аналізу текстової інформації / А. І. Вавіленкова // Вісник Національного університету "Львівська політехніка". – 2011. – № 699 : Інформаційні системи та мережі. – С. 292-302. – Бібліографія: 6 назв.
http://ena.lp.edu.ua:8080/handle/ntb/10816 |
|
| Language |
ua
|
|
| Publisher |
Видавництво Львівської політехніки
|
|