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

Авторы: Лукьянец О.Ф., Каминский С.Е., Деев О.М.

Издательство: Московский государственный технический университет имени Н.Э. Баумана

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