Download Midterm Result - Artificial Intelligence | CPSC 420 and more Exams Computer Science in PDF only on Docsity! O ve rv ie w M id te rm re su lts M id te rm so lu tio n U ni fic at io n ex am pl es F ac to r R es ol ve nt R es ol ut io n 1 M id te rm R es u lt s 0 0. 51 1. 52 2. 53 3. 54 70 75 80 85 90 95 10 0 C P S C 3 20 M id te rm M id te rm : 7 (in cl ud es tw o 10 0’ s) : 8 : 4 2 P ro b le m 1 ( d e f u n f a c t o r i a l ( n ) ( i f ( e q n 1 ) 1 ( * n ( f a c t o r i a l ( - n 1 ) ) ) ) ) s yn ta x: -1 c on te nt : -2 C om m on m is ta ke s: re tu rn in g (1 ), no t1 . In fix no ta tio n. 3 P ro b le m 2 2. 1 : N eu ro sc ie nc e, P sy ch ol og y, Lo gi c, M at he m at ic s, C om pu te r S ci en ce ,C og ni tiv e S ci en ce ,a nd P hi lo so ph y. 2. 2 S tr on g A I: w he n w e bu ild so m et hi ng in te lli ge nt ,i tw ill be co ns ci ou s W ea k A I: re ga rd le ss of w he th er it is co ns ci ou s or no t, w e ca n bu ild so m et hi ng th at ac ts lik e hu m an in an in te lli ge nt m an ne r. T ur in g te st ca n on ly te st fo r w ea k A I. 4 P ro b le m 3. 1 S pa ce : B F S = , D F S = T im e: B F S = , D F S = B F S :b ot h co m pl et e an d op tim al . D F S :i nc om pl et e an d su bo pt im al . B F S be st w he n go al is sc ar ce an d re la tiv el y sh al lo w ,a nd w he n an op tim al so lu tio n is re qu ire d. D F S be st w he n th er e ar e m an y sh al lo w go al s an d op tim al ity do es no tm at te r m uc h. C om m on m is ta ke s: fix ed go al de pt h do es no ti m pl y a fin ite se ar ch tr ee . 5 P ro b le m 3. 2 (1 ) 1. u se s to ch oo se th e be st no de to ex pa nd (2 po in ts ). 2. E ith er pu sh in g or en qu eu ei ng ca n be us ed ,b ec au se it w ill be so rt ed an yw ay . If th e lis ti s so rt ed to be gi n w ith ,r ep ea te d so rt in g m ay no tb e ne ce ss ar y be ca us e w e ca n ju st in se rt th e ne w no de at th e rig ht pl ac e (2 po in ts ). 3. i s op tim al ly ef fic ie nt ,i. e. gu ar an te ed to ex pa nd th e le as t nu m be r of no de s (1 po in t) . 6 P ro b le m 3. 2 (2 ) 1. -co nt ou r is a co nt ou r of no de s w ith in a fix ed -lim it, w he re th ei r va lu es ar e al lt he sa m e (2 po in ts ). 2. ID S us es de pt h of no de ,w hi le u se s th e va lu e as a bo un d (1 po in t) . 3. i s ba si ca lly a de pt h- fir st se ar ch w ith se rv in g as th e de pt h bo un d, so th e sp ac e co m pl ex ity is lin ea r to th e pa th co st to th e go al (2 po in ts ). C om m on m is ta ke s: (1 ) i s ba si ca lly a br ea dt h fir st ,s o al le xp an de d no de s ar e ke pt in m em or y. It do es no te xp an d no de s w ith la rg er va lu es if th er e ex is tn od es w ith sm al le r va lu es . (2 ) c an ac tu al ly be sl ow er th an b ec au se it re vi si ts sh al lo w co nt ou rs ag ai n an d ag ai n (in th e w or st ca se ). 7 P ro b le m 3. 3 (1 ) 1. lo ca lm ax im a, rid ge ,p al te ue ,s pi ky te rr ai n, et c (3 po in ts ). 2. be ca us e S .A .i s pr ob ab ili st ic ,i tc an ov er co m e th es e lo ca l de ad -e nd s (3 po in ts ). (2 ) 1. H ig he r (2 po in ts ) 2. Lo w er (2 po in ts ) 8 R es o lv en t D efi n it io n : A re so lv en to fp ar en tc la us es ' . a nd '10 i s on e of th e fo llo w in g bi na ry re so lv en ts : 1. a bi na ry re so lv en to f ' . a nd ' 0 2. a bi na ry re so lv en to f ' . a nd a fa ct or of ' 0 3. a bi na ry re so lv en to fa fa ct or of ' . a nd '10 4. a bi na ry re so lv en to fa fa ct or of ' . a nd a fa ct or of ' 0 E xa m p le : re so lv e th e tw o cl au se s 1. ' . ) * " ) + " 9 + a nd 2. '/0 ) 8 " , . (h in t: re so lv e th e fa ct or of ' . a nd cl au se ' 0 ) 17 P ro p er ty o f R es o lu ti o n fo r F ir st -O rd er L o g ic C o m p le te : If a se to fc la us es is un sa tis fia bl e, re so lu tio n w ill ev en tu al ly de ri ve & . : E ve ry th in g th at is tr ue ca n be pr ov ed (e ve nt ua lly ). S o u n d : If & is de riv ed by re so lu tio n, th en th e or ig in al se to f cl au se s is un sa tis fia bl e. : E ve ry th in g th at is pr ov ed is tr ue . 18 W ea kn es s o f R es o lu ti o n B as ic al ly ,r es ol ut io n tr ie s to de riv e A xi om s Th eo re m = & Is th er e a & in th e ax io m s? If th er e is ,t he w ho le fo rm ul a w ill al w ay s be un sa tis fia bl e no m at te r w ha t. C an w e te ll w he th er ax io m s al on e ca n de ri ve & ? (g en er al ly ,t hi s is no tt he ca se ) 19 K ey P o in ts u ni fic at io n al go rit hm fa ct or s : de fin iti on ,a nd ho w to de ri ve ,w hy fa ct or s ar e im po rt an t r es ol ve nt : de fin iti on ,a nd ho w to de riv e 20 N ex t T im e R es ol ut io n: a fu ll ex am pl e A ut om at in g re so lu tio n: va rio us st ra te gi es U nc er ta in ty : ch ap te r 14 21