• Язык
   

 

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

Аннотация

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

Содержание

Введение 11
Глава 1. Общие замечания о логических процессах и их моделировании 14
Глава 2. Логический язык решателя задач 30
Глава 3. Представление задач в решателе 59
Глава 4. Общая схема функционирования решателя 123
Глава 5. Алгоритмический язык ЛОС 188
Глава 6. Библиотека вспомогательных операторов ЛОСа 221
Глава 7. Редактор программ ЛОСа 266
Глава 8. Отладчик ЛОСа 279
Глава 9. Примерыи упражнения по программированию на ЛОСе 291
Глава 10. Язык для записи приемов ГЕНОЛOГ 318
Глава 11. Редактор приемов ГЕНОЛОГа 412
Глава 12. Примерыз аписи приемов на ГЕНОЛОГе и упражнения 431
Глава 13. Программыоб щего интерфейса системы 515
Глава 14. Программа редактора программ 576
Глава 15. Программа отладчика ЛОСа 591
Глава 16. Интерпретатор ЛОСа 618
Глава 17. Программып росмотра списков задач 648
Глава 18. Программа редактора приемов 714
Глава 19. Компилятор ГЕНОЛОГа 756
Список литературы 1021

Рекомендации материалов по теме: нет