Труды КНЦ вып.11 (ЭНЕРГЕТИКА вып.5 3/2012(11))

Заключение Разработан ряд классов, отражающих сущности АК. Библиотека реализует не только операции, необходимые для решения задачи выполнимости КНФ, но и другие базовые операции над АК-объектами, имеет большой потенциал для расширения и может служить основой для продолжения работ в заданном направлении. Был применен один из методов ускорения вычислительных процедур, а именно ортогонализация. Созданный в рамках данной работы программный интерфейс может использоваться при решении пользовательских задач, возникающих в области логико-семантического анализа информации, задач логико-вероятностного анализа структурно-сложных систем, задач планирования, задач моделирования динамических систем и т.п. [6, 7]. ЛИТЕРАТУРА 1. Кулик, Б.А., Зуенко, А.А., Фридман, А.Я. Алгебраический подход к интел­ лектуальной обработке данных и знаний / Б.А. Кулик, А.А. Зуенко, А.Я. Фридман. - СПб.: Изд-во Политехн. ун-та, 2010. - 235 с. 2. Kulik, B., Fridman, A., Zuenko, A. Logical Analysis o f Intelligence Systems by Algebraic Method / B. Kulik, A. Fridman, A. Zuenko // Cybemetics and Systems 2010: Proceedings o f Twentieth European Meeting on Cybernetics and Systems Research (EMCSR 2010) Vienna, Austria, 2010. - pp.198-203. 3. Зуенко, А.А. Реализация комбинированных методов логико-семантического анализа с использованием алгебры кортежей / А.А. Зуенко, Б.А. Кулик, А.Я. Фридман // Тринадцатая национальная конференция по искусственному интеллекту с международным участием, 16-20 октября 2012г., г. Белгород: труды конференции. - Белгород: Изд-во БГТУ, 2012. -Т.2. - С.67-75. 4. Кулик, Б.А. Математическое отношение как основная структура логики / Б.А. Кулик // Труды междунар. научной школы «Моделирование и анализ безопасности и риска в сложных системах - 2008» СПб., ГУАП, 2008. - С.190-192. 5. Зуенко, А.А. Унификация обработки данных и знаний на основе общей теории многоместных отношений / А.А. Зуенко, Б.А. Кулик, А.Я. Фридман // Искусственный интеллект и принятие решений, 2010. - Вып. 3. - С.52-62. 6. Kulik, B. Logical Analysis o f Intelligence Systems by Algebraic Method /B. Kulik, A. Fridman, A. Zuenko // Cybernetics and Systems 2010: Proceedings o f Twentieth European Meeting on Cybernetics and Systems Research (EMCSR 2010) Vienna, Austria, 2010. - pp.198-203. 7. Зуенко, А.А. Булевы алгебры как средство интеллектуального анализа систем рассуждений / А.А. Зуенко, А.Я. Фридман, Б.А. Кулик // XII Международная научная конф. имени Т.А. Таран «Интеллектуальный анализ информации ИАИ-2012», г. Киев, 16-18 мая 2012 г.: сб. тр. / гл. ред. С.В. Сирота. - К.: Просвгга, 2012. - C.70-78. Сведения об авторах Зуенко Александр Анатольевич - к.т.н, научныйсотрудник, е-mail : zuenko@iimm.kolasc.net.ru Alexander A. Zouenko - Ph.D. (Tech. Sci.), researcher Баженов Сергей Владиславович - студент, e-mail : bazhenov@arcticsu.ru Sergey V. Bazhenov - student 217