Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: 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



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.