Оптимізація алгоритму резолюції в логіці висловлювань за допомогою 0,1-ного уявлення диз'юнктів
Ключові слова:
Перевірка виконуваності, логіка висловлювань, диз'юнкт, алгоритм резолюціїАнотація
Роботу присвячено вирішенню задачі перевірки виконуваності формул логіки висловлювань, що характеризуються великою потужністю. Запропоновано 0,1-не представлення диз'юнктів і матрична структура представлення зв'язків диз'юнктів, для яких розроблено алгоритм резолюції з евристичної функцією вибору зв'язку для резольвування. Наведено результати експериментальних досліджень, що підтверджують ефективність запропонованого алгоритмуПосилання
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##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Журнал публікує статті згідно з ліцензією Creative Commons Attribution International CC-BY.