“…Aside from work on visualization, our work on SIGMA bears a close relationship to the growing body of work on applying knowledge-based techniques to various aspects of scientific and engineering computation (Abelson, Eisenberg, Halfant, Katzenelson, Sacks, Sussman, et al, 1989;Barstow, 1985;Cook, 1990;Ford & Chatelin, 1987;Kook & Novak, 1991;Palmer & Cremer, 1991;Robertson, Bundy, Uschold, & Muetzelfeldt, 1989;Weld & deKleer, 1990). We review some of the particularly relevant systems for comparison below.…”