[comp.ai] reasoning using domain models

brady@udel.EDU (214ASMI) (09/22/89)

I am looking for references to tutoring systems that make
inferences using a causal or physical model of the domain.
For example, the system could be a tutor in electronics or
mechanics or some other domain that can be described by
a system of constraints in the form of physical laws. I am
aware of the EL system. I seek references to similar systems,
hopefully written as intelligent tutors. 

Thank you. I will post a summary of replies.
Joe Brady