Олег Деев

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