Формализация технологических знаний при разработке автоматизированных систем

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