Strokovnjaki gradijo matematične modele zaradi analize in boljšega razumevanja obnašanja realnih sistemov. Gradnja modela za opazovani sistem je zelo zahtevna naloga, ki zajema opazovanje in meritve obnašanja sistema pod različnimi pogoji, izbor spremenljivk, ki so pomembne za modeliranje sistema, ter gradnjo matematične formulacije (oziroma enačb) modela. V okviru seminarja bom predstavil metodo za reševanje naloge avtomatskega modeliranja realnih sistemov ali natančneje z nalogo indukcije matematičnega modela iz opazovanega obnašanja merjenih spremenljivk sistema. Osredotočil se bom na formalizem za predstavitev predznanja o modeliranju, ki omogoča predstavitev različnih vidikov le-tega: od predznanja o osnovnih procesih, ki vplivajo na obnašanje sistemov na obravnavanem področju uporabe, do obstoječih, ze uveljavljenih, modelov obravnavanega sistema. Uporabnost predstavljene metode bom ilustriral na večih nalogah indukcije novih, ter revizije obstoječih modelov realnih sistemov iz meritev.