Компьютерное моделирование логических процессов. Архитектура и языки решателя задач

В книге представлено описание разработанного автором пакета прикладных программ «Логическая система ''Искра''», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя» В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс приемов Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов Прилагается адрес в сети программы «решателя»Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.