Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://repository.kpi.kharkov.ua/handle/KhPI-Press/10183
Назва: Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов
Автори: Волченко, М. В.
Ключові слова: выполнимость; матричная структура; резольвирование; экспериментальные исследования; матрица связей; графы связей; satisfiability solving; propositional logic; clause; resolution algorithm
Дата публікації: 2012
Видавництво: НТУ "ХПИ"
Бібліографічний опис: Волченко М. В. Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов / М. В. Волченко // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Новые решения в современных технологиях. – Харьков : НТУ "ХПИ". – 2012. – № 33. – С. 55-62.
Короткий огляд (реферат): Работа посвящена решению задачи проверки выполнимости формул логики высказываний, характеризующихся большой мощностью. Предложено 0,1-ное представление дизъюнктов и матричная структура представления связей дизъюнктов, для которых разработан алгоритм резолюции с эвристической функцией выбора связи для резольвирования. Приведены результаты экспериментальных исследований, подтверждающие эффективность предложенного алгоритма.
The work is devoted to solving the problem of testing the satisfiability of propositional logic formulas, that characterized by a great power. The clauses 0,1-representation and matrix representation of the clauses links structure are proposed. A resolution algorithm with an heuristic function of the links choice for resolution is proposed. The experimental results confirming the effectiveness of the proposed algorithm.
URI (Уніфікований ідентифікатор ресурсу): http://repository.kpi.kharkov.ua/handle/KhPI-Press/10183
Розташовується у зібраннях:Вісник № 33

Файли цього матеріалу:
Файл Опис РозмірФормат 
vestnik_HPI_2012_33_Volchenko_Optimizatsiya.pdf486,7 kBAdobe PDFЕскіз
Відкрити
Показати повний опис матеріалу Перегляд статистики  Google Scholar



Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.