Justification Based Truth Maintenance System¶
Justification Based Truth Maintenance System or JTMS for short
API¶
create-jtms
create instance of JTMS
create-node
create node in TMS
assume-node
make node an assumption and enable it
enable-assumption
turn assumption 'in
retract-assumption
turn assumption 'out
justify-node
justify a node with justification
in-node?
check if node is 'in
out-node?
check if node is 'out
assumptions-of-node
list all assumptions and premises having effect to this node
supporting-justification-for-node
which justification is currently supporting a node