Rules on Cassini: A State Centered Approach Rules Observations CourtesyofNasa/jPl-cAlteCh.http://www.jpl.nasa.gov Rules Deduction style IF Antecedent THEN B2 Consequent Each rule should capture a single independent inference and should make sense by itself Examyf (is-a-parent-of ?x 2y/variables is-a- parent-o￡?y? ThEN (is-a-grand-parent-of ?x ?z) Variables of the same name must have the same value3 Rules on Cassini: A State Centered Approach Diagnostic Rules Repair Rules Failure Mode Cassini Spacecraft Observations Action • Each rule should capture a single independent inference and should make sense by itself • Deduction style Rules IF A1 A2 THEN B1 B2 Antecedent Consequent variables •Variables of the same name must have the same value •Example: IF (is-a-parent-of ?x ?y) (is-a-parent-of ?y ?z) THEN (is-a-grand-parent-of ?x ?z) Courtesy of NASA/JPL-Caltech. http://www.jpl.nasa.gov