Xử lý ảnh số - Nhận dạng và nội suy part 10 pdf

mˆo´i quan hˆe.. Ch´ung ta chuyˆe˙’n quan hˆe.. mˆo.t ngˆoi, chˇa˙’ng ha.n INVISIBLEx, th`anh quan 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

y tu.o.˙’ ng khu.˙’ ch´ung d¯ˆe˙’ d¯ˆe´n mˆo.t mˆe.nh d¯ˆe` trˆo´ng Viˆe.c d¯ˆo´i s´anh d¯u.o c thu c hiˆe.n bˇa`ng c´ach thˆe´ c´ac biˆe´n d¯ˆe˙’ ta.o c´ac nguyˆen tu˙’ d¯ˆ. `ng nhˆo a´t Sau khi d¯ˆo´i s´anh, mˆe.nh d¯ˆe` dˆa˜n xuˆa´t, go.i l`a mˆe.nh d¯ˆe ` phˆ an gia˙’i, gˆ`m c´o 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.i vˆe´ pha˙’i cu˙’a (a) nˆe´u ch´ung ta thˆe´ so.t r´ac bo˙’ i x v`. a b`an l`am viˆe.c l`a y Mˆe.nh d¯ˆe` tˆo´i gia˙’n l`a

(e) INVISIBLE(so.t r´ac).

Tuy nhiˆen, phˆan gia˙’i cu˙’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˙’i cu˙’a (e) l`a d¯ˆ`ng nhˆo 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.˙’ i vˆa.y ch´u.ng to˙’ t´ınh d¯´ung cu˙’a mˆe.nh d¯ˆe` INVISIBLE(so.t r´ac).

Mˆo.t kˆe´t qua˙’ co ba˙’n trong ph´ep t´ınh vi t`u l`a tˆa´t ca˙’ c´ac d¯i.nh l´y d¯´ung c´o thˆe˙’ ch´u.ng minh sau h˜u.u ha.n bu.´o.c Herbrand l`a ngu.`o.i d¯ˆ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´p mˆo.t thuˆa.t to´an hiˆe.u qua˙’ ho.n du a trˆen nguyˆen tˇa´c suy dˆa˜n go.i l`a l`o.i gia˙’i.

Robinson d¯˜a chı˙’ ra rˇa`ng nguyˆen tˇa´c l`o.i gia˙’i ba˙’o d¯a˙’m t´ınh d¯ˆa ` y d¯u˙’ theo ngh˜ıa tˆa´t ca˙’ c´ac d¯i.nh l´y d¯´ung d¯u.o c ch´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. c ch´u.ng minh Nhu v´ı du tru.´o.c chı˙’ ra, nguyˆen tˇa´c l`o.i gia˙’i kh´a d¯o.n gia˙’n Sau khi c´ac phˆ` n tu.a ˙’ cu˙’a b`ai to´an d¯˜a d¯u.o. c biˆe˙’u diˆ˜n da.ng mˆe.nh d¯ˆee ` , phu.o.ng ph´ap ch´ung ta t`ım kiˆe´m c´ac gia˙’ thiˆe´t d¯´u.ng tru.´o.c v`a c´ac hˆ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.c d¯ˆo´i s´anh d¯u.o c thu c hiˆe.n bˇa`ng c´ach thay c´ac biˆe´n d¯ˆe˙’ ta.o c´ac nguyˆen tu˙’ d¯ˆ. `ng nhˆo a´t Sau khi d¯ˆo´i s´anh, mˆe.nh d¯ˆe` suy dˆa˜n go.i l`a mˆe.nh d¯ˆe ` phˆ an

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.i mu.c tiˆeu sinh ra mˆenh d¯ˆe` trˆo´ng, m`a l`a mˆau thuˆa˜n Trong thu. c tˆe´, c´o rˆa´t nhiˆ` u t`e ai liˆe.u liˆen quan d¯ˆe´n phu.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˜i n´ut biˆe˙’u diˆe˜n c´ac d¯ˆo´i tu.o. ng hay c´ac biˆe´n v`a c´ac cung biˆe˙’u diˆe˜n mˆo´i quan hˆe gi˜u.a c´ac n´ut C´ac ma.ng d¯u.o c thiˆe´t kˆe´ theo kiˆe˙’u n`ay c´o mˆo.t sˆo´ u.u d¯iˆe˙’m, chˇa˙’ng ha.n biˆe˙’u diˆe˜n tri th´u.c c´o t´ınh tru c quan Ngo`ai ra, do biˆe˙’u diˆe˜n trˆen d¯ˆo` thi nˆen c´o thˆe˙’ su.˙’ du.ng c´ac k˜y thuˆa.t d¯ˆo´i s´anh v`a g´an nh˜an trˆen d¯ˆ` thi d¯ˆe˙’ thao t´ac c´ac phˆao ` n tu.˙’ cu˙’a b`ai to´an nˆo.i suy H`ınh 9.20 l`a d¯ˆo` thi biˆe˙’u diˆe˜n c´ac su kiˆ. e.n trong b`ai to´an so.t r´ac

