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

Факультет Институт информатики и искусственного интеллекта

Кафедра программного обеспечения интеллектуальных систем

Специальность «Программное обеспечение систем»

Разработка и исследование алгоритма логического вывода на графе связей

Научный руководитель: д.ф.-м.н., проф. Грунский Игорь Сергеевич

Библиотека материалов по теме выпускной работы

Собственные публикации и доклады

1. Разработка генетического алгоритма генерации автоматов для задачи о флибах.

   Авторы: Фомин М.

   Описание: Работа посвящается разработке генетического алгоритма для генерации конечных автоматов.

   Источник: СУЧАСНА ІНФОРМАЦІЙНА УКРАЇНА: ІНФОРМАТИКА, ЕКОНОМІКА, ФІЛОСОФІЯ / Збірка праць V міжнародної науково-практичної конференції студентів, аспірантів та молодих науковців – 12-13 травня 2011 р., Донецьк, 2011. У 2-х томах, Т.1., с. 122-125.

Тематические статьи

2. К – разбиение графов.

   Авторы: Батищев Д.И., Старостин Н.В.

   Описание: Рассматриваеться задача k – разбиения простого графа, под которой понимается разрезание графа на k подграфов заданных размеров, вес сечения между которыми имеет наименьшее значение.

   Источник: Нижегородский государственный университет им. Н.И. Лобачевского

3. А parallel genetic algorithm for the graph partitioning problem.

   Авторы: E-G. Talbi, P. Bessiere.

   Описание: Рассматривается параллельный генетический алгоритм для задачи разбиения графа

   Источник: Междисциплинарный открытый архив HAL, предназначен для подачи и распространения научных исследований опубликованных и неопубликованных, и тезисов из учебных заведений и научно-исследовательских французских или иностранных, государственных и частных лабораторий

4. Теорема представления Пристли и метод резолюций в многозначных логиках.

   Авторы: Комендантский В.Е.

   Описание: В этой статье исследуется теория вывода многозначных логик с алгебраической точки зрения.

   Источник: INRIA научно-исследовательский центр

5. Нахождение минимальных абдуктивных объяснений с помощью первичных импликат.

   Авторы: Вагин В.Н., Хотимчук К.Ю.

   Описание: В статье рассматриваются дедуктивные свойства абдукции. Показаны, как минимальные абдуктивные объяснения связаны с первичными импликатами.

   Источник: Российская ассоциация искусственного интеллекта

6. Алгоритм резолюции в логике высказываний при 0-1-ном представлении дизъюнктов.

   Авторы: Грунский И.С., Волченко М.В.

   Описание: В работе рассматривается проблема автоматизации алгоритма резолюции в логике высказываний. Предложено 0,1-ное представление дизъюнктов и матричная структура представления связей дизъюнктов, для которых разработан алгоритм резолюции с эвристической функцией выбора связи для резольвирования. Показана эффективность предложенного алгоритма на серии экспериментальных данных.

   Источник: Институт системного анализа РАН

7. Применение Системы Автоматизированной Дедукции для верификации математических текстов

   Авторы: Вершинин К.П., Лялецкий А.В., Паскевич А.Ю.

   Описание: Статья посвящена одному подходу к обработке математического текста в стиле программы Алгоритм Очевидности (АО) и описывает процедуру верификации текста, реализованную в Системе Автоматизированной Дедукции (САД).

   Источник: Личная страница А.Ю. Паскевича

8. Resolution for Predicate Logic

   Описание: В статье описаны главные принципы метода резолюции для логики предикатов.

   Источник: Department of Computer Science

9. Proof Systems for Effectively Propositional Logic

   Авторы: Navarrro J.A., Voronkov A.

   Описание: Работа посвящается системе доказательств для логики высказываний.

   Источник: Страница посвященная научной деятельности Navarro J.A.

Переводы статей

10. Логика и резолюция

    Автор: Peter Lucas

    Перевод: Фомин М.

    Описание: Перевод вводной части статьи. Приводится история появления и развития логики высказываний, а также ее основы.

    Источник (англ.): Оригинал статьи