Оптимізація алгоритму резолюції в логіці висловлювань за допомогою 0,1-ного уявлення диз'юнктів

Автор(и)

  • Максим Владимирович Волченко Институт информатики и искусственного интеллекта «Донецкий национальный технический университет» Пр. Б. Хмельницкого, 84, г. Донецк, Украина, 83050, Україна

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

Перевірка виконуваності, логіка висловлювань, диз'юнкт, алгоритм резолюції

Анотація

Роботу присвячено вирішенню задачі перевірки виконуваності формул логіки висловлювань, що характеризуються великою потужністю. Запропоновано 0,1-не представлення диз'юнктів і матрична структура представлення зв'язків диз'юнктів, для яких розроблено алгоритм резолюції з евристичної функцією вибору зв'язку для резольвування. Наведено результати експериментальних досліджень, що підтверджують ефективність запропонованого алгоритму

Біографія автора

Максим Владимирович Волченко, Институт информатики и искусственного интеллекта «Донецкий национальный технический университет» Пр. Б. Хмельницкого, 84, г. Донецк, Украина, 83050

Ассистент

Кафедра программного обеспечения интеллектуальных систем

 

Посилання

Gomez C.P. Satisfability Solvers/ C.P.Gomez, H.Kautz, A. Sabharawal, B.Selman // Handbook of Knowledge Representation, 2008. – 301 с.

Вагин В.Н. Достоверный и правдоподобный вывод в интеллектуальных системах / В.Н. Вагин, Е.Ю. Головина, А.А. Загорянская – М. : ФИЗМАТЛИТ, 2004. – 704 с.

Аверин А.И. Исследование и разработка алгоритмов параллельного вывода на графовых структурах: Автореферат дис. … кандидата технических наук / А.И. Аверин – М. : МЭИ, 2004. – 36с.

Claessen Koen. SAT-solving in practice / Koen Classen, Niclas Een, Mary Sheeran and Niclas Sorensson // Proceedings of the 9th International Workshop on Discrete Event Systems. – Goteborg,Sweden, 2008. – С. 61-67.

Поцелуевская Е.А. Теоретическая и практическая сложность задачи о выполнимости булевых формул / Е.А. Поцелуевская // Интеллектуальные системы. - М. – РГГУ, 2009. – Т.13. – С. 455-476.

Волченко М.В. Алгоритм резолюции в логике высказываний при 0-1-ном представлении дизъюнктов / И.С. Грунский, М.В. Волченко // XII национальная конференция по искусственному интеллекту «КИИ-2010». – М. : Физматлит, 2010. – Т.1. – С.64-71.

##submission.downloads##

Опубліковано

2012-07-01

Як цитувати

Волченко, М. В. (2012). Оптимізація алгоритму резолюції в логіці висловлювань за допомогою 0,1-ного уявлення диз’юнктів. Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях, (33), 55–62. вилучено із http://vestnik2079-5459.khpi.edu.ua/article/view/5108