.

.

.

.

. b`an l`am viˆe.c so.t r´ac BEHIND

G1

. b`an l`am viˆe.c ghˆe´ NEXT-TO

.

.

G2

. y x BEHIND INVISIBLE

.

G3

. so.t r´ac INVISIBLE

.

H`ınh 9.20: C´ac phˆan hoa.ch cu˙’a ma.ng ng˜u ngh˜ıa trong b`ai to´an so.t r´ac

Ma.ng ng˜u ngh˜ıa cung cˆa´p mˆo.t c´ach tiˆe´p cˆa.n kh´ac d¯ˆe˙’ thu c hiˆe.n tiˆe´n tr`ınh nˆo.i suy Mˇa.c d`u c´o mˆo.t sˆo´ c´ach su˙’ du.ng ma.ng d¯ˆe˙’ nˆo.i suy, tuy nhiˆen trong phˆa. ` n n`ay ch´ung

ta chı˙’ tˆa.p trung v`ao c´ac ma.ng d¯u.o c su.˙’ du.ng d¯ˆe˙’ biˆe˙’u diˆe˜n v`a xu.˙’ l´y tri th´u.c d¯u.o c biˆe˙’u diˆe˜n o.˙’ da.ng mˆe.nh d¯ˆe` C´ach tiˆe´p cˆa.n n`ay minh ho.a c´ac kh´ai niˆe.m co ba˙’n su.˙’ du.ng ma.ng ng˜u ngh˜ıa v`a c˜ung tiˆe´p tu.c v´o.i nh˜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˙’u th´u.c mˆe.nh d¯ˆe` rˆa´t dˆe˜ d`ang ´Y tu.o.˙’ ng l`a biˆe˙’u diˆe˜n mˆo˜i mˆe.nh d¯ˆe` nhu mˆo.t phˆa` n cu˙’a ma.ng ng˜u ngh˜ıa (t´u.c l`a, mˆo˜i mˆe.nh

d¯ˆ` d¯u.o.e c biˆe˙’u diˆe˜n nhu mˆo.t d¯ˆo` thi con) C´ac n´ut cu˙’a ma.ng ch´u.a c´ac biˆe´n v`a c´ac hˇa`ng (c´ac d¯ˆo´i tu.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. c v˜e bˇa`ng mˆo.t m˜ui tˆen nˆe´u n´o biˆe˙’u diˆe˜n mˆo.t quan hˆe trong phˆa` n kˆe´t luˆa.n (vˆe´ pha˙’i) cu˙’a mˆe.nh d¯ˆe` v`a m˜ui tˆen d¯ˆoi nˆe´u n´o biˆe˙’u diˆ˜n quan hˆe trong phˆae ` n d¯iˆe` u kiˆe.n (vˆe´ tr´ai) cu˙’a mˆe.nh d¯ˆe` H`ınh 9.20 minh ho.a d¯ˆo` thi tu.o.ng ´u.ng c´ac biˆe˙’u th´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˙’a d¯ˆo` thi.)

Qu´a tr`ınh suy luˆa.n du a v`. ao ma.ng ng˜u ngh˜ıa c´o da.ng trong H`ınh 9.20 rˆa´t d¯o.n gia˙’n C´ac d¯ˆ` thi con d¯u.o c trˆo.n lˆa˜n bˇa`ng c´ach d¯ˆo´i s´anh c´ac biˆe´n v`a c´ac hˇa`ng, c´ac m˜uio

tˆen d¯ˆoi khu.˙’ c´ac m˜ui tˆen d¯o.n c`ung v´o.i c´ac n´ut ngo.n nˆe´u ch´ung bˇa`ng nhau Nhu trong phˆ` n tru.´a o.c, mu.c d¯´ıch l`a t`ım phˆan hoa.ch trˆo´ng liˆen quan d¯ˆe´n mˆe.nh d¯ˆe` phu˙’ d¯i.nh d¯u.o c thiˆe´t lˆa.p l´uc bˇa´t d¯ˆa` u suy luˆa.n H`ınh 9.21 minh ho.a kˆe´t qua˙’ (k´y hiˆe.u G13) khi trˆo.n hai

d¯ˆ` thi con Go 1 v`a G2 trong H`ınh 9.20 Trˆo.n G13 v`a G4 ta d¯u.o. c d¯ˆ` thi trˆo´ng T`u d¯´oo suy ra so.t r´ac khˆong kha˙’ kiˆe´n

. b`an l`am viˆe.c ghˆe´ NEXT-TO

.

G2

. so.t r´ac INVISIBLE

G13

. so.t r´ac INVISIBLE

H`ınh 9.21: Suy luˆa.n bˇ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´p cˆ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˙’a mˆo.t hˆe chuyˆen gia sau khi d¯ˆo´i s´anh d¯˜a d¯u.o c t`ım thˆa´y ph´u.c ta.p ho.n nhiˆe`u Thˆa.t ra, c´ac h`anh d¯ˆo.ng c´o d¯ˆo ph´u.c ta.p tu`y ´y

Hˆe chuyˆen gia d¯u.o c quan tˆam nhiˆe`u do t´ınh mˆe`m de˙’o cu˙’a ch´ung D-ˇa.c biˆe.t, c´ac

hˆe chuyˆen gia d¯˜a d¯u.o c su.˙’ du.ng th`anh cˆong trong nhiˆe`u l˜ınh vu c t`u xu.˙’ l´y a˙’nh v`a kiˆe˙’m tra c´ac sa˙’n phˆa˙’m cˆong nghiˆe.p d¯ˆe´n chˆ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´t nh˜u.ng b`ai to´an d¯ˇa.c biˆe.t Do d¯´o thuˆa.t ng˜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.n d¯u.o c t`u nh˜u.ng chuyˆen gia vˆe` l˜ınh vu c d¯ˇa.c biˆe.t H`ınh 9.22 cho thˆa´y c´ac th`anh phˆ` n co ba˙’n cu˙’a mˆa o.t hˆe chuyˆen gia D - o.n vi xu.˙’ l´y

t´ac v´o.i hˆ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.i sˆo´ t`u vu. ng ha.n chˆe´ C´o thˆe˙’ su.˙’ du.ng ngˆon ng˜u d¯ˆo` ho.a d¯ˆe˙’ bˆo˙’ sung cho viˆe.c giao tiˆe´p D- o.n vi xu.˙’ l´y ngˆon ng˜u gia˙’i th´ıch c´ac t´ın hiˆe.u v`ao t`u ngu.`o.i su.˙’ du.ng v`a

d¯i.nh da.ng thˆong tin d¯u.o c ta.o ra bo.˙’i hˆe thˆo´ng D-o.n vi d¯iˆe`u chı˙’nh gia˙’i th´ıch c´ac h`anh

d¯ˆo.ng cu˙’a hˆe thˆo´ng cho ngu.`o.i su.˙’ du.ng Chˇa˙’ng ha.n, n´o tra˙’ l`o.i c´ac cˆau ho˙’i ta.i sao mˆo.t tiˆe´n tr`ınh d¯u.o. c ho`an th`anh hoˇa.c tiˆe´n tr`ınh kh´ac bi loa.i bo˙’ Bˆo phˆa.n d¯iˆe` u chı˙’nh d¯´ong vai tr`o chu˙’ yˆe´u trong viˆe.c thiˆe´t kˆe´ ban d¯ˆa` u v`a g˜o rˆo´i cu˙’a mˆo.t hˆe chuyˆen gia

h`anh vˆ` b`e ai to´an d¯ˇa.c ta˙’, c´ac gia˙’ thiˆe´t, v`a c´ac quyˆe´t d¯i.nh trung gian C´ac thuˆa.t ng˜u bˆo.

.

.

Ngu.`o.i su.˙’ du.ng Blackboard D- iˆe` u chı˙’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ˆ` n co ba˙’n cu˙’a mˆa o.t hˆe chuyˆen gia cho blackboard Co so ˙’ tri th´ u.c (mˆo.t tˆa.p con cu˙’a co 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.c vˆe` thˆe´ gi´o.i thu. c nhu d¯˜a tr`ınh b`ay trong Phˆa`n 9.5.2 M´u.c d¯ˆo m`a tri th´u.c d¯u.o c su.˙’ du.ng bo.˙’i mˆo.t hˆe chuyˆen gia (bao gˆo`m tri th´u.c d¯u.o c su.˙’ du.ng bo˙’ i c´. ac d¯o.n vi cu˙’a hˆ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.c c˜ung ch´u.a c´ac quy tˇa´c m`a hˆe thˆo´ng cˆa` n d¯ˆe˙’ gia˙’i quyˆe´t mˆo.t b`ai to´an Co chˆe´ d ¯iˆ ` u khiˆe˙’n ch´ e u.a nh˜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´n lu.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.i l`a phu.o.ng tiˆ e.n suy luˆa.n, l`a phˆa` n cˆo´t yˆe´u d¯ˆ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.n d¯˜a biˆe´t hiˆe.n h`anh vˆe` mˆo.t tiˆe´n tr`ınh; t`u d¯´o d¯u.a d¯ˆe´n (hay suy ra) l`o.i gia˙’i T´u.c l`a, co chˆe´ d¯iˆ` u khiˆe˙’n d¯´e ong vai tr`o chiˆe´n lu.o. c trong viˆe.c cho.n v`a thu c thi. c´ac cˆong cu d¯ˆe˙’ gia˙’i quyˆe´t mˆo.t b`ai to´an Vˆa´n d¯ˆe` gia˙’i quyˆe´t xung d¯ˆo.t khi hai hay nhiˆe` u quy tˇa´c d¯u.o c kho.˙’i d¯ˆ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´p cˆa.n chung theo hu.´o.ng th´u tu u.u tiˆen, ngh˜ıa l`a quy tˇa´c c´o d¯ˆo u.u tiˆen cao nhˆa´t d¯u.o c cho.n d¯ˆe˙’ firing (s˜e gia˙’i th´ıch sau thuˆa.t ng˜u n`ay), v`a th´u tu

gia thu.`o.ng c´o da.ng

nˆ e ´u (c´ac d¯iˆ` u kiˆe.n) th`ı (c´ac h`anh d¯ˆo.ng)e

trong d¯´o c´ac d¯iˆ` u kiˆe.n v`a c´ac h`anh d¯ˆo.ng d¯u.o c biˆe˙’u diˆe˜n da.ng hˆo.i cu˙’a c´ac mˆe.nh d¯ˆee ` 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` u kiˆe.n 1 v`a d¯iˆe` u kiˆe.n 2 v`a d¯iˆe ` u kiˆe.n m d¯´ung th`ı thu c hiˆ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.n hai v`ung trong mˆo.t a˙’nh:

R(107) nˆ e ´u k´ıch thu.´o.c c´ac v`ung nho˙’, v` a c´ac v`ung kˆ` nhau, v`e a

hiˆe.u gi˜u.a hai m´u.c x´am trung b`ınh cu˙’a hai a˙’nh nho˙’,

th` ı trˆo.n hai v`ung

C´ac kh´ai niˆe.m “nho˙’” v`a “kˆe` nhau” cˆ` n d¯i.nh ngh˜ıa tru.´o.c v`a d¯u.o c lu.u tr˜u o.˙’ no.i m`aa 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 c lu.u tr˜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˙’a ch´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 c hiˆe.n Cuˆo´i c`ung, quy tˇa´c d¯ˇa.c biˆe.t n`ay gˆo`m ba d¯iˆe` u kiˆe.n v`a mˆo.t h`anh d¯ˆo.ng Trong thu c tˆe´, c´ac quy tˇa´c v´o.i nhiˆ` u d¯iˆee ` u kiˆe.n d¯u.a d¯ˆe´n mˆ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´t ca˙’ c´ac d¯iˆ` u kiˆe.n trong mˆo.t quy tˇa´c d¯˜a thoa˙’ ta.i c`ung mˆo.t th`o.i d¯iˆe˙’m, th`ıe quy tˇa´c d¯u.o c k´ıch hoa.t Khi c´ac h`anh d¯ˆo.ng d¯˜a d¯u.o c thu c hiˆe.n, quy tˇa´c go.i l`a fired.

Ch´u ´y rˇa`ng, quy tˇa´c d¯u.o. c kho˙’ i d¯ˆ. 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ˆ` u ho.n mˆe o.t quy tˇa´c d¯u.o c kho.˙’i d¯ˆo.ng th`ı hˆe thˆo´ng cˆa`n d¯u.a v`ao giai d¯oa.n gia˙’i quyˆe´t xung d¯ˆo.t d¯ˆ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´c d¯u.o. c ph´ep fired ta.i mˆo.t th`o.i d¯iˆe˙’m

Hiˆe˙’n nhiˆen c´o su. tu.o.ng tu gi˜u.a c´ac quy tˇa´c cu˙’a hˆe chuyˆen gia o.˙’ da.ng d¯u.o c mˆo ta˙’ v`a c´ac biˆe˙’u th´u.c da.ng mˆe.nh d¯ˆe` d¯u.o. c d¯ˆ` cˆe a.p tru.´o.c Thˆa.t ra, c´ac nguyˆen tˇa´c cu˙’a hˆe chuyˆen gia thu.`o.ng dˆe˜ d`ang d¯ˇa.c ta˙’ v`a d¯o.c n´o Chˇa˙’ng ha.n, c´ac d¯i.nh luˆa.t vˆa.t l´y trong b`ai to´an so.t r´ac d¯u.o c n´oi trˆen c´o thˆe˙’ biˆe˙’u diˆe˜n da.ng

nˆ e ´u d¯ˆo´i tu.o. ng x d¯´u.ng sau d¯ˆo´i tu.o. ng y,

th` ı d¯ˆo´i tu.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.t hˆ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ˆ` u kiˆe.n trong co so.˙’ quy tˇa´c Kiˆe˙’m tra tˆa´t ca˙’ c´ac d¯iˆee ` u kiˆe.n trong mˆo.t nguyˆen

tˇa´c v`a kho.˙’ i d¯ˆ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. c k´ıch hoa.t, do d¯´o firing quy tˇa´c H`anh d¯ˆo.ng chı˙’ d¯o.n thuˆa` n l`a mˆ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.c v´o.i y, kho.˙’i d¯ˆ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.c d¯ˆo m`a c´ac mˆe.nh

d¯ˆ` d¯u.o.e c chˆa´p nhˆa.n o˙’ 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.i su.˙’ du.ng, nˆen giao tiˆe´p v´o.i ch´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