;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; ;; File : CNet Knowledge-based System - Bias Oscillator ; ;; Start date : 9/5/97 ;; Programmers : John Coffey and Thomas Reichherzer ; ;; Expert : Lin Loupe ; ;; Version : 1.0 ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (deftemplate goal (slot type) (slot value (default n)) ) (defrule startup => (printout t RD379_Start) (assert (goal (type checkpins5and7) (value (readline)))) ) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; One Transport ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (defrule RD3792 (goal (type checkpins5and7) (value "Both pin 5 and pin 7 have correct voltage")) => (printout t RD3792) (assert (goal (type pin6) (value (readline)))) ) (defrule RD37921 (goal (type pin6) (value "yes")) => (printout t RD37921) ) (defrule RD37922 (goal (type pin6) (value "no")) => (printout t RD37922) (assert (goal (type pin4) (value (readline)))) ) (defrule RD37923 (goal (type pin4) (value "yes")) => (printout t RD37923) ) (defrule RD37924 (goal (type pin4) (value "no")) => (printout t RD37924) (assert (goal (type pin3) (value (readline)))) ) (defrule RD379225 (goal (type pin3) (value "no")) => (printout t RD379225) ) (defrule RD379226 (goal (type pin3) (value "yes")) => (printout t RD379226) (assert (goal (type swapRY13) (value (readline)))) ) (defrule RD379227 (goal (type swapRY13) (value "yes")) => (printout t RD379227) ) (defrule RD379228 (goal (type swapRY13) (value "no")) => (printout t RD379228) ) (defrule RD37931 (goal (type checkpins5and7) (value "Neither pin 5 nor pin 7 has the correct voltage")) => (printout t RD37931) (assert (goal (type DS101lit) (value (readline)))) ) (defrule RD37932 (goal (type DS101lit) (value "yes")) => (printout t RD37932) ) (defrule RD37933 (goal (type DS101lit) (value "no")) => (printout t RD37933) (assert (goal (type F101good) (value (readline)))) ) (defrule RD37934 (goal (type F101good) (value "yes")) => (printout t RD37934) ) (defrule RD37935 (goal (type F101good) (value "no")) => (printout t RD37935) ) (defrule RD37946 (goal (type checkpins5and7) (value "Pin 5 good, pin 7 bad")) => (printout t RD37946) ) (defrule RD37957 (goal (type checkpins5and7) (value "Pin 7 good, pin 5 bad")) => (printout t RD37957) )