Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!zaphod.mps.ohio-state.edu!ub!boulder!ccncsu!longs.LANCE.ColoState.EDU!ah314368
From: ah314368@longs.LANCE.ColoState.EDU (Vincent Huffaker)
Newsgroups: comp.ai
Subject: Truth Maintenance Programs
Message-ID: <8752@ccncsu.ColoState.EDU>
Date: 7 Sep 90 21:22:59 GMT
Sender: news@ccncsu.ColoState.EDU
Reply-To: ah314368@longs.LANCE.ColoState.EDU (Vincent Huffaker)
Organization: Engineering College, Colorado State University
Lines: 21


Hello,

I'm trying to find example Truth (Reason) Maintenance 
programs that I can obtain (ftp or otherwise).  

I'm working on using a TMS (or ATMS, or ???) for automated
fault diagnosis of large-scale processes and would like to 
have some actual examples in hand to see how they work in
the "real world".

Either e-mail directly to me or post on "comp.ai".

I'll post any interesting results and/or summaries.

Thanks in advance,
Vincent Huffaker
ah314368@longs.LANCE.ColoState.EDU

-------------------------------------------------------------------------
...let's see now....where did I put that signature file....