a” ren 7. SYMBOLIC REASONING cuarre ONDER ye, F JEPTH FIRST SEARCH 20 ™ non oo iw (OUT) lain suspect Cabo (INI peneiary Bobi TN] ai jy cabot NI Atbi Cabor our] — Coe : : ! Figure 79: Cabot’ Justification Tells Trath Cabot (OUT SaysSoB-14 UN) Lies BALL (oun t Figure 78: Babbitt’ Jstification Contradiction Suspect Babbitt, Figure 7.10: A Contradiction Suspect Abbot aor rabe undesirable (Inthe next section, we describe a slightly flee sta whic isis pot te case.) In our example, we have a conan vathave a lest one murder suspect. Thus a contradiction might have how in Figure 7.10, where the node Other Suspects means that ihe Sar han Ab, Bubit nd Cabos. Ths is one way of explcily mre if we discover a long ‘shee intl, Monotonic justifications cannot be made invalid without retracing fit aserions that have been made tothe network. Nonmonotonic jusifications Ch hover, be invalidated by averting some fact whose absence is tions assumptions. An. Se ft ded werd sumpion, Later, if we dione! 2 SE Rea rove ra jntcaton fr Other Suspects, But or 0% 8 : sii eve ral ce xO SS aoe ee il eon wit meant fl eatin forthe Stn ce mnt! by ming ae een of jeans OVE eran some clement of the OUT ist ofthe jateaton of some cement in Ns), Unforuntely, there ‘ tunately, there may be many sich assumptions in large dependency Sot Fon. te impels oe at we eet ‘hstaco aan Dependeny deed bck sono Bt ‘etisalat ANDIOR wi that might be rerated and ways to retract them by justifying other 370 cet te contain isl isan sumption ene mls valid "We might retract i by believing tere were ote WPS 1 eve again tha ter Abo, Babi or ab tree could be believed if we dishclleved their alibi, which 8 ‘Suspect Cabot ced IN, naling the justi te conraticion is atled OUT, there is no contradiction 1 res [Now we lem that Cabot was seen on tev Adding this the pendency network fist illustrats the fat et than ore justin as shown in Figure 7.11. Not only doet Cit 5 Ski slopes, but he war see there on elvision, and we Mave M0 ty this was an elaborate forgery. This new valid justi be labeled IN (which also causes Tells Truth Cabot to come IN). ‘propagates to Suspect Cabot, which goes OUT. Now Wee “The justification for the contradiction is now valid and the COT {job ofthe TMS at this points to determine how the a0) ‘again, Ina TMS network, anode canbe made OUT by ems