> (load "demo/reactor.ops") ;;; Loading source file "demo/reactor.ops" ;;; Warning: File "demo/reactor.ops" does not begin with IN-PACKAGE. Loading into package "OPS" Common Lisp OPS5 interpreter, version 14-OCT-92. ***************************** #P"/afs/andrew.cmu.edu/scs/cs/15-381/ops5/demo/reactor.ops" > (make ready) NIL > (run) Enter id number for this run: 12 Enter value for HPIS [on, off]: on Enter value for STEAM FLOW [1..100]: 52 Enter old value for SG LEVEL [1..100]: 46 Enter new value for SG LEVEL [1..100]: 32 Enter old value for PCS TEMPERATURE [1..100]: 57 Enter new value for PCS TEMPERATURE [1..100]: 59 Enter old value for PCS PRESSURE [1..100]: 45 Enter new value for PCS PRESSURE [1..100]: 67 Enter value for FEEDWATER FLOW [1..100]: 11 Enter value for CONTAINMENT RADIATION [1..100]: 52 Enter old value for CONTAINMENT PRESSURE [1..100]: 56 Enter new value for CONTAINMENT PRESSURE [1..100]: 67 Starting classification... Rule classify-increasing concludes that CONTAINMENT PRESSURE is increasing Rule classify-nominal concludes that CONTAINMENT RADIATION is nominal Rule classify-low concludes that FEEDWATER FLOW is low Rule classify-increasing concludes that PCS PRESSURE is increasing Rule classify-steady concludes that PCS TEMPERATURE is steady Rule classify-decreasing concludes that SG LEVEL is decreasing Rule classify-nominal concludes that STEAM FLOW is nominal Starting diagnosis... Rule 3 concludes: SG INVENTORY INADEQUATE Rule 6 concludes accident is loss of feedwater STARTING EXPLANATIONS Explanations [facts, high/low, none]: facts Fact used: RULE-6 USED FEEDWATER FLOW LOW Fact used: RULE-6 USED SG INVENTORY INADEQUATE Fact used: RULE-3 USED SG LEVEL DECREASING Explanations [facts, high/low, none]: high Explanations [facts, high/low, none]: low LOW : FEEDWATER FLOW 11 Explanations [facts, high/low, none]: steady STEADY : PCS TEMPERATURE CHANGED 2 Explanations [facts, high/low, none]: nominal NOMINAL : STEAM FLOW 52 NOMINAL : CONTAINMENT RADIATION 52 Explanations [facts, high/low, none]: decreasing DECREASING : SG LEVEL CHANGED -14 Explanations [facts, high/low, none]: increasing INCREASING : PCS PRESSURE CHANGED 22 INCREASING : CONTAINMENT PRESSURE CHANGED 11 Explanations [facts, high/low, none]: none end -- no production true 29 productions (150 // 293 nodes) 47 firings (87 rhs actions) 13 mean working memory size (15 maximum) 3 mean conflict set size (12 maximum) 18 mean token memory size (25 maximum) NIL