´ytu . o . ˙’ ng khu . ˙’ ch´ung d¯ˆe ˙’ d¯ ˆe ´ nmˆo . tmˆe . nh d¯ˆe ` trˆo ´ ng. Viˆe . cd¯ˆo ´ i s´anh d¯u . o . . c thu . . chiˆe . nbˇa ` ng c´ach thˆe ´ c´ac biˆe ´ nd¯ˆe ˙’ ta . o c´ac nguyˆen tu . ˙’ d¯ ˆo ` ng nhˆa ´ t. Sau khi d¯ˆo ´ i s´anh, mˆe . nh d¯ˆe ` dˆa ˜ n xuˆa ´ t, go . il`amˆe . nh d¯ˆe ` phˆan gia ˙’ i, gˆo ` m c´ac vˆe ´ bˆen tr´ai v`a bˆen pha ˙’ i khˆong thˆe ˙’ d¯ ˆo ´ i s´anh nhau. Vˆe ´ tr´ai cu ˙’ a (c) d¯ˆo ´ i s´anh v´o . ivˆe ´ pha ˙’ icu ˙’ a (a) nˆe ´ uch´ung ta thˆe ´ so . t r´ac bo . ˙’ i x v`a b`an l`am viˆe . cl`ay. Mˆe . nh d¯ˆe ` tˆo ´ i gia ˙’ nl`a (e) INVISIBLE(so . t r´ac). Tuy nhiˆen, phˆan gia ˙’ icu ˙’ a (d) v`a (e) l`a mˆe . nh d¯ˆe ` trˆo ´ ng do vˆe ´ tr´ai cu ˙’ a (d) v`a vˆe ´ pha ˙’ icu ˙’ a (e) l`a d¯ˆo ` ng nhˆa ´ t. Mˆau thuˆa ˜ n n`ay chı ˙’ ra phu ˙’ d¯ i . nh INVISIBLE(so . t r´ac) ⇒ l`a sai, v`a bo . ˙’ ivˆa . ych´u . ng to ˙’ t´ınh d¯´ung cu ˙’ amˆe . nh d¯ˆe ` INVISIBLE(so . t r´ac). Mˆo . tkˆe ´ t qua ˙’ co . ba ˙’ n trong ph´ep t´ınh vi . t`u . l`a tˆa ´ tca ˙’ c´ac d¯i . nhl´yd¯´ung c´o thˆe ˙’ ch´u . ng minh sau h˜u . uha . nbu . ´o . c. Herbrand l`a ngu . `o . id¯ˆa ` u tiˆen d¯u . a ra thuˆa . t to´an (nhu . ng khˆong hiˆe . u qua ˙’ )d¯ˆe ˙’ t`ım c´ac ch´u . ng minh nhu . thˆe ´ . Khoa ˙’ ng ba mu . o . i nˇam sau, Robinson d¯˜a cung cˆa ´ pmˆo . t thuˆa . t to´an hiˆe . u qua ˙’ ho . ndu . . a trˆen nguyˆen tˇa ´ c suy dˆa ˜ ngo . il`al`o . i gia ˙’ i. Robinson d¯˜a chı ˙’ ra rˇa ` ng nguyˆen tˇa ´ cl`o . i gia ˙’ iba ˙’ od¯a ˙’ m t´ınh d¯ˆa ` yd¯u ˙’ theo ngh˜ıa tˆa ´ tca ˙’ c´ac d¯i . nh l´y d¯´ung d¯u . o . . cch´u . ng minh v`a t´ınh d¯´ung d¯ˇa ´ n theo ngh˜ıa khˆong c´o d¯i . nh l´y sai d¯ u . o . . cch´u . ng minh. Nhu . v´ıdu . tru . ´o . cchı ˙’ ra, nguyˆen tˇa ´ cl`o . i gia ˙’ i kh´a d¯o . n gia ˙’ n. Sau khi c´ac phˆa ` ntu . ˙’ cu ˙’ a b`ai to´an d¯˜a d¯u . o . . cbiˆe ˙’ udiˆe ˜ nda . ng mˆe . nh d¯ˆe ` ,phu . o . ng ph´ap ch´ung ta t`ım kiˆe ´ m c´ac gia ˙’ thiˆe ´ td¯´u . ng tru . ´o . cv`ac´achˆe . qua ˙’ d¯ ´u . ng sau cu ˙’ a c´ac suy dˆa ˜ n kh´ac nhau m`a c´o thˆe ˙’ d¯ ˆo ´ i s´anh d¯u . o . . c. Viˆe . cd¯ˆo ´ i s´anh d¯u . o . . c thu . . chiˆe . nbˇa ` ng c´ach thay c´ac biˆe ´ nd¯ˆe ˙’ ta . o c´ac nguyˆen tu . ˙’ d¯ ˆo ` ng nhˆa ´ t. Sau khi d¯ˆo ´ i s´anh, mˆe . nh d¯ˆe ` suy dˆa ˜ ngo . il`amˆe . nh d¯ˆe ` phˆan gia ˙’ i,gˆo ` mvˆe ´ bˆen tr´ai v`a bˆen pha ˙’ i khˆong thˆe ˙’ d¯ ˆo ´ i s´anh nhau nhu . chı ˙’ ra o . ˙’ trˆen. Viˆe . c ch´u . ng minh d¯i . nh l´y nhˇa ` m phˆan gia ˙’ i c´ac mˆe . nh d¯ˆe ` v´o . imu . c tiˆeu sinh ra mˆenh d¯ˆe ` trˆo ´ ng, m`a l`a mˆau thuˆa ˜ n. Trong thu . . ctˆe ´ , c´o rˆa ´ t nhiˆe ` u t`ai liˆe . uliˆen quan d¯ˆe ´ nphu . o . ng ph´ap ch´u . ng minh d¯i . nh l ´y bˇa ` ng c´ach kiˆe ´ n thiˆe ´ t c´ac thuˆa . t to´an hiˆe . u qua ˙’ du . . a trˆen co . so . ˙’ tri th ´u . c d¯˜a c´o. 9.5.4 Ma . ng ng˜u . ngh˜ıa Ma . ng ng˜u . ngh˜ıa l`a d¯ˆo ` thi . c´o hu . ´o . ng d¯u . o . . c g´an nh˜an trong d¯´o mˆo ˜ in´ut biˆe ˙’ udiˆe ˜ n c´ac d¯ˆo ´ i tu . o . . ng hay c´ac biˆe ´ n v`a c´ac cung biˆe ˙’ udiˆe ˜ nmˆo ´ i quan hˆe . gi˜u . a c´ac n´ut. C´ac ma . ng d¯u . o . . c thiˆe ´ tkˆe ´ theo kiˆe ˙’ u n`ay c´o mˆo . tsˆo ´ u . ud¯iˆe ˙’ m, chˇa ˙’ ng ha . nbiˆe ˙’ udiˆe ˜ n tri th´u . c c´o t´ınh tru . . c quan. Ngo`ai ra, do biˆe ˙’ udiˆe ˜ n trˆen d¯ˆo ` thi . nˆen c´o thˆe ˙’ su . ˙’ du . ng c´ac k˜y thuˆa . td¯ˆo ´ i s´anh v`a g´an nh˜an trˆen d¯ˆo ` thi . d¯ ˆe ˙’ thao t´ac c´ac phˆa ` ntu . ˙’ cu ˙’ a b`ai to´an nˆo . i suy. H`ınh 9.20 l`a d¯ˆo ` thi . biˆe ˙’ udiˆe ˜ n c´ac su . . kiˆe . n trong b`ai to´an so . t r´ac. 348 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . b`an l`am viˆe . c so . t r´ac BEHIND . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . b`an l`am viˆe . c ghˆe ´ NEXT-TO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . y x BEHIND INVISIBLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . so . t r´ac INVISIBLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G 4 H`ınh 9.20: C´ac phˆan hoa . ch cu ˙’ ama . ng ng˜u . ngh˜ıa trong b`ai to´an so . t r´ac. Ma . ng ng˜u . ngh˜ıa cung cˆa ´ pmˆo . t c´ach tiˆe ´ pcˆa . n kh´ac d¯ˆe ˙’ thu . . chiˆe . ntiˆe ´ n tr`ınh nˆo . i suy. Mˇa . cd`u c´o mˆo . tsˆo ´ c´ach su . ˙’ du . ng ma . ng d¯ˆe ˙’ nˆo . i suy, tuy nhiˆen trong phˆa ` nn`aych´ung ta chı ˙’ tˆa . p trung v`ao c´ac ma . ng d¯u . o . . csu . ˙’ du . ng d¯ˆe ˙’ biˆe ˙’ udiˆe ˜ nv`axu . ˙’ l´y tri th´u . cd¯u . o . . cbiˆe ˙’ u diˆe ˜ no . ˙’ da . ng mˆe . nh d¯ˆe ` . C´ach tiˆe ´ pcˆa . n n`ay minh ho . a c´ac kh´ai niˆe . mco . ba ˙’ nsu . ˙’ du . ng ma . ng ng˜u . ngh˜ıa v`a c˜ung tiˆe ´ ptu . cv´o . inh˜u . ng tha ˙’ o luˆa . n trˆen. Viˆe . c xˆay du . . ng c´ac ma . ng ng˜u . ngh˜ıa t`u . c´ac biˆe ˙’ uth´u . cmˆe . nh d¯ˆe ` rˆa ´ tdˆe ˜ d`ang. ´ Y tu . o . ˙’ ng l`a biˆe ˙’ udiˆe ˜ nmˆo ˜ imˆe . nh d¯ˆe ` nhu . mˆo . t phˆa ` ncu ˙’ ama . ng ng˜u . ngh˜ıa (t´u . c l`a, mˆo ˜ imˆe . nh d¯ ˆe ` d¯ u . o . . cbiˆe ˙’ udiˆe ˜ nnhu . mˆo . td¯ˆo ` thi . con). C´ac n´ut cu ˙’ ama . ng ch´u . a c´ac biˆe ´ n v`a c´ac hˇa ` ng (c´ac d¯ˆo ´ itu . o . . ng), v`a c´ac cung d¯u . o . . c g´an nh˜an biˆe ˙’ u thi . mˆo ´ i quan hˆe . gi˜u . a hai n´ut. Mˆo . t cung d¯u . o . . cv˜ebˇa ` ng mˆo . tm˜ui tˆen nˆe ´ u n´o biˆe ˙’ udiˆe ˜ nmˆo . t quan hˆe . trong phˆa ` nkˆe ´ t luˆa . n (vˆe ´ pha ˙’ i) cu ˙’ amˆe . nh d¯ˆe ` v`a m˜ui tˆen d¯ˆoi nˆe ´ u n´o biˆe ˙’ udiˆe ˜ n quan hˆe . trong phˆa ` nd¯iˆe ` ukiˆe . n (vˆe ´ tr´ai) cu ˙’ amˆe . nh d¯ˆe ` .H`ınh 9.20 minh ho . ad¯ˆo ` thi . tu . o . ng ´u . ng c´ac biˆe ˙’ uth´u . c (a)-(d) trong v´ıdu . so . t r´ac. Ch´ung ta chuyˆe ˙’ n quan hˆe . mˆo . t ngˆoi, chˇa ˙’ ng ha . n INVISIBLE( x), th`anh quan hˆe . hai ngˆoi INVISIBLE(x, x) (tu . o . ng ´u . ng khuyˆen cu ˙’ ad¯ˆo ` thi . ). Qu´a tr`ınh suy luˆa . ndu . . a v`ao ma . ng ng˜u . ngh˜ıa c´o da . ng trong H`ınh 9.20 rˆa ´ td¯o . n gia ˙’ n. C´ac d¯ˆo ` thi . con d¯u . o . . c trˆo . nlˆa ˜ nbˇa ` ng c´ach d¯ˆo ´ i s´anh c´ac biˆe ´ n v`a c´ac hˇa ` ng, c´ac m˜ui tˆen d¯ˆoi khu . ˙’ c´ac m˜ui tˆen d¯o . nc`ung v´o . i c´ac n´ut ngo . nnˆe ´ uch´ung bˇa ` ng nhau. Nhu . trong phˆa ` n tru . ´o . c, mu . cd¯´ıch l`a t`ım phˆan hoa . ch trˆo ´ ng liˆen quan d¯ˆe ´ nmˆe . nh d¯ˆe ` phu ˙’ d¯ i . nh d¯u . o . . c thiˆe ´ tlˆa . pl´uc bˇa ´ td¯ˆa ` u suy luˆa . n. H`ınh 9.21 minh ho . akˆe ´ t qua ˙’ (k´y hiˆe . u G 13 ) khi trˆo . n hai d¯ ˆo ` thi . con G 1 v`a G 2 trong H`ınh 9.20. Trˆo . n G 13 v`a G 4 ta d¯u . o . . cd¯ˆo ` thi . trˆo ´ ng. T`u . d¯ ´o suy ra so . t r´ac khˆong kha ˙’ kiˆe ´ n. 349 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . b`an l`am viˆe . c ghˆe ´ NEXT-TO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . so . t r´ac INVISIBLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . so . t r´ac INVISIBLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . G 4 H`ınh 9.21: Suy luˆa . nbˇa ` ng c´ach trˆo . n c´ac d¯ˆo ` thi . con. 9.5.5 Hˆe . chuyˆen gia Hˆe . chuyˆen gia l`a mˆo . t c´ach tiˆe ´ pcˆa . n kh´ac d¯ˆe ˙’ suy luˆa . n. Tu . o . ng tu . . trong ph´ep t´ınh vi . t`u . v`a ma . ng ng˜u . ngh˜ıa, hˆe . chuyˆen gia su . ˙’ du . ng d¯ˆo ´ i s´anh d¯ˆe ˙’ suy luˆa . n. Tuy nhiˆen, c´ac h`anh d¯ ˆo . ng cu ˙’ amˆo . thˆe . chuyˆen gia sau khi d¯ˆo ´ i s´anh d¯˜a d¯u . o . . c t`ım thˆa ´ yph´u . cta . pho . n nhiˆe ` u. Thˆa . t ra, c´ac h`anh d¯ˆo . ng c´o d¯ˆo . ph´u . cta . p tu`y ´y. Hˆe . chuyˆen gia d¯u . o . . c quan tˆam nhiˆe ` u do t´ınh mˆe ` mde ˙’ ocu ˙’ ach´ung. D - ˇa . cbiˆe . t, c´ac hˆe . chuyˆen gia d¯˜a d¯u . o . . csu . ˙’ du . ng th`anh cˆong trong nhiˆe ` u l˜ınh vu . . ct`u . xu . ˙’ l´y a ˙’ nh v`a kiˆe ˙’ m tra c´ac sa ˙’ n phˆa ˙’ m cˆong nghiˆe . pd¯ˆe ´ nchˆa ˙’ n d¯o´an trong y ho . c v`a c´ac qu´a tr`ınh d¯iˆe ` u khiˆe ˙’ n. C´ac hˆe . chuyˆen gia l`a c´ac hˆe . thˆo ´ ng human-machine v´o . i chuyˆen mˆon ho´a cao nhˇa ` m gia ˙’ i quyˆe ´ tnh˜u . ng b`ai to´an d¯ˇa . cbiˆe . t. Do d¯´o thuˆa . tng˜u . hˆe . chuyˆen gia ´am chı ˙’ d¯ ˆe ´ n c´ac hˆe . thˆo ´ ng m´ay du . . a trˆen tri th´u . c nhˆa . nd¯u . o . . ct`u . nh˜u . ng chuyˆen gia vˆe ` l˜ınh vu . . cd¯ˇa . cbiˆe . t. H`ınh 9.22 cho thˆa ´ y c´ac th`anh phˆa ` nco . ba ˙’ ncu ˙’ amˆo . thˆe . chuyˆen gia. D - o . nvi . xu . ˙’ l´y ngˆon ng˜u . l`a bˆo . phˆa . n giao tiˆe ´ pgi˜u . a ngu . `o . isu . ˙’ du . ng v`a hˆe . thˆo ´ ng. Ngu . `o . isu . ˙’ du . ng tu . o . ng t´ac v´o . ihˆe . chuyˆen gia thˆong qua ngˆon ng˜u . d¯ i . nh hu . ´o . ng b`ai to´an m`a thu . `o . ng o . ˙’ da . ng tiˆe ´ ng Anh v´o . isˆo ´ t`u . vu . . ng ha . n chˆe ´ . C´o thˆe ˙’ su . ˙’ du . ng ngˆon ng˜u . d¯ ˆo ` ho . ad¯ˆe ˙’ bˆo ˙’ sung cho viˆe . c giao tiˆe ´ p. D - o . nvi . xu . ˙’ l´y ngˆon ng˜u . gia ˙’ i th´ıch c´ac t´ın hiˆe . uv`aot`u . ngu . `o . isu . ˙’ du . ng v`a d¯ i . nh da . ng thˆong tin d¯u . o . . cta . orabo . ˙’ ihˆe . thˆo ´ ng. D - o . nvi . d¯ i ˆe ` uchı ˙’ nh gia ˙’ i th´ıch c´ac h`anh d¯ ˆo . ng cu ˙’ ahˆe . thˆo ´ ng cho ngu . `o . isu . ˙’ du . ng. Chˇa ˙’ ng ha . n, n´o tra ˙’ l`o . i c´ac cˆau ho ˙’ ita . i sao mˆo . t tiˆe ´ n tr`ınh d¯u . o . . c ho`an th`anh hoˇa . ctiˆe ´ n tr`ınh kh´ac bi . loa . ibo ˙’ .Bˆo . phˆa . nd¯iˆe ` uchı ˙’ nh d¯´ong vai tr`o chu ˙’ yˆe ´ u trong viˆe . c thiˆe ´ tkˆe ´ ban d¯ˆa ` u v`a g˜o . rˆo ´ icu ˙’ amˆo . thˆe . chuyˆen gia. Bˆo . phˆa . n blackboard c´o ch´u . c nˇang lu . utr˜u . c´ac mˆa ˙’ u tin chˇa ˙’ ng ha . nd˜u . liˆe . uhiˆe . n h`anh vˆe ` b`ai to´an d¯ˇa . cta ˙’ , c´ac gia ˙’ thiˆe ´ t, v`a c´ac quyˆe ´ td¯i . nh trung gian. C´ac thuˆa . tng˜u . bˆo . nh´o . ta . m th`o . i v`a bˆo . nh´o . th`o . i gian ngˇa ´ n thu . `o . ng d¯u . o . . csu . ˙’ du . ng luˆan phiˆen d¯ˆe ˙’ k´yhiˆe . u 350 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ngu . `o . isu . ˙’ du . ng Blackboard D - iˆe ` uchı ˙’ nh ngˆon ng˜u . Xu . ˙’ l´y Co . so . ˙’ tri th´u . c D - iˆe ` u khiˆe ˙’ n H`ınh 9.22: C´ac th`anh phˆa ` nco . ba ˙’ ncu ˙’ amˆo . thˆe . chuyˆen gia. cho blackboard. Co . so . ˙’ tri th ´u . c (mˆo . ttˆa . p con cu ˙’ aco . so . ˙’ tri th ´u . c trong H`ınh 9.1) ch´u . a c´ac thu ˙’ tu . c, thi . gi´ac v`a tri th´u . cvˆe ` thˆe ´ gi´o . i thu . . cnhu . d¯˜a tr`ınh b`ay trong Phˆa ` n 9.5.2 . M´u . cd¯ˆo . m`a tri th´u . cd¯u . o . . csu . ˙’ du . ng bo . ˙’ imˆo . thˆe . chuyˆen gia (bao gˆo ` m tri th ´u . cd¯u . o . . csu . ˙’ du . ng bo . ˙’ i c´ac d¯o . nvi . cu ˙’ ahˆe . thˆo ´ ng xu . ˙’ l´y a ˙’ nh) phu . thuˆo . c v`ao tr`ınh ´u . ng du . ng. Co . so . ˙’ tri th´u . cc˜ung ch´u . a c´ac quy tˇa ´ cm`ahˆe . thˆo ´ ng cˆa ` nd¯ˆe ˙’ gia ˙’ i quyˆe ´ tmˆo . t b`ai to´an. Co . chˆe ´ d¯ i ˆe ` u khiˆe ˙’ n ch´u . anh˜u . ng tri th´u . c gia ˙’ i quyˆe ´ t b`ai to´an tˆo ˙’ ng qu´at v`a c´ac chiˆe ´ nlu . o . . c gia ˙’ i quyˆe ´ t xung d¯ˆo . t. Tri th´u . c gia ˙’ i quyˆe ´ t b`ai to´an tˆo ˙’ ng qu´at, d¯ˆoi khi c`on go . il`aphu . o . ng tiˆe . n suy luˆa . n, l`a phˆa ` ncˆo ´ tyˆe ´ ud¯ˆe ˙’ c´o thˆe ˙’ d¯ ˆo ´ i s´anh c´ac quy tˇa ´ c, tri th´u . c, thuˆa . t to´an, v`a nh˜u . ng su . . kiˆe . nd¯˜abiˆe ´ thiˆe . n h`anh vˆe ` mˆo . ttiˆe ´ n tr`ınh; t`u . d¯´o d¯u . ad¯ˆe ´ n (hay suy ra) l`o . i gia ˙’ i. T´u . c l`a, co . chˆe ´ d¯ i ˆe ` u khiˆe ˙’ n d¯´ong vai tr`o chiˆe ´ nlu . o . . c trong viˆe . ccho . n v`a thu . . c thi c´ac cˆong cu . d¯ ˆe ˙’ gia ˙’ i quyˆe ´ tmˆo . t b`ai to´an. Vˆa ´ nd¯ˆe ` gia ˙’ i quyˆe ´ t xung d¯ˆo . t khi hai hay nhiˆe ` u quy tˇa ´ cd¯u . o . . c kho . ˙’ id¯ˆo . ng d¯ˆo ` ng th`o . i. Phu . o . ng ph´ap gia ˙’ i quyˆe ´ t xung d¯ˆo . t phu . thuˆo . c v`ao ´u . ng du . ng, nhu . ng c´ach tiˆe ´ pcˆa . n chung theo hu . ´o . ng th´u . tu . . u . u tiˆen, ngh˜ıa l`a quy tˇa ´ cc´o d¯ ˆo . u . u tiˆen cao nhˆa ´ td¯u . o . . ccho . nd¯ˆe ˙’ firing (s˜e gia ˙’ i th´ıch sau thuˆa . tng˜u . n`ay), v`a th´u . tu . . gˆa ` n d¯ˆay cho . n quy tˇa ´ cd¯u . o . . csu . ˙’ du . ng gˆa ` n d¯ˆay nhˆa ´ t. C´ac quy tˇa ´ c trong mˆo . thˆe . chuyˆen gia thu . `o . ng c´o da . ng nˆe ´ u (c´ac d¯iˆe ` ukiˆe . n) th`ı (c´ac h`anh d¯ˆo . ng) trong d¯´o c´ac d¯iˆe ` ukiˆe . n v`a c´ac h`anh d¯ˆo . ng d¯u . o . . cbiˆe ˙’ udiˆe ˜ nda . ng hˆo . icu ˙’ a c´ac mˆe . nh d¯ˆe ` . N´oi c´ach kh´ac, ch´ung ta d¯o . c c´ac nguyˆen tˇa ´ c trˆen nhu . sau: nˆe ´ u d¯ i ˆe ` ukiˆe . n1v`a d¯ i ˆe ` u kiˆe . n2v`a d¯ i ˆe ` ukiˆe . n m d¯ ´ung th`ı thu . . chiˆe . n h`anh d¯ˆo . ng 1 v`a h`anh d¯ˆo . ng 2 v`a v`a h`anh d¯ˆo . ng k. Chˇa ˙’ ng ha . n, kha ˙’ o s´at quy tˇa ´ c trˆo . nhaiv`ung trong mˆo . ta ˙’ nh: 351 R(107) nˆe ´ u k´ıch thu . ´o . cc´acv`ung nho ˙’ , v`a c´ac v`ung kˆe ` nhau, v`a hiˆe . ugi˜u . a hai m´u . c x´am trung b`ınh cu ˙’ ahaia ˙’ nh nho ˙’ , th`ı trˆo . nhaiv`ung. C´ac kh´ai niˆe . m “nho ˙’ ” v`a “kˆe ` nhau” cˆa ` nd¯i . nh ngh˜ıa tru . ´o . cv`ad¯u . o . . clu . utr˜u . o . ˙’ no . im`a c´ac quy tˇa ´ c c´o thˆe ˙’ lˆa ´ y thˆong tin khi cˆa ` n. Thˆong tin loa . i n`ay d¯u . o . . clu . utr˜u . trong co . so . ˙’ tri th´u . c. Gia ˙’ thiˆe ´ t c´ac v`ung d¯˜a d¯u . o . . c x´ac d¯i . nh v`a c´ac d¯ˇa . c tru . ng cu ˙’ ach´ung d¯˜a d¯u . o . . c t´ınh. T´u . c l`a, qu´a tr`ınh phˆan d¯oa . n v`a t`ım d¯ˇa . c tru . ng d¯˜a d¯u . o . . c thu . . chiˆe . n. Cuˆo ´ ic`ung, quy tˇa ´ cd¯ˇa . cbiˆe . t n`ay gˆo ` mbad¯iˆe ` ukiˆe . n v`a mˆo . t h`anh d¯ˆo . ng. Trong thu . . ctˆe ´ , c´ac quy tˇa ´ c v´o . i nhiˆe ` ud¯iˆe ` ukiˆe . nd¯u . ad¯ˆe ´ nmˆo . t h`anh d¯ˆo . ng thu . `o . ng xa ˙’ y ra trong c´ac hˆe . thˆo ´ ng xu . ˙’ l´y a ˙’ nh. Khi tˆa ´ tca ˙’ c´ac d¯iˆe ` ukiˆe . n trong mˆo . t quy tˇa ´ c d¯˜a thoa ˙’ ta . ic`ung mˆo . t th`o . id¯iˆe ˙’ m, th`ı quy tˇa ´ cd¯u . o . . c k´ıch hoa . t. Khi c´ac h`anh d¯ˆo . ng d¯˜a d¯u . o . . c thu . . chiˆe . n, quy tˇa ´ cgo . il`afired. Ch´u´yrˇa ` ng, quy tˇa ´ cd¯u . o . . c kho . ˙’ id¯ˆo . ng khˆong c´o ngh˜ıa quy tˇa ´ c n`ay tu . . d¯ ˆo . ng fired. Nˆe ´ u c´o nhiˆe ` uho . nmˆo . t quy tˇa ´ cd¯u . o . . c kho . ˙’ id¯ˆo . ng th`ı hˆe . thˆo ´ ng cˆa ` nd¯u . a v`ao giai d¯oa . n gia ˙’ i quyˆe ´ t xung d¯ˆo . td¯ˆe ˙’ x´ac d¯i . nh quy tˇa ´ c n`ao d¯u . o . . c fired. D - iˆe ` u n`ay c´o ngh˜ıa chı ˙’ c´o mˆo . t quy tˇa ´ cd¯u . o . . cph´ep fired ta . imˆo . t th`o . id¯iˆe ˙’ m. Hiˆe ˙’ n nhiˆen c´o su . . tu . o . ng tu . . gi˜u . a c´ac quy tˇa ´ ccu ˙’ ahˆe . chuyˆen gia o . ˙’ da . ng d¯u . o . . cmˆo ta ˙’ v`a c´ac biˆe ˙’ uth´u . cda . ng mˆe . nh d¯ˆe ` d¯ u . o . . cd¯ˆe ` cˆa . p tru . ´o . c. Thˆa . t ra, c´ac nguyˆen tˇa ´ ccu ˙’ ahˆe . chuyˆen gia thu . `o . ng dˆe ˜ d`ang d¯ˇa . cta ˙’ v`a d¯o . c n´o. Chˇa ˙’ ng ha . n, c´ac d¯i . nh luˆa . tvˆa . tl´y trong b`ai to´an so . t r´ac d¯u . o . . c n´oi trˆen c´o thˆe ˙’ biˆe ˙’ udiˆe ˜ nda . ng nˆe ´ u d¯ ˆo ´ itu . o . . ng x d¯ ´u . ng sau d¯ˆo ´ itu . o . . ng y, th`ı d¯ ˆo ´ itu . o . . ng x khˆong kha ˙’ kiˆe ´ n. Khi c´ac su . . kiˆe . n d¯ ˜a d¯ u . o . . c cho, mˆo . thˆe . chuyˆen gia cˆo ´ gˇa ´ ng d¯ˆo ´ i s´anh nh˜u . ng su . . kiˆe . n n`ay v´o . i c´ac d¯iˆe ` ukiˆe . n trong co . so . ˙’ quy tˇa ´ c. Kiˆe ˙’ m tra tˆa ´ tca ˙’ c´ac d¯iˆe ` ukiˆe . n trong mˆo . t nguyˆen tˇa ´ c v`a kho . ˙’ id¯ˆo . ng n´o. Nˆe ´ u khˆong xa ˙’ y ra xung d¯ˆo . t, h`anh d¯ˆo . ng tu . o . ng ´u . ng v´o . i quy tˇa ´ c d¯ u . o . . ck´ıch hoa . t, do d¯´o firing quy tˇa ´ c. H`anh d¯ˆo . ng chı ˙’ d¯ o . n thuˆa ` nl`amˆe . nh d¯ˆe ` thˆong b´ao nhu . trong quy tˇa ´ c trˆen. Trong su . . kiˆe . n “so . t r´ac o . ˙’ d¯ ˇa ` ng sau b`an l`am viˆe . c” hˆe . chuyˆen gia s˜e d¯ˆo ´ i s´anh so . t r´ac v´o . i x v`a b`an l`am viˆe . cv´o . i y, kho . ˙’ id¯ˆo . ng quy tˇa ´ c. H`anh d¯ˆo . ng trong tru . `o . ng ho . . p n`ay l`a mˆe . nh d¯ˆe ` “so . t r´ac khˆong kha ˙’ kiˆe ´ n”. M´u . cd¯ˆo . m`a c´ac mˆe . nh d¯ ˆe ` d¯ u . o . . cchˆa ´ p nhˆa . no . ˙’ da . ng tiˆe ´ ng Anh (hoˇa . c ngˆon ng˜u . kh´ac) phu . thuˆo . c v`ao su . . h`ınh th`anh hˆe . chuyˆen gia. V`ı c´ac hˆe . chuyˆen gia hu . ´o . ng d¯ˆe ´ n ngu . `o . isu . ˙’ du . ng, nˆen giao tiˆe ´ p v´o . ich´ung s˜e dˆe ˜ d`ang ho . n c´ac hˆe . thˆo ´ ng du . . a trˆen logic vi . t`u . hay c´ac ma . ng ng˜u . ngh˜ıa. 352 . tiˆe ´ pcˆa . n kh´ac d¯ˆe ˙’ thu . . chiˆe . ntiˆe ´ n tr`ınh nˆo . i suy. Mˇa . cd`u c´o mˆo . tsˆo ´ c´ach su . ˙’ du . ng ma . ng d¯ˆe ˙’ nˆo . i suy, tuy nhiˆen trong phˆa ` nn`aych´ung ta chı ˙’ tˆa . p. G 4 H`ınh 9.21: Suy luˆa . nbˇa ` ng c´ach trˆo . n c´ac d¯ˆo ` thi . con. 9.5.5 Hˆe . chuyˆen gia Hˆe . chuyˆen gia l`a mˆo . t c´ach tiˆe ´ pcˆa . n kh´ac d¯ˆe ˙’ suy luˆa . n. Tu . o . ng. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ngu . `o . isu . ˙’ du . ng Blackboard D - iˆe ` uchı ˙’ nh ngˆon ng˜u . Xu . ˙’ l´y Co . so . ˙’ tri th´u . c D - iˆe ` u khiˆe ˙’ n H`ınh 9.22: C´ac th`anh phˆa ` nco . ba ˙’ ncu ˙’ amˆo . thˆe . chuyˆen