Communicable Knowledge in Automated System Identification

Abstract

We describe the program Pret, an engineering tool for nonlinear system identification, which is the task of inferring a (possibly nonlinear) ordinary differential equation model from external observations of a target system’s behavior. Pret has several characteristics in common with programs from the fields of machine learning and computational scientific discovery. However, since Pret is intended to be an engineer’s tool, it makes different choices with regard to the tradeoff between model accuracy and parsimony. The choice of a good model depends on the engineering task at hand, and Pret is designed to let the user communicate the task-specific modeling constraints to the program. Pret’s inputs, its outputs, and its internal knowledge base are instances of communicable knowledge—knowledge that is represented in a form that is meaningful to the domain experts that are the intended users of the program.KeywordsCandidate ModelTarget SystemAbstraction LevelHorn ClauseDomain TheoryThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.