CS 570  Homework 3


Describe the Justication Truth Maintenance System (JTMS). Study the 
code jtms.lsp and describe in detail the algorithms for adding and
retracting nodes and justifications, propagate-inness and
propagate-outness (use a flowchart, if you feel it useful). What is 
the motivation to separate TMS from the IE?  What types of reasoning
does JTMS handle?  How does it handle contradictions?  Compare
non-monotonic JTMS to monotonic JTMS. Run the examples in jtms-ex.lsp
and explain the outcome.