Аннотация доклада.

Такие методы и средства автоматизации процессов работы с формальными теориями, как нахождение и проверка правильности доказательств, активно развиваются в последние десятилетия. Однако до начала нахождения доказательств теорем и до проверки их правильности необходимо породить гипотезы, которые впоследствии станут теоремами. Специальные инструменты для порождения гипотез в импликативной форме хорошо известны и изучены в Анализе Формальных понятий (АФП). Используемая в АФП формализация может найти применения в самых разных областях науки и техники. Однако существующие методы не являются достаточно гибкими для применения и процесс автоматизации такого исследования недостаточно хорошо изучен и проиллюстрирован, что препятствует дальнейшему распространению АФП. Целью исследования, результаты которого представлены в докладе, является разработка методов и средств автоматизации исследования импликативных зависимостей на основе методологии АФП.