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

М.: Физматлит, 2008. — 1024 с. — ISBN 978-5-9221-1045-7.В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя».
Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.Введение
Общие замечания о логических процессах и их моделировании
Логический язык решателя задач
Представление задач в решателе
Общая схема функционирования решателя
Алгоритмический язык ЛОС
Библиотека вспомогательных операторов ЛОСа
Редактор программ ЛОСа
Отладчик ЛОСа
Примеры и упражнения по программированию на ЛОСе
Язык для записи приемов ГЕНОЛOГ
Редактор приемов ГЕНОЛОГа
Примеры записи приемов на ГЕНОЛОГе и упражнения
Программы общего интерфейса системы
Программы просмотра списков задач
Программа редактора программ
Компилятор ГЕНОЛОГа
Список литературы