Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застос...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/7136 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-7136 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-71362010-03-25T12:01:07Z Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів Доценко, В.А. Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду, а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним. Исследована область применения конструктивного алгоритма обратного метода исходя из поставленных задач. Проведена оценка сложности построения начального множества благоприятных наборов. Рассмотрены примеры применения конструктивного алгоритма обратного метода для секвенций различного вида, а также случая, когда применение конструктивного алгоритма обратного метода не является эффективным. 2008 Article Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/7136 681:519.68 uk Інститут проблем штучного інтелекту МОН України та НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| spellingShingle |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Доценко, В.А. Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| description |
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка
доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених
задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто
приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду,
а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним. |
| format |
Article |
| author |
Доценко, В.А. |
| author_facet |
Доценко, В.А. |
| author_sort |
Доценко, В.А. |
| title |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_short |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_full |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_fullStr |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_full_unstemmed |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_sort |
особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| publishDate |
2008 |
| topic_facet |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/7136 |
| citation_txt |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. |
| work_keys_str_mv |
AT docenkova osoblivostízastosuvannâkonstruktivnogoalgoritmuzvorotnogometodudlâsekvencíjnogočislennâpredikatív |
| first_indexed |
2023-10-18T16:36:47Z |
| last_indexed |
2023-10-18T16:36:47Z |
| _version_ |
1796139439554035712 |