Штучний інтелект

Анотація: Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду, а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним.

Ключові слова:

Посилання:

1. Доценко В.А. Конструктивний алгоритм зворотного методу для числення висловлювань //Системні дослідження та інформаційні технології. – 2007. – № 2. – С. 59-73.
2. Доценко В.А. Конструктивний алгоритм зворотного методу для секвенцій загального вигляду //Искусственный интеллект. – 2006. – № 3. – С. 120-128.
3. Доценко В.А. Конструктивний алгоритм зворотного методу для секвенційного численняпредикатів // Вісник національного технічного університету України «Київський політехнічнийінститут»: інформатика, управління та обчислювальна техніка. – 2007. – № 46. – С. 211-225.
4. Маслов С.Ю. Обратный метод установления выводимости в классическом исчислении предикатов //ДАН ССР. – 1964. – № 1. – С. 17-20.
5. Катречко С.Л. Модификации обратного метода С.Ю. Маслова // Материалы X Всесоюзной конференции по логике, методологии и философии науки. – М., 1990.
6. Voronkov A. Theorem proving in non-standard logics based on the inverse method. In D. Kapur, editor //Proceedings of the 11-th International Conference on Automated Deduction, Saratoga Springs. – New York,1992. Springer-Verlag LNCS 607. – P. 618-662.
7. Degtyarev A., Voronkov A. Equality Elimination for the Inverse Method and Extension Procedures. – Uppsala(Sweden), 1995.
8. Degtyarev A., Voronkov A. The inverse Method, in A. Robinson & A. Voronkov eds. Handbook ofAutomated Reasoning, 2001. – P. 181-270.
9. Chaudhuri K. Theorem Proving with the Inverse Method for Linear Logic. – Pittsburgh PA: CarnegieMellon University, 2004.
10. Birstunas A., Norgela S. Inverse method for modal logic S4 // Matemetikos ir informatikos institutas,T34, 2003.
11. Люгер Д. Искусственный интеллект. – М.: Мир, 2003. – 690 с.