Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застос...
Saved in:
| Date: | 2008 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/7136 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-7136 |
|---|---|
| record_format |
dspace |
| spelling |
Доценко, В.А. 2010-03-24T17:41:08Z 2010-03-24T17:41:08Z 2008 Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/7136 681:519.68 Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду, а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним. Исследована область применения конструктивного алгоритма обратного метода исходя из поставленных задач. Проведена оценка сложности построения начального множества благоприятных наборов. Рассмотрены примеры применения конструктивного алгоритма обратного метода для секвенций различного вида, а также случая, когда применение конструктивного алгоритма обратного метода не является эффективным. uk Інститут проблем штучного інтелекту МОН України та НАН України Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів Особенности применения конструктивного алгоритма обратного метода для секвенциального исчисления предикатов Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| spellingShingle |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів Доценко, В.А. Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| title_short |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_full |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_fullStr |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_full_unstemmed |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| title_sort |
особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів |
| author |
Доценко, В.А. |
| author_facet |
Доценко, В.А. |
| topic |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| topic_facet |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем |
| publishDate |
2008 |
| language |
Ukrainian |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
Особенности применения конструктивного алгоритма обратного метода для секвенциального исчисления предикатов |
| description |
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка
доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених
задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто
приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду,
а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним.
Исследована область применения конструктивного алгоритма обратного метода исходя из поставленных
задач. Проведена оценка сложности построения начального множества благоприятных наборов.
Рассмотрены примеры применения конструктивного алгоритма обратного метода для секвенций
различного вида, а также случая, когда применение конструктивного алгоритма обратного метода не
является эффективным.
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/7136 |
| citation_txt |
Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. |
| work_keys_str_mv |
AT docenkova osoblivostízastosuvannâkonstruktivnogoalgoritmuzvorotnogometodudlâsekvencíinogočislennâpredikatív AT docenkova osobennostiprimeneniâkonstruktivnogoalgoritmaobratnogometodadlâsekvencialʹnogoisčisleniâpredikatov |
| first_indexed |
2025-12-07T17:13:59Z |
| last_indexed |
2025-12-07T17:13:59Z |
| _version_ |
1850870479545434112 |