Автоматический решатель математических задач
Интеллектуальная система, основанная на новом понимании
функционирования интуиции и принятия решений, реализована
в научной версии для решения математических задач на базе ПК
(см. демонстрационный видео-ролик).
Разработан специальный формализм ее описания, использующий новый язык
программирования высокого уровня. Система может быть использована в ряде
предметных областей. После доработки способна решать в автоматическом
режиме задачи верификации программ, синтеза ЧИП'ов и др.
Одна из версий решателя защищена серией патентов США.
Руководитель группы исследований в области построения решателя
математических задач д.ф.-м.н.
Подколзин Александр Сергеевич
На нашем сайте размещено учебное пособие "Компьютерное
моделирование процессов решения математических задач" (автор – А.С.Подколзин) и учебное пособие:
Подколзин А.С. Компьютерное моделирование логических процессов. Учебное пособие.
Москва, 2007-2019 гг..
Введение,
Том 1,
Том 2,
Том 3,
Том 4,
Том 5,
Том 6,
Том 7,
Том 8
Том 9.
Также доступна для загрузки компьютерная версия решателя:
http://intsys.msu.ru/invest/solver/logsyst7.7z (50 МБ).
Предлагаемая версия компьютерной логической системы является
дополнением к первому тому книги
"Компьютерное моделирование логических процессов",
изданной при поддержке РФФИ.
В этом томе содержится описание архитектуры системы и использованных
языков обучения решателей задач. Имеется большое число примеров и упражнений,
предполагающих наличие данной версии системы. Предполагается написание
следующего тома книги, посвященного рассмотрению самих решателей задач.
Работа над развитием системы постоянно продолжается.
В современной ее версии, отличающейся от предлагаемой,
исправлен ряд недостатков и ошибок. Все интересующиеся исследованиями
в данной области приглашаются принять участие в работе
спецкурса и
семинара "Процедуры автоматического решения задач",
проводимых на кафедре МаТИС механико-математического
факультета МГУ.
|
