APPLICATION OF LOGIC PROGRAMMING IN LINEAR SYSTEM IDENTIFICATION

An experimental CAD system is built, demonstrating the utility of coupling numerical and logic programming in solving model identification problems. The feasibility study is performed on a software package for model based signal processing (SIG) coupled together with a standard Edinburgh PROLOG interpreter. The rule-based advisor written in PROLOG helps the identification algorithm written in the SIG command language to choose the structure of an ARMAX model that fits best a given time series sequence. Simulation experiments confirm the utility of coupling the numerical and logic programming packages for this purpose.