Tr tu nhn to

TRNG I HC BCH KHOA H NIVIN CNG NGH THNG TIN V TRUYN THNG

BI TP LN TR TU NHN TO TI: XY DNG H CHUYN GIA T VN MUA IN THOI DI NG

SVTH :Nguyn Th Thy 20082599 Phm Khng Duy 20080459 Lp: HTTT K53GVHD : TS. Nguyn Nht Quang

H Ni, thng 11 nm 2012

Mc lcK HOCH THC HIN3I-Gii thiu bi ton4II-C s l thuyt41.Biu din tri thc42.Suy din tin6III-Gii quyt bi ton71.Thu thp tri thc72.Biu din tri thc73.Suy din tin9IV-Ci t, demo chng trnh101.Ci t102.Demo chng trnh11V-Kt lun nh gi131.Cc vn gp phi132.Hng pht trin ca ti133.nh gi13TI LIU THAM KHO14

K HOCH THC HIN

Thi gian thc hinNi dung cng vicNgi thc hin

01/09/2012- 05/09/2012Tm hiu xut ti mn hc. Thy

08/09/2012-20/09/2012Thu thp tri thc xy dng tp lut, d liu.

Duy

20/09/2012-31/10/2012Vit chng trnhThy

01/11/2012-08/11/2012Vit bo co ln1

Duy

09/11-13/11/2012Hon thin bo co, vit slideDuy+ Thy

I-Gii thiu bi ton

Hin nay, khoa hc cng ngh pht trin rt nhanh chng lm thay i rt nhiu trong i sng hng ngy ca chng ta.Ngy nay, ta thy rng chic in thoi di ng dng nh l vt bt ly thn i vi mi ngi mi tng lp.Bi n p ng rt nhiu nhu cu ca con ngi trong cuc sng hin i ngy nay t nhu cu thit yu trao i thng tin ti nhu cu gii tr, ti phc v cho cc mc ch chuyn mn khc. Nhng chic in thoi ngy nay khng nhng ch gip con ngi trao i thng tin m n cn cung cp rt nhiu cc tin ch khc: nghe nhc, chp hnh, truy cp internet.. Nhng hin ti c rt nhiu hng v sn phm in thoi di ng ra i vi rt nhiu cc kiu dng mu sc tnh nng, gi c khin cho vic vic la chn mt chic in thoi ph hp vi mc ch s dng, cng vic, kh nng ti chnh, tr nn kh khn hn. H t vn mua in thoi di ng s h tr cho ngi s dng chn c chic in thoi ph hp vi c nhn ngi s dng.II-C s l thuyt1. Biu din tri thc

Biu din tri thc (knowledge representation) l mt lnh vc nghin cu quan trng ca Tr tu nhn to. Nhm pht trin cc phng php, cch thc biu din tri thc v cc cng c h tr vic biu din tri thc. C rt nhiu phng php biu din tri thc, v phi ph thuc vo tri thc c th ca tng bi ton ta mi chn c mt phng php biu din hp l nht. Biu din tri thc bng lut sn xut (Production rules) Biu din tri thc bng khung (Frames) Biu din tri thc s dng mng ng ngha(Semantic networks ) Biu din tri thc bng ontology Cc m hnh xc sut.. Khi biu din tri thc cho mt bi ton, vic biu din ny c coi l tt khi chng tha mn c 4 yu t sau Tnh hon chnh (Completeness) Tnh ngn gn (Conciseness) Tnh hiu qu v tnh ton( Computational efficiency) Tnh r rng, d hiu(Transparency) Vi bi ton c th ang xt- bi ton t vn mua in thoi di ng, vic biu din tri thc s dng lut l mt phng php biu din hp l.

1.1 Biu din tri thc da trn lut

Phng php biu din tri thc bng lut sinh c pht minh bi Newell v Simon trong lc hai ng ang c gng xy dng mt h gii bi ton tng qut. y l mt kiu biu din tri thc c cu trc, v c s dng ph bin nht trong cc h c s tri thc. tng c bn l tri thc c th c cu trc bng mt cp iu kin hnh ng : "NU iu kin xy ra TH hnh ng s c thi hnh". Trong biu din tri thc s dng lut, ta cn xc nh: Tp cc s kin F(Facts){A1,A2, A3, An, B1,B2, B3, Bm } Tp cc lut R(rules) p dng trn cc s kin c dng sau:IF A1 AND A2 AND AND An THEN B (trong A1,A2, An, B) l cc s kin trong F.A1,A2, A3, An c gi l iu kin (Conditions)B: l kt lun(conclusion). Trong biu din tri thc da trn lut, c ch suy lun trn cc lut sn xut bao gm hai c ch : suy din tin, v suy din li. Suy din tin: l qu trnh suy lun xut pht t mt s s kin ban u, xc nh cc s kin c th sinh ra t s kin ny. Suy din li: l qu trnh suy lun ngc xut pht t mt s s kin ban u, ta tm kim cc s kin "sinh" ra s kin ny. Vn ti u lut: Tp cc lut trong mt c s tri thc rt c kh nng tha, trng lp hoc nguy him hn l mu thun nhau. D nhin l h thng c th li cho ngi dng v vic a vo h thng nhng tri thc nh vy. Tuy vic ti u mt c s tri thc v mt tng qut l mt thao tc kh (v gia cc tri thc thng c quan h khng tng minh), nhng trong gii hn c s tri thc di dng lut, ta vn c mt s thut ton n gin loi b cc vn ny.

