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

Максим Владимирович Волченко

Анотація


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

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


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

Повний текст:

PDF (Русский)

Посилання


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.


Пристатейна бібліографія ГОСТ




Посилання

  • Поки немає зовнішніх посилань.