[comp.ai] Truth Maintenance Programs

ah314368@longs.LANCE.ColoState.EDU (Vincent Huffaker) (09/08/90)

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....

ah314368@longs.LANCE.ColoState.EDU (Vincent Huffaker) (09/13/90)

Hello,

I'm trying to find examples of Truth Maintenance Systems
that I can obtain (ftp or otherwise).

I'm working on fault diagnosis of large physical processes 
and I'd like to have a sample TMS (or ATMS, or ???) on hand
to see how they run in "real-life."

Please post to this newsgroup or e-mail to me directly.

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....