u im ca phng php biu din tri thc da trn lut :

Biu din tri thc bng lut c bit hu hiu trong nhng tnh hung h thng cn a ra nhng hnh ng da vo nhng s kin c th quan st c. N c nhng u im chnh yu sau y : Cc lut rt d hiu nn c th d dng dng trao i vi ngi dng (v n l mt trong nhng dng t nhin ca ngn ng). C th d dng xy dng c c ch suy lun v gii thch t cc lut. Vic hiu chnh v bo tr h thng l tng i d dng. C th ci tin d dng tch hp cc lut m.

Nhc im ca phng php biu din tri thc da trn lut.

Cc tri thc phc tp i lc i hi qu nhiu (hng ngn) lut sinh. iu ny s lm ny sinh nhiu vn lin quan n tc ln qun tr h thng. Thng k cho thy, ngi xy dng h thng tr tu nhn to thch s dng lut sinh hn tt c phng php khc (d hiu, d ci t) nn h thng tm mi cch biu din tri thc bng lut sinh cho d c phng php khc thch hp hn! y l nhc im mang tnh ch quan ca con ngi. C s tri thc lut sinh ln s lm gii hn kh nng tm kim ca chng trnh iu khin. Nhiu h thng gp kh khn trong vic nh gi cc h da trn lut sinh cng nh gp kh khn khi suy lun trn lut sinh.

2. Suy din tin

L mt trong hai c ch c ch suy lun trn cc lut sn xut trong biu din tri thc da trn lut. Bi ton cn chng minh:Vi mt tp cc mnh gi thit (c s tri thc) KB, cn suy ra mnh kt lun Q. Suy din tin l suy din da trn d liu nn rt ph hp vi cc bi ton a ra quyt inh, nhn dng i tng.. tng ca suy din tin: Lp li 2 bc sau cho n khi suy ra c kt lun: p dng cc lut c mnh gi thit c tha mn trong KB B sung kt lun ca cc lut vo trong KB. S thut ton.

Nhng im cn ch khi ci t gii thut suy din tin. Trnh cc vng lp bng cch kim tra xem cc mnh mi c trong danh sch cc mnh cn chng minh cha? Nu ri th khng b sung li na! Trnh vic chng minh lp li i vi mt mnh . Mnh ny c th c chng minh l ng trc hoc c chng minh trc l khng th tha mn c trong KB. u im ca suy din tin u im chnh ca suy din tin l lm vic tt khi bi ton v bn cht i thu thp thng tin ri thy iu cn suy din. Suy din tin cho ra khi lng ln cc thng tin t mt s thng tin ban u. N sinh ra nhiu thng tin mi. Suy din tin l tip cn l tng i vi loi bi ton cn gii quyt cc nhim v nh lp k hoch, iu hnh iu khin v din dch.

Nhc im ca suy din tin Mt nhc im chnh ca h thng suy din tin l khng cm nhn c rng ch mt vi thng tin l quan trng. H thng hi cc cu hi c th hi m khng bit rng ch mt t cu i n kt lun c. H thng c th hi c cu khng lin quan. C th cc cu tr li cng quan trng, nhng lm ngi dng lng tng khi phi tr li cc cu khng dnh n ch

III-Gii quyt bi ton1. Thu thp tri thc

Thu thp tri thc l bc quan trng m u cho mi bi ton, c bit i vi bi ton t vn ra quyt nh. Cc tri thc c th ca bi ton t vn mua in thoi di ng. Da trn cc d liu v in thoi di ng bao gm: kiu dng, mu sc, hng sn xut, gi tin, tnh nng D liu v ngi s dng: tui tc, ngh nghip, gii tnh, s thch. Thng tin: mc ch s dng, gi tin, mu sc ph hp Tri thc: cc d liu v in thoi ph hp vi cc d liu ca ngi s dng.V d: ngi s dng l n gii th thng thch mu sc mu hng.Ngi s dng l nam gii th thng thch mu en.. Cch thc thu thp thng tin: Da trn tm kim thng tin: trn internet d liu v in thoi di ng (kiu dng, mu sc, hng sn xut, gi tin, tnh nng..) Da trn hi p: v d liu ngi s dng(tui tc, ngh nghip, gii tnh, s thch.) Da trn thng k a ra cc tri thc.

