ࡱ> S@ $bjbj 0(]1ddd8d|je$ff(fff9u9u9u$TRCvr>9uvvCff9 Xxxxv(ffxvx8xRy{tfTff Qdw(^!n0MVb(wbbp9u0iu"xuu19u9u9uCCD@Fw(FCS 540: Introduction to Artificial Intelligence Final Exam: 12:25-2:25pm, December 16, 2002 Room 168 Noland CLOSED BOOK (two sheets of notes and a calculator allowed) Write your answers on these pages and show your work. If you feel that a question is not fully specified, state any assumptions that you need to make in order to solve the problem. You may use the backs of these sheets for scratch work. Write your name on this and all other pages of this exam. Make sure your exam contains six problems on ten pages. Name ________________________________________________________________ Student ID ________________________________________________________________ Problem Score Max Score 1 ______ 28 2 ______ 12 3 ______ 20 4 ______ 10 5 ______ 12 6 ______ 18 TOTAL ______ 100 Problem 1 Representing and Reasoning with Logic (28 points) Convert each of the following English sentences into First-Order Predicate Calculus (FOPC), using reasonably named predicates, functions, and constants. If you feel a sentence is ambiguous, clarify which meaning youre representing in logic. (Write your answers below each English sentence.)  All birds can fly except for penguins and ostriches or unless they have a broken wing.  There was a student in CS 540 Fall 1999 who was born in a country in South America.  John sold Mary his CS 540 textbook (and, hence, this book that John formerly owned is now owned by Mary). [You must use situation calculus here.] Provide a formal interpretation that shows that the following translation from English to FOPC is incorrect. Be sure to explain your answer formally using the interpretation you provide. A book of Sues is missing. (x [ book(x) ( owner(x, Sue) ] ( missing(x) What is the most-general unifier (mgu) of these two wffs? ____________________ Show your work. P(?x, ?x, f(?y)) P(g(?a, ?b), g(1, ?b), ?b) Why is And Elimination a legal inference rule but Or Elimination is not? Problem 2 Neural Networks (12 points) Consider a perceptron that has two real-valued inputs and an output unit with a step function as its activation function. All the initial weights and the bias (threshold) equal 0.1. Assume the teacher has said that the output should be 0 for the input in1 = 5 and in2 = -3. Show how the perceptron learning rule would alter this neural network upon processing this training example. Let ( (the learning rate) be 0.2 and be sure to adjust the output units bias during training. Perceptron BEFORE Training Perceptron AFTER Training Qualitatively draw a (2D) picture of weight space where the backprop algorithm is likely to do well do poorly Be sure to explain your answers. Problem 3 Miscellaneous Questions (20 points) What do you feel are the two (2) most important design choices you would need to make if you used CBR to choose the location of your next vacation? Briefly justify your answers. ______________________________________________________________ ______________________________________________________________ In a weird dream, youre the simulated annealing algorithm. Currently youre at node A in a search space; g(A) = 7 and h(A) = 5. You next randomly select node B; g(B) = 9 and h(B) = 8. The temperature is a Wisconsin-like 10 degrees. Do you move to node B? _________ Show your work. (Lower h values are better.) Show an example of a cross over for a GA whose individuals/entities are 6-bits long. On your way out of the hit feature To Build a Decision Tree, you are surprised to find out the movie theater is giving away prizes. You watch the people ahead of you choose their prize either from behind Door #1 or Door #2. Of those who chose Door #1, half received $5, 1% got a new bike worth $1000, and the rest got a worthless movie poster. Everyone who chose Door #2 got $10. Assuming you want to maximize the likely dollar value of your prize, what door should you choose? ______________ Why? Consider the joint probability distribution below. ABCP(A, B, C)FalseFalseFalse0.05FalseFalseTrue0.10FalseTrueFalse0.03FalseTrueTrue0.25TrueFalseFalse0.15TrueFalseTrue0.02TrueTrueFalse0.07TrueTrueTrue0.33 What is P(A = true)? ______________ Show your work below. What is P(A ( B)? ______________ Explain. Problem 4 Important AI Concepts (10 points) Describe each of the following AI concepts and briefly explain its most significant aspect. (Write your answers in the space below the AI concept.)  Soundness  Overfitting  Fitness Functions  Vector-Space Model  Negation by Failure Problem 5 Bayesian Networks (12 points) Consider the following Bayesian Network, where variables A-D are all Boolean-valued:    ABP(C =true | A, B)falsefalse0.1falsetrue0.5truefalse0.4truetrue0.9BCP(D=true | B, C)falsefalse0.8falsetrue0.6truefalse0.3truetrue0.1 What is the probability that all four of these Boolean variables are false? ______________ What is the probability that C is true, D is false, and B is true? _______________ What is the probability that C is true given that D is false and B is true? _______________ Problem 6 More Probabilistic Reasoning (18 points) Imagine that 99% of the time RE Disease (RED) causes red eyes in those with the disease, at any point in time 2% of all people have red eyes, and at any point in time 1% of the population has RED. You have red eyes. What is the probability you have RED? _______________ Assume we have one diagnostic random variable (call it D) and two measurement variables (call them M1 and M2). For simplicity, assume that the Ms variables have three possible values (e.g., low, medium, and high) and that D is Boolean-valued. We collect data on 300 episodes and find out the following: D was true 100 times and for these cases: M1=low 50 times, M1=med 30 times, and M1 = high 20 times M2=low 10 times, M2=med 80 times, and M2 = high 10 times D was false 200 times and for these cases: M1=low 20 times, M1=med 80 times, and M1 = high 100 times M2=low 180 times, M2=med 10 times, and M2 = high 10 times Making the assumption that M1 and M2 are conditionally independent given D, Show how Bayes rule can be used to compute P(D | M1, M2) given the data above and under the stated assumptions. [Do this algebraically i.e., as an equation.] On a new episode we find M1=low and M2=low. What is the most likely diagnosis? ______________ This time justify your answer numerically. Draw the Bayesian network that one would construct from the above data (do not add any pseudo counts to the above statistics; we wont worry about dealing with probabilities equaling zero). Be sure to explain your solution. Have a good vacation! Name: _____________________________ PAGE 7 PAGE 6 A B P(B=true) = 0.7 P(A=true) = 0.2 C D 01]m      [ e     * + 3 4 U V k m n o w x ȿȿ𩟕uhtzh85CJaJhtzh] p5CJhtzh,75CJhtzh,5CJhtzh85CJhtzh85>*CJhtzh85CJhtzh,CJhtzh8CJhtzh8CJhtzh8mH nH uhtzh86CJ htzh8htzh8CJ(.01]mnz    X Y Z ^` !$a$$a$($$$  * + L M n o    m n o p q r s t  & F ^`$p^pa$p^p ! ?     m n w x { DEFGIWjpq~ƺƺư}sldls[htzh8CJhtzh86 htzh8htzh86CJhtzh,6CJaJhtzh5r6CJaJhtzh856CJjhtzh85CJUhtzh85CJhtzh86CJaJhtzh8CJaJhtzh85CJhtzh85CJaJhtzh,75CJaJhtzh,5CJaJ"t u v w y z qrstuvwx^$a$gd[xyz{|}~;< & Fgd,h^h & F<FZ]^bfjk}~&*,/04vlllhtzh,6CJhtzhC}CJhtzh&CJhtzh,CJhtzhC}5CJhtzha(>5CJhtzh,5CJhtzh85CJ jhtzh66CJaJ jhtzh86CJ j"htzh86CJhtzh5r6CJhtzh8CJhtzh86CJ*,-./012345678h^hgd, & F#gd, & Fgd, ^`46?Njy dg56ζګ|ncchtzh8OJQJ jhhtzh8CJaJhtzhtz6CJaJhtzha(>CJaJhtzha(>6CJaJhtzh86CJaJhtzh8CJaJhtzh,75CJaJhtzh,5CJaJhtzh85CJaJhtzh85CJhtzh86CJhtzh8CJhtzh,CJ$5=>?8^8 & FEP^`Egd5r & F#gd, ^gd, @ABCNQRrst|} 9@TUxlxaxVhtzh5rCJaJhtzhC}CJaJhtzha(>6CJaJhtzha(>CJaJhtzh856CJhtzh856CJaJhtzhtz5CJaJhtzh,5CJaJhtzh85CJaJhtzh85CJhtzh5rCJhtzh<{CJhtzh86CJhtzh[CJhtzh8CJ htzh8?@ABCMNOPQRsWX & F$gd5rgd6 & F$gda(>h^hgd<{ & F8^8UWX14?@TXYZ[]`adefgh}}htzh66CJaJ htzha(>htzha(>6CJaJhtzh6CJaJhtzha(>CJaJhtzh^,y56CJhtzh5r56CJhtzhPR56CJhtzh6CJhtzh5rCJhtzh656CJhtzha(>56CJ0+,-./012345 hx^hgd] p & F$gda(>gd5r & F$gd5rgd6*+,.034GIJTdx&2n~ǵꞓ|pd||htzhrK6CJaJhtzh] p6CJaJhtzhrKCJaJhtzh^,y6CJaJhtzh&CJaJhtzh^,yCJaJhtzh856CJ htzh6htzhkCJaJhtzh66CJaJhtzha(>CJaJhtzhPR56CJhtzh6CJaJhtzhPRCJaJ&5   $Ifgd6 $$Ifa$gd6 & F$gd6h^hgdrKgdrK & F$gdrKgd6 & F$gd^,y  .5ot{(,]ԽԽԦԦxldhiCJaJhtzh65CJaJhtzh66CJaJhtzh6CJaJhtzh^,yCJaJhtzh>l56CJhtzhrK56CJhtzh&CJaJhtzhPRCJaJhtzh656CJhtzhrKCJaJhtzh] pCJaJhtzhkCJaJhtzh[CJaJ'^UUUI $$Ifa$gd6 $Ifgd6kd$$Ifl\.  t0644 la ^UUUI $$Ifa$gd6 $Ifgd6kd$$Ifl\.  t0644 la  ^UUUI $$Ifa$gd6 $Ifgd6kd$$Ifl\.  t0644 la #(-2^UUUI $$Ifa$gd6 $Ifgd6kdt$$Ifl\.  t0644 la 238>DI^UUUI $$Ifa$gd6 $Ifgd6kd$$Ifl\.  t0644 la IJOUZ_^UUUI $$Ifa$gd6 $Ifgd6kdh$$Ifl\.  t0644 la ]^45ȽޮȽwkw`htzh8CJaJhtzh,5CJaJhtzh85CJaJhtzh85CJhtzh8CJhtzh856CJhtzh>l56CJ jhtzh^,y6CJaJhtzh&CJaJhtzh5rCJaJhtzhPRCJaJhtzh^,y6CJaJhtzh6CJaJhtzh^,yCJaJ$_`ejpu^UUUI $$Ifa$gd6 $Ifgd6kd$$Ifl\.  t0644 la uv{^UUUI $$Ifa$gd6 $Ifgd6kd\$$Ifl\.  t0644 la ^UPHCCCgd^,y & F%gd^,ygd6^gd6kd$$Ifl\.  t0644 la 45gd>l & F%gd^,ygd^,y ,-.0DHPQhirǻݻݬݻ~ri_ihtzh85CJhtzh8CJhtzhr&5CJaJhtzh,5CJaJhtzh85CJaJhtzh86CJhtzh85CJaJjhtzh8CJUaJhtzh86CJaJhtzh8CJjhtzh8CJUhtzh8CJaJhtzh&CJaJhtzh&6CJaJ     &'()*+,-/DEFGHHr$$&`#$/Ifa$gd&x  ,-B  &'ҶүҚݯ݇݇~uiiihtzh856CJhtzhPRCJhtzh&CJhtzh5rCJhtzh85CJhtzh85CJaJhtzh8CJ htzh8htzh&CJaJ jhtzh85CJUaJhtzh8CJaJhtzh8CJjhtzh8Ujhtzh85CJU)l]]K$$&`#$/Ifa$$&`#$/IfkdP$$IflFrP  t 6`0}    4 la  l]]K$$&`#$/Ifa$$&`#$/Ifkd$$IflUFrP  t 6`0}    4 la l]]K$$&`#$/Ifa$$&`#$/Ifkd$$IflUFrP  t 6`0}    4 la#(,l]]K$$&`#$/Ifa$$&`#$/Ifkdu$$IflUFrP  t 6`0}    4 la,-/1BlZZK$&`#$/If$$&`#$/Ifa$kd,$$IflFrP  t 6`0}    4 laBCIOSo``I$ !$&`#$/Ifa$$&`#$/Ifkd$$IflNFU2 6`0    4 laSTZ_co``N$$&`#$/Ifa$$&`#$/Ifkd$$IflFU2 6`0    4 lacdioso``N$$&`#$/Ifa$$&`#$/Ifkdk $$IflFU2 6`0    4 lasty~o``N$$&`#$/Ifa$$&`#$/Ifkd/ $$IflFU2 6`0    4 laommmmmcmmmm & F,xgd5rkd $$IflFU2 6`0    4 la CDEFGHIJKLh^h & F & F,'038=BCEGijsx~ "<ST89dfkm۰zhtzhC}CJhtzh86CJ]htzh,CJhtzhr&5CJaJhtzh,5CJaJhtzh85CJaJhtzh86CJhtzh856CJhtzhPRCJhtzh85CJhtzh5rCJhtzh&CJhtzh8CJ03 4 ^ !?!}!~!!!!n" & FEx^`Eh(^h hh^h`h & Fh^h4 6 9 > ` f q w ! !!!+!4!A!G!S!Y!h!q!!!!!!!!!!"";">"F"G"U"W"["l"ǹǞՓhtzhtzCJaJhtzh85CJaJhtzh86CJ\]aJhtzh8CJ\]aJhtzh856CJaJhtzh8CJaJhtzh856CJhtzh8CJhtzh86CJ:l"m"w"x""""""""""######a#d#e##$$($j$k$q$r$s$t$u$w$x$~$$$շޤ蘑ޤ|v|k|v|v|`hi0JmHnHuh80JmHnHu h80Jjh80JUh8 htzhr& htzh8htzh86CJaJhtzhr&5CJhtzhtzCJhtzhC}CJhtzhPRCJhtzh856CJhtzh8CJhtzh85CJhtzh8CJaJhtzh85CJaJ%n"o"p"q"r"s"t"u"v"w"x"### # # # # ########### & F#######$$$$$$$$$ $ $ $ $ $$$$$$($i$j$$a$$a$gdr&j$u$v$w$$$$$$$$$$$$$$$$$$$$$$a$gdr&&`#$$$$$$$$ htzhr&hryh8 h80Jjh80JU. 00&PP/R / =!"#$%~$$If !vh5555#v#v:Vl t6,,55a x$$If !vh5555#v#v:Vl t6,55a x$$If !vh5555#v#v:Vl t6,55a x$$If !vh5555#v#v:Vl t6,55a x$$If !vh5555#v#v:Vl t6,55a x$$If !vh5555#v#v:Vl t6,55a x$$If !vh5555#v#v:Vl t6,55a x$$If !vh5555#v#v:Vl t6,55a x$$If !vh5555#v#v:Vl t6,55a $$If!vh555#v#v:V l t 6`0}554$$If!vh555#v#v:V lU t 6`0}554$$If!vh555#v#v:V lU t 6`0}554$$If!vh555#v#v:V lU t 6`0}554$$If!vh555#v#v:V l t 6`0}554$$If!vh5525#v#v2#v:V lN 6`055254$$If!vh5525#v#v2#v:V l 6`055254$$If!vh5525#v#v2#v:V l 6`055254$$If!vh5525#v#v2#v:V l 6`055254$$If!vh5525#v#v2#v:V l 6`0552548@8 Normal_HmH sH tH 8@8 Heading 1$@&5N@N Heading 2$<@&56CJOJQJL@L Heading 3$$@&a$6CJmHnHu<@< Heading 4$@&5CJJ@J Heading 5$$@&a$CJmHnHu>@> Heading 6$@& 56CJDA@D Default Paragraph FontVi@V  Table Normal :V 44 la (k(No List 2B@2 Body Text56P@6 Body Text 2CJ4 @4 Footer  !.)@!. Page Number4@24 Header  !XC@BXBody Text Indenth<^hCJmHnHuj@Sj 6 Table Grid7:V0(*-0   (*-0301]mnzXYZ *+LMnomnopqrstuvwyzqrstuvwxyz{|}~;<,-./012345678 5 = > ? @ A B C M N O P Q R s W X +,-./012345   #(-238>DIJOUZ_`ejpuv{45     &'()*+,-/DEFGHr  #(,-/1BCIOSTZ_cdiosty~CDEFGHIJKL34^?}~nopqrstuvwx          (ijuvw000(00]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0] 0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0] 0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0]0] 0]0]0]0]0]0]0]0]0]0]0]0]0]0]0] 0]0]0]0]0]0]# 0]0]0]0]0]00 0 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 # 0  0 0 0 0 0 0 0  0 0 0 0 0 0 0 0 0 $ 0 0 $ 0 0 0 0 0 0 0 0 0 0 $ 0 0 0 0 0 0 0 0 0 0 0 $ 0 0 0 0 0 0 0 0 0 0 0 0 $ 0 0 $ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 $ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 % 0 0 0 0 0 0 0 0 % 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  @0 @0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0 0 0 0 0 , 0 0 0 0 0 0 0 0 0 , 0 0 0 0 0 0 0 0 0 0 , 0 0 0 0 0 0 0 0  0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 0 0 0 0 0 0 0 0  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 @0@0@0@0@0@0@0@00\0 0000000@00000*00-D>001]mnzXYZ *+LMnomnopqrstuvwyzqrstuvwxyz{|}~;<,-./012345678 5 = > ? @ A B C M N O P Q R s W X +,-012345 #(-238>DIJOUZ_`ejpuv{@0@0@0*@0@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@ 0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@ 0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@ 0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@0]@ 0]@0]@0]@0]@0]@0]@# 0]@0]@0]@0]@0]@0@0} @0} @0} @0} @0} @0} @0} @0} @0@0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @# 0 @ 0 @0 @0 @0 @0 @0 @0 @ 0 @0 @0 @0 @0 @0 @0 @0 @0 @$ 0 @0 A$ 0 @0 @0 @0 @0 A$ 0 @0 @0 @0 @0 @0 @0 @$ 0 @0 @0 @0 @0 @0 @0 @0 @0 @$ 0 @0 @0 @$ 0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @0 @% 0 @% 0  0xBO\\\_ 4U]'l"$$ "$+03?ABF t x?52I_uH ,BScsn"#j$$!#%&'()*,-./12456789:;<=>@CDE$BIKOVX_!!# L0e0e     5% 8c8c     ?1 d0u0@Ty2 NP'p<'pA)BCD|E||@ : (  tB  6D?"tB  6D?"tB  6D?"tB  6D?"tB  6D?"tB  6D?"tB  6D?"lB  @ <D?r   6 ?  r   6 ?     6 ?"  zB   <D?" lB  <D?lB  <D?tB  6D?"l  0?  l  0? l  0? l  0? B S  ?w-$4$42$24$4$4Z2$24'$'4'$'4|td\t pt |t $pt HtVHzt Trt|tttl0t&7L.O'7M(7LH=KI\9*urn:schemas-microsoft-com:office:smarttagsplace8*urn:schemas-microsoft-com:office:smarttagsdate8*urn:schemas-microsoft-com:office:smarttagstime  1216200225DayHourMinuteMonthYear(,((-( (,'((jtw(,( Jude Shavlikjude w shavlikjude w shavlikjude w shavlikjude w shavlikjude w shavlikjude w shavlikshavlikJude W. ShavlikJude W. Shavlik, tJ6~'. #l%x j+G^l $u")^3Mn\.pr^ :,u&rwA' D.u")'gH<tY=Ƶ8>ZZ9> =B akC#.vG"8,}=GG~ ZSHndJZeMTQRƵ:8TƵJFTƵd XfX~KY}PHmS[hHR]$wYa$?Ikg \MAhɮNpki*j2 9k ~un DuƵ.v#-vcztnLgW5||Ȅ}=|lp6r}Ƶhh^h`56hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`()hh^h`56()hh^h`56hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`56o(hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`()h hh^h`hH)h 88^8`hH.h L^`LhH.h   ^ `hH.h   ^ `hH.h xLx^x`LhH.h HH^H`hH.h ^`hH.h L^`LhH.hh^h`56o(hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.h^`56hH)h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.hh^h`56hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`OJQJo(hH ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`56o(hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.h hh^h`hH)h 88^8`hH.h L^`LhH.h   ^ `hH.h   ^ `hH.h xLx^x`LhH.h HH^H`hH.h ^`hH.h L^`LhH. ^`5CJo(hh^h`56()hh^h`56o(hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`()hh^h`()8 L^`Lo(hH.8 ^`hH.8 pLp^p`LhH.8 @ @ ^@ `hH.8 ^`hH.8 L^`LhH.8 ^`hH.8 ^`hH.8 PLP^P`LhH.^`o(h^`.h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.hh^h`56hH)L^`L56o(hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.h ^`hH.h ^`hH.h pLp^p`LhH.h @ @ ^@ `hH.h ^`hH.h L^`LhH.h ^`hH.h ^`hH.h PLP^P`LhH.hh^h`56()hh^h`56()hh^h`56()hh^h`56o(hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.L^`L56o(hH. pp^p`hH. @ L@ ^@ `LhH. ^`hH. ^`hH. L^`LhH. ^`hH. PP^P`hH.  L ^ `LhH.hh^h`56o(hH ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH. hh^h`o(hH ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`56o(hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`56o(hH)L^`L56o(hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`56o(hH) ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.^`o( hh^h`o(hH ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.hh^h`()hh^h`()hh^h`56()8 L^`Lo(hH.8 ^`hH.8 pLp^p`LhH.8 @ @ ^@ `hH.8 ^`hH.8 L^`LhH.8 ^`hH.8 ^`hH.8 PLP^P`LhH.88^8`56o(hH) pp^p`hH. @ L@ ^@ `LhH. ^`hH. ^`hH. L^`LhH. ^`hH. PP^P`hH.  L ^ `LhH.L^`L56o(hH. ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH. hh^h`o(hH ^`hH. pLp^p`LhH. @ @ ^@ `hH. ^`hH. L^`LhH. ^`hH. ^`hH. PLP^P`LhH.^`o(hh^h`56(),}=|'gH<pki.vGZ9>~un=B9k'.G^l#r}JFTDu:8T:8T:8TMn}=GGx  R]u&0W5|8>*jmS[ZSHpr^ akC$JZeM D.AhIkg~KY-vA'cz^3.vd XYa,,|                 |                 |        |        `2:        |`2:       ߆l        f,        |        |߆l       |        f,         @[kr&a(>EW[] p5r^,yrytz68&i>l<{C}PR,rK,7  #(-238>DIJOUZ_`ejpuv{  #(,-/1BCIOSTZ_cdiosty~(__"@ ,,8,,p@UnknownGz Times New Roman5Symbol3& z Arial"hl&l&kl3333r4d3QH(?,6Problem 1  First-Order Predicate Calculus (15 points) Jude Shavlikshavlik,                           ! " # $ % & ' ( ) * + Oh+'0 ,8 T ` l x7Problem 1 First-Order Predicate Calculus (15 points)rob Jude Shavlikirsude Normal.dotkshavlik2avMicrosoft Word 10.0@@x/@Q@Q3՜.+,0< hp   University of Wisconsin-Madison3 7Problem 1 First-Order Predicate Calculus (15 points) Title  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGIJKLMNOQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Root Entry FЙQData H1TablePWordDocument0SummaryInformation(DocumentSummaryInformation8CompObjj  FMicrosoft Word Document MSWordDocWord.Document.89q