Luận án tiến sỹ toán học Xây dựng hệ tính toán thông minh xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động

Tham khảo luận văn - đề án 'luận án tiến sỹ toán học " xây dựng hệ tính toán thông minh xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động "', luận văn - báo cáo phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả
Nội dung trích xuất từ tài liệu:
Luận án tiến sỹ toán học " Xây dựng hệ tính toán thông minh xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động " BAI HQC QUOC GIA THANH PHO HO CHI MINH. TRUdNG BAI HQC KHOA HQC TV NHIEN -------------------- BO VAN NHcJN XA Y D{jNG HI:: TINH TOAN THONG MINH XAY DVNG & PHAT TRlftN cAe M6 HINH BlftU DlitN TRI TIHJ'CClIO CAC Ht GIAI TOAN TV DONG Chuyen nganh: Dam baa toao hQc cho may Hnh Va cac h~ tho'ng Hnh toaD Mii so': 1.01.10 TOM TAT LUh-N AN TIEN SI TO AN HQC Thanh pho' H6 Chi Minh - 2001 PHAN Md DAD Tri tu~ Nhan tTren cac ma hlnh bi6u di€n tri thUc nay, mQt s6 thu~t giai duQc xay dt!ng d6 co th6 cai o~t cac thu t\1cgiai bai loan dt!a tren cac kie'n thlic trong co so tri thlic. Cac ma hlnh tren se ouQCsa d\1ng trong thie't ke' va cai o~t mQt s6 chuang trlnh giai tt! dQng mQt s6 lOp bai loan vS cac tam giac, cac tli giac, cac bai loan hlnh hQc ph~ng, cac bai loan hlnh hQCgiai tich va mQt s6 bai loan tren cac phan ling hoa hQc. Lu~n an g6m 5chuang. Chuang lla phfin t6ng quail v~ bi6u di€n tri thlic va h~ giai loan dt!a tren tri thlic. Chuang 2 d~ xua't mQt ma hlnh bi6u di€n tri thlic, duQc gQi la m;;tng suy di€n-tinh loan. Chuang 3 lieu leD mOt ma hlnh cho mOt lOp tri thUc, duQc gQi la ma hlnh tri thlic cac d6i tuQng t1nh' loan (C~Objcct). Chuang 4 trlnh bay mOt ma hlnh co th6 dung bi6u di€n cho d;;tng bai loan t6ng quat tren ma hlnh tri thlic vS cac C-Object: ma hlnh m;;tng cac C-Object. Chuang 5 trlnh bay cac ling d\1l1gva L $C\IJ'heb la phan ket lu~n. Chu'o'ng 1. BIJ'fUDIEN TRI TRUC vA Rt GIAI TOAN D{jA TREN TRI TRUC Chuang n~y trlnh bay t6ng quan v~ cac phuong phap bi6u di€n tri thUc va cac cang trlnh lieu bi6u vS cac chuang trlnh giai cac bai loan dt!a tren tri thUc. Cac ke't qua nghien cliu oa co n~y cling ouQc nh?n d~nh va oanh gia. 1.1 Cae va'n d~ cd ban trong thie't ke' m{)t h~ giai b~li toan dQ.'a tren tri thue 1.1.1 Ca'u true eua m{)t h~ giai b~li to:1n dQ.'atren tri thue Ca'u truc co ban cua M th6ng bao g6m cac thanh ph~n ouQc chi ra tren blah 1.1 bell dUai. 2 Giao N gu'~l 511'dllng diPhuong phap ht6t d~ co th~ xiiy dl!ng m(>tco s0 tri thuG va m(>tligon ngG' khai bao bai loan mOt cach tl! nhien. 1.2.4 Phu'dng phIlp Wu Phuong phap Wu la mN phuong phap chung minh dinh 1:9 hlnh hQc theo cach liSp c~n d~i so'. Phuong phap nffy cho ta mOt bi~u dii;n kha dyp v~ m~t 1:9thuySt loan hQC.Tuy nhien no cling co nhi~u h~n chS nhu cac phuong pha p di~n tich va ':f'ull angle trong nhu du xiiy dl!ng mOt M giiii bai loan dl!a tren tri thuG. 1.2.5 Cac phtidng philp chung minh hinh hQc biing may Hnh T(ing kG! cae nghicn Call VOcl~((ng l1linh t\( dOng cae bid loan hlnh hQC, S.C. Chou va cac d6ng lac giii oil li suy dii;n va cac M th6ng. thanh pMn khac cila 1.2.6 MQt s(f nghien CUllxfiy d1;ingh~ ghii toan hinh hQc M(>t so' nghien CUllxiiy dl!ng h~ giiii loan hlnh hQc GOng duChuang 2. M~NG SUY DIEN - TINH TOA.N 2.1 D§n nh1j.p: GiOi thi~u v~ ma hlnh va each tie'p c~n Kay d\!ng ma hlnh. 2.2 M~ng suy di~n va cae va-n M cd ban 2.2.1 Quan h~ va lu1j.tsuy di~n Cho M = {XI,X2,...,Xm} mQt t~p hcjp cae bie'n c6 th~ la'y gia la tri trong cae mi6n xae dint tuong ung D],D2,...,Dm. MQt quaD h~ R(x],x2,',Xm) xac dinh mOt (hay mOt s6) anh X~lfR.u,v:Du---*Dv hay v~n t~t la f: u ---*v, trong d6 u ~ x, v~ x; Du va Dv la tkh eua cae mi6n xae dint tuong ung eua cae bie'n trong u va trong v. Quan h~ nhu the' ducjc gQi la quan h~ suy ddn. MQt quaD M ducjc n6i Hi deli xllng e6 hX2,...,Xn} t~p hcjp cae thuQe tinh hay cae ye'u to' la la'y gia trj trong cae mi6n xae dinh nao d6. (2) F= {f],f2,...,fm} la t~p hQp cae lu~t suy di€\n c6 d~ng f:u(f)---*v(f), trong d6 u(f) va v(f) la cae t~p hQp con khae = 0. r6ng cua M sao eho u(f) n v(f) D6i vdi m6i f E F, ta kg hi~u M(f) la t~p cae bie'n e6 lien M = u(f) trong quaD h~ f, nghla la M(f) u v(f). 2.2.3 Cae va-n d~ eo' ban tren m~ng suy di~n 6 Tren m(;lngsuy di6n (M,F) gici sa c6 mQt t~p bie'n A ~ M da duM~nh d~ 2.3: neu 1en di~u ki~n dn va du d~ mQt day quail M ap dl)ng du'Qctren mQt t~p hQp A ~ M. Dinh Iv 2.2 Tren mQt m~ng suy di~n (M,F), gici Stl A, B 1a hai t~p con cua M. Ta co cac di~u sau day 1a tu'dng du'dng: A. (1) B ~ (2) Co mQt day D = {fl, f2, ..., fk} ~ F thoa cac di~u ki~n D ap dl)ng du'Qctren A va D(A);2 B. Thu~H toaD 2.1: TIm bao d6ng cua t~p A ~ M. 2.3.2 LOi giai cua b8i toaD M~nh d~ 2.4: Day quail M D 1iimQt Wi gicii cUa bai loan A~ B khi va chi khi D ap d\mg OltQCtren A va D(A) ;;2B. Thu~it toaD 2.2 TIm mQt Wi gicii cho b~liloan A ~ B. . Dinh I:V chung minh cd sa loan hQCch6 thu~t loan 2.3. 2.3 Thu~it toaD 2.3 TIm mQt Wi gicii t6t tu mQt loi gicii da bi~t. 2.3.3 Dinh Iy v~ st!-phan tich qua trinh gi:H Dinh Iv 2.4 Cho {fl, f2, ..., fm}1a mQt Wi gicii t6t cho biii loan A ~ B tren mQt m~ng suy di~n (M, F). f)~t: Ao = A, Ai = {fl, f2, ..., fi}(A), voi mQi i=I,...,m. Khi d6 c6 mQt day {Bo,B\, ..., Bm-I,Bm}, thOa cac di~u ki~n: (1) = B, Bi ~ Ai , voi mQi i=O,I,...,m, vii (3) Voi mQi Bm (2) ! i=I,...,m, {fi} 1a Wi gicii cua bai loan Bi-I ~ Bi nhu'ng khOng phcii 1a Wi gicii cua bai loan G ~ Bi , trong d6 G 1iimQt t~p con y cua tMt s1/ tily Bi-I. 2.4 M~ng soy di~n co trQng s6 va lOigiai t6i u'u 2.4.1 Dinh nghia va ky hi~u Dinh nghia 2.5: MQt mg.ngsuy ddn co trQngsr/, vie't t~t bdi MSDT, 1iimQtmo hlnh (A, D, w) bao g6m: (1) mQtt~p ...