Олег Деев. Формализация технологических знаний при разработке автоматизированных систем. М.:МГТУ им. Н.Э. Баумана, 2014

Рассмотрены основы применения решателя инженерных задач, предназначенного для автоматизации решения расчетных и логических задач. Изложены способы описания знаний предметной области с использованием естественного языка и табличных форм представления методик исходных нормативно-справочных документов. Основное внимание уделено процессу создания специалистами информационного обеспечения для автоматизированного решения различных задач технологического проектирования. Приведена методика формализации технологических знаний средствами решателя инженерных задач и ее использование в учебном процессе. Для студентов старших курсов МГТУ им. Н.Э. Баумана.