Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
|
|
| Creator |
Доценко, В.А.
|
|
| Subject |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
|
|
| Description |
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду, а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним. Исследована область применения конструктивного алгоритма обратного метода исходя из поставленных задач. Проведена оценка сложности построения начального множества благоприятных наборов. Рассмотрены примеры применения конструктивного алгоритма обратного метода для секвенций различного вида, а также случая, когда применение конструктивного алгоритма обратного метода не является эффективным. |
|
| Date |
2010-03-24T17:41:08Z
2010-03-24T17:41:08Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/7136 681:519.68 |
|
| Language |
uk
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|