2. Biu din tri thc

Trong bi ton c th t vn mua in thoi di ng phng php biu din tri thc bng lut l mt phng php biu din hp l. Tp cc s kin F bao gm cc nhm s kin sau: Gi tin : Mu sc

Kiu dng Hng sn xut Tnh nng Gii tnh ngi s dng.

Ngh nghip S thch in thoi

in thoi bao gm cc s kin D1,D2..D115 . Tp lut trong bi ton bao gm 154 lut c km theo trong file Rule.txtC php: V d: GT4,H4,K2,M2,T4:D94 tng ng vi GT4 H4 K2 M2 T4->D94Trong Mnh iu kin l : GT4,H4,K2,M2,T4Mnh kt lun l : D94

3. Suy din tin

i vi bi ton t vn mua in thoi di ng (dng bi ton a ra quyt nh) nn phng php suy din tin l phng php ph hp. Trong ni dung bi tp ln ny, chng em ci t thut ton suy din tin vi u tng ban u ca thut ton v c th thm mt s ci tin gip trnh cc nhc im ca thut tonLp li 2 bc sau cho n khi suy ra c kt lun: p dng cc lut c mnh gi thit c tha mn trong KB B sung kt lun ca cc lut vo trong KB. Trong trng hp xy ra xung t lut tc l ti mt bc suy din c nhiu hn mt bc c th s dng c.Gii quyt xung t lut ng thi trnh cc vng lp v trnh vic chng minh lp li i vi mt mnh . Khng p dng cc lut sinh ra cc kt qu (cc s kin) c trong b nh lm vic. Khng p dng li mt lut nu n vn sinh ra cng mt tp cc s kin (ging nh ln p dng trc ca n.)V d: Tp gi thit ban u: Ngi s dng: c gii tnh l n, s thch cng ngh, ngh nghip sinh vin.KB: G1, NN1, ST1 Thc hin suy din tin vi tp lut bao gmRule1 : G1:M2 (Gii tnh n -> mu sc a thch l mu hng)Rule2: NN1:GT1 (ngh nghip sinh vin -> mc gi mc gi 2trieu-5trieu)Rule4: ST1:H1 (s thch cng ngh-> hng sn xut 1- Samsung)Rule5: ST1:H2 (s thch cng ngh-> hng sn xut 2- Nokia)Rule6: G1:KD3 (Gii tnh n -> kiu dng a thch l np gp)Rule7: G1:KD2 (Gii tnh n -> kiu dng a thch l cm ng)Rule8: NN1:H2 (ngh nghip sinh vin -> hng sn xut l nokia)n mt bc suy din no ta thy nu ta p dng lut suy din s 5 th lut suy din s 8 s khng c p dng na (v khng p dng cc lut sinh ra cc kt qu c trong b nh). Hoc ngc li.

IV-Ci t, demo chng trnh

1. Ci t

Chng trnh c vit bng : C# Chy bng visual studio 2010 Lut c lu di dng file text (rule.txt) trong file nh km. Ngoi ra cn c 1 file text(dich.txt) lu tp cc ch c th c. D liu c lu tr di dng cc bng trong database dienthoai (SQL2008) Bao gm cc bng

Dienthoai(DT_ID, GT_ID,HSX_ID,MS_ID,KD_ID,T_ID,Name,Description) GiaDT(GT_ID,Description) HangSX(HSX_ID,TenHang) KieuDang(KD_ID, Description) MauSac (MS_ID,Description) TinhNang(T_ID, Description) GioiTinh(G_ID,Description) NgheNghiep(N_ID,Description) SoThich(ST_ID,Description)

2. Demo chng trnh

Cc chc nng chnh ca chng trnh : search v t vn. Form giao din chnh.

-Chc nng search cho php ngi s dng : la chn cc gi tr ph hp v gi tin, hng sn xut, kiu dng, mu sc a thch. Thc hin tm kim v tr v kt qu

Chc nng t vn: cho php ngi s dng nhp vo thng tin c nhn bao gmGii tnh, ngh nghip, s thch. Tr v kt qu t vn.

V-Kt lun nh gi1. Cc vn gp phi

Trong qu trnh xy dng chng trnh, thu thp v biu din tri thc l hai vn xy ra nhiu sai st v li. Trong qu trnh thu thp : v s lng thng tin hi p khng nhiu (134 hi p) nn kt qu khi thng k cha tht chnh xc. Khi biu din tri thc: nhiu mu thun lut xy ra.V d: Nam sinh vin thng thch cng ngh G2:ST1 Cng ngh c a s ngi c phng vn chn l hng Apple, Samsung. Sinh vin thng c mc gi khi mua GT1, GT2 (