Sử học TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CAO HỌC CÔNG NGHỆ THÔNG TIN QUA MẠNG BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG SỬ DỤNG MẠNG TÍNH TOÁN ĐỂ GIẢI TAM GIÁC VÀ HÓA HỌC Giảng viên: PGS. TS. Đỗ Văn Nhơn Học viên thực hiện: Huỳnh Tuấn Anh CH1101004 Khóa 6 TpHCM, 01/2013 Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn HVTH: Huỳnh Tuấn Anh TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CAO HỌC CÔNG NGHỆ THÔNG TIN QUA MẠNG BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG SỬ DỤNG MẠNG TÍNH TOÁN ĐỂ GIẢI TAM GIÁC VÀ HÓA HỌC Giảng viên: PGS. TS. Đỗ Văn Nhơn Học viên thực hiện: Huỳnh Tuấn Anh CH1101004 Khóa 6 TpHCM, 01/2013 Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn HVTH: Huỳnh Tuấn Anh Lời cám ơn. Em xin chân thành cám ơn TS. Đỗ Văn Nhơn đã tận tình hướng dẫn, chỉ bảo chúng em trong suốt thời gian học chuyên đề này. Xin chân thành cám ơn quý thầy cô trong Trường Đại Học Công Nghệ Thông Tin, Đại Học Quốc Gia Tp.HCM đã tận tình giảng dạy, trang bị cho em những kiến thức quý báu, tạo mọi điều kiện tốt cho chúng em học tập và nghiên cứu. Xin chân thành cám ơn gia đình và bạn bè đã ủng hộ, giúp đỡ và động viên em trong thời gian học tập và nghiên cứu. Mặc dù đã cố gắng hoàn thành bài luận nhưng chắc chắn không tránh khỏi thiếu sót. Em kính mong nhận được sự thông cảm và tận tình chỉ bảo của quý thầy cô. Học viên thực hiện Huỳnh Tuấn Anh TpHCM, 01/2013 Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn HVTH: Huỳnh Tuấn Anh Mục Lục A. Yêu Cầu: 1 B. Nội Dung: 2 I. Lý Thuyết: 2 1. Mạng Tính Toán: 2 2. Bài toán giải tam giác: 6 3. Bài toán hóa học: 9 4. Thuật giải của bài toán giải tam giác và hóa học: 9 4.1 Thuật giải tìm lời giải cho bài toán A  B: 9 4.2 Thuật giải bổ sung giả thiết cho bài toán: 11 5. Một số bài toán cụ thể: 11 5.1 Giải tam giác: 11 5.2 Giải hóa học: 14 II. Thiết kế và cài đặt: 15 1. Mô hình tri thức cho bài toán giải tam giác: 15 1.1 Mô hình mạng tính toán: 15 1.2 Lưu trữ tri thức tam giác trên máy tính: 15 2. Mô hình tri thức cho bài toán hóa học: 15 3. Cài đặt và kết quả thử nghiệm: 16 3.1 Giải tam giác: 16 3.2 Giải hóa học: 20 C. Tài Liệu Tham Khảo: 24 Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn Trang 1 HVTH: Huỳnh Tuấn Anh A. Yêu Cầu: Cho người sử dụng nhập vào một bài toán tam giác hoặc hóa học theo quy cách đã được qui định. Máy sẽ đưa ra lời giải cho bài toán trên (nếu bài toán có lời giải). Trong trường hợp bài toán không giải được thì chương trình sẽ thông báo để ta cho thêm dữ kiện hoặc điều chỉnh lại bài toán. Chúng ta xét một tam giác bao gồm 22 yếu tố:  a, b, c : 3 cạnh của tam giác (Hình 1).  , ,  : 3 góc đối diện với 3 cạnh tương ứng trong tam giác (Hình 1).  h a , h b , h c : 3 đường cao tương ứng với 3 cạnh của tam giác (Hình 2a).  m a , m b , m c : 3 đường trung tuyến tương ứng với 3 cạnh của tam giác (Hình 2b).  p a , p b , p c : 3 đường phân giác trong tương ứng với 3 cạnh của tam giác.  S : diện tích tam giác.  p : nửa chu vi của tam giác.  R : bán kính đường tròn ngoại tiếp tam giác.  r : bán kính đường tròn nội tiếp tam giác.  r a , r b , r c : các bán kính của các đường tròn bàng tiếp tam giác. Hình 1 Hình 2 Giữa các yếu tố của tam giác có các quan hệ cho phép ta có thể tính ra được các yếu tố cần thiết trong tam giác từ giả thiết rằng đã biết một số yếu tố nào đó của tam giác. Nhờ vào lý thuyết về mạng tính toán ta có thể cài đặt một chương trình để giải tam giác. Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn Trang 2 HVTH: Huỳnh Tuấn Anh Chúng ta biết rằng trong hóa học, việc xem xét các phản ứng hóa học là một trong những vấn đề quan trọng. Về mặt tri thức người ta đã biết được nhiều chất và các phản ứng hóa học có thể chuyển hóa từ một số chất nầy thành các chất khác. Tạm thời bỏ qua một số điều kiện phản ứng, ta có thể xem tri thức đó như một mạng tính toán mà mỗi phản ứng là một quan hệ của mạng. Ví dụ như phản ứng điều chế Clo từ axít Clohidric và đioxit mangan : MnO 2 + HCl  MnCl 2 + Cl 2  + H 2 O. Phản ứng trên có thể được xem như một quan hệ cho chúng ta có được các chất Cl 2 , MnCl 2 , H 2 O từ các chất MnO 2 , HCl. Trong báo cáo chúng ta dùng mạng tính toán để giải 2 bài toán sau trong hóa học: 1. Cho một số chất, hỏi có điều chế được một vài chất nào đó không? 2. Tìm các phương trình phản ứng để biểu diễn dãy các biến hóa, chẳng hạn như các dãy: Zn  ZnO  ZnSO 4 S  SO 2  SO 3  H 2 SO 4 B. Nội Dung: I. Lý Thuyết: 1. Mạng Tính Toán: Mạng tính toán là một dạng biểu diễn tri thức có thể dùng biểu diễn các tri thức về các vấn đề tính toán và được áp dụng một cách có hiệu quả để giải một số dạng bài toán. Mỗi mạng tính toán là một mạng ngữ nghĩa chứa các biến và những quan hệ có thể cài đặt và sử dụng được cho việc tính toán. Chúng ta xét một mạng tính toán gồm một tập hợp các biến cùng với một tập các quan hệ (chẳng hạn các công thức) tính toán giữa các biến. Trong ứng dụng cụ thể mỗi biến và giá trị của nó thường gắn liền với một khái niệm cụ thể về sự vật, mỗi quan hệ thể hiện một sự tri thức về sự vật. 1.1 Các quan hệ: Cho M = x 1 ,x 2 , ,x m  là một tập hợp các biến có thể lấy giá trị trong các miền xác định tương ứng D 1, D 2 , ,D m . Đối với mỗi quan hệ R  D 1 xD 2 x xD m trên các tập hợp D 1, D 2 , ,D m ta nói rằng quan hệ nầy liên kết các biến x 1 ,x 2 , ,x m , và ký hiệu là R(x 1 ,x 2 , ,x m ) hay vắn tắt là R(x) (ký hiệu x dùng để chỉ bộ biến < x 1 ,x 2 , ,x m >). Ta có thể thấy rằng quan hệ R(x) có thể được biểu diễn bởi một ánh xạ f R,u,v với u  v = x, và ta viết : f R,u,v : u  v, hay vắn tắt là f : u  v. Đối với các quan hệ dùng cho việc tính toán, cách ký hiệu trên bao hàm ý nghĩa như là một hàm: ta có thể tính được giá trị của các biến thuộc v khi biết được giá trị của các biến thuộc u. Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn Trang 3 HVTH: Huỳnh Tuấn Anh Trong phần sau ta xét các quan hệ xác định bởi các hàm có dạng f : u  v, trong đó u  v =  (tập rỗng). Đặc biệt là các quan hệ đối xứng có hạng (rank) bằng một số nguyên dương k. Đó là các quan hệ mà ta có thể tính được k biến bất kỳ từ m-k biến kia (ở đây x là bộ gồm m biến < x 1 ,x 2 , ,x m >). Ngoài ra, trong trường hợp cần nói rõ ta viết u(f) thay cho u, v(f) thay cho v. Đối với các quan hệ không phải là đối xứng có hạng k, không làm mất tính tổng quát, ta có thể giả sử quan hệ xác định duy nhất một hàm f với tập biến vào là u(f) và tập biến ra là v(f); ta gọi loại quan hệ nầy là quan hệ không đối xứng xác định một hàm, hay gọi vắn tắt là quan hệ không đối xứng. ví dụ: quan hệ f giữa 3 góc A, B, C trong tam giác ABC cho bởi hệ thức: A+B+C = 180 (đơn vị: độ) 1.2 Mạng tính toán và các kí hiệu: Như đã nói ở trên, ta sẽ xem xét các mạng tính toán bao gồm một tập hợp các biến M và một tập hợp các quan hệ (tính toán) F trên các biến. Trong trường hợp tổng quát có thể viết: M = x 1 ,x 2 , ,x n , F = f 1 ,f 2 , ,f m . Đối với mỗi f  F, ta ký hiệu M(f) là tập các biến có liên hệ trong quan hệ f. Dĩ nhiên M(f) là một tập con của M: M(f)  M. Nếu viết f dưới dạng: f : u(f)  v(f) thì ta có M(f) = u(f)  v(f). 1.3 Bài toán trên mạng tính toán: Cho một mạng tính toán (M,F), M là tập các biến và F là tập các quan hệ. Giả sử có một tập biến A  M đã được xác định và B là một tập biến bất kỳ trong M. Các vấn đề đặt ra là:  Có thể xác định được tập B từ tập A nhờ các quan hệ trong F hay không? Nói cách khác, ta có thể tính được giá trị của các biến thuộc B với giả thiết đã biết giá trị của các biến thuộc A hay không? Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn Trang 4 HVTH: Huỳnh Tuấn Anh  Nếu có thể xác định được B từ A thì quá trình tính toán giá trị của các biến thuộc B như thế nào?  Trong trường hợp không thể xác định được B, thì cần cho thêm điều kiện gì để có thể xác định được B. Bài toán xác định B từ A trên mạng tính toán (M,F) được viết dưới dạng: A  B, trong đó A được gọi là giả thiết, B được gọi là mục tiêu tính toán của bài toán. Định nghĩa 2.1: Bài toán A  B được gọi là giải được khi có thể tính toán được giá trị các biến thuộc B xuất phát từ giả thiết A. Ta nói rằng một dãy các quan hệ f 1 , f 2 , , f k   F là một lời giải của bài toán A  B nếu như ta lần lượt áp dụng các quan hệ f i (i=1, ,k) xuất phát từ giả thiết A thì sẽ tính được các biến thuộc B. Lời giải f 1 , f 2 , , f k  được gọi là lời giải tốt nếu không thể bỏ bớt một số bước tính toán trong quá trình giải, tức là không thể bỏ bớt một số quan hệ trong lời giải. Việc tìm lời giải cho bài toán là việc tìm ra một dãy quan hệ để có thể áp dụng suy ra được B từ A. Điều nầy cũng có nghĩa là tìm ra được một quá trình tính toán để giải bài toán. Định nghĩa 2.2 : Cho D = f 1 , f 2 , , f k  là một dãy quan hệ của mạng tính toán (M,F), A là một tập con của M. Ta nói dãy quan hệ D là áp dụng được trên tập A khi và chỉ khi ta có thể lần lượt áp dụng được các quan hệ f 1 , f 2 , , f k xuất phát từ giả thiết A. Nhận xét : Trong định nghĩa trên, nếu đặt : A 0 = A, A 1 = A 0  M(f 1 ), . . . , A k = A k-1  M(f k ), và ký hiệu A k là D(A), thì ta có D là một lời giải của bài toán A  D(A). Trong trường hợp D là một dãy quan hệ bất kỳ (không nhất thiết là áp dụng được trên A), ta vẫn ký hiệu D(A) là tập biến đạt được khi lần lượt áp dụng các quan hệ trong dãy D (nếu được). Chúng ta có thể nói rằng D(A) là sự mở rộng của tập A nhờ áp dụng dãy quan hệ D. Định nghĩa 2.3: Cho mạng tính toán (M,F), và A là một tập con của M. Ta có thể thấy rằng có duy nhất một tập hợp B lớn nhất  M sao cho bài toán A  B là giải được, và tập hợp B nầy được gọi là bao đóng của A trên mô hình (M,F). Một cách trực quan, có thể nói bao đóng của A là sự mở rộng tối đa của A trên mô hình (M,F). Ký hiệu bao đóng của A là A , chúng ta có định lý sau đây: Định lý 2.1. Trên một mạng tính toán (M,F), bài toán A  B là giải được khi và chỉ khi B  A . Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn Trang 5 HVTH: Huỳnh Tuấn Anh Từ định lý này, ta có thể kiểm tra tính giải được của bài toán A  B bằng cách tính bao đóng của tập A rồi xét xem B có bao hàm trong A hay không. Định lý 2.2. Cho một mạng tính toán (M,F), A, B là hai tập con của M. Ta có các điều sau đây là tương đương: (1) B  A . (2) Có một dãy quan hệ D = f 1 , f 2 , , f k   F thỏa các điều kiện : (a) D áp được trên A. (b) D(A)  B. Chứng minh : Giả sử có (1), tức là B  A . Khi đó bài toán A  B là giải được. Do đó có một dãy quan hệ f 1 , f 2 , , f k   F sao cho khi ta lần lượt áp dụng các quan hệ f i (i=1, ,k) xuất phát từ giả thiết A thì sẽ tính được các biến thuộc B. Dễ dàng thấy rằng dãy f 1 , f 2 , , f k  nầy thỏa các điều kiện (2). Đảo lại, giả sử có (2). Với các điều kiện có được bởi (2) ta thấy f i  là lời giải của vấn đề A i-1  A i , với mọi i = 1,2, , k. Từ mệnh đề 3.2 suy ra bài toán A 0  A k là giải được. Do đó bài toán A  B cũng giải được, suy ra B  A theo định lý 3.1. Qua các định lý trên, ta thấy rằng việc xác định bao đóng của một tập biến trên mô hình tính toán là cần thiết. Dưới đây là thuật toán cho phép xác định bao đóng của tập hợp A  M. Trong thuật toán nầy chúng ta thử áp dụng các quan hệ f  F để tìm dần những biến thuộc M có thể tính được từ A; cuối cùng sẽ được bao đóng của A. Mệnh đề 1.1 : dãy quan hệ D là một lời giải của bài toán A  B khi và chỉ khi D áp dụng được trên A và D(A)  B. Do mệnh đề trên, để tìm một lời giải ta có thể làm như sau: Xuất phát từ giả thiết A, ta thử áp dụng các quan hệ để mở rộng dần tập các biến có giá trị được xác định; và quá trình nầy tạo ra một sự lan truyền tính xác định trên tập các biến cho đến khi đạt đến tập biến B. Dưới đây là thuật toán tìm một lời giải cho bài toán A  B trên mạng tính toán (M,F). Định lý 2.3. Cho D=f 1 , f 2 , , f m  là một lời giải của bài toán A  B. Ưng với mỗi i=1, ,m đặt D i = f 1 , f 2 , , f i , D 0 = . Ta xây dựng một họ các dãy con S m , S m-1 , , S 2 , S 1 của dãy D như sau : S m =  nếu D m-1 là một lời giải, S m = f m  nếu D m-1 không là một lời giải, S i = S i+1 nếu D i-1  S i+1 là một lời giải, Sử dụng mạng tính toán để giải tam giác và hóa học GV: PGS. TS. Đỗ Văn Nhơn Trang 6 HVTH: Huỳnh Tuấn Anh S i = f i   S i+1 nếu D i-1  S i+1 không là một lời giải, với mọi i = m-1, m-2, , 2, 1. Khi đó ta có : (1) S m  S m-1   S 2  S 1 . (2) D i-1  S i là một lời giải của bài toán A  B với mọi i=m, , 2, 1. (3) Nếu S’ i là một dãy con thật sự của S i thì D i-1  S’ i không phải là một lời giải của bài toán A  B với mọi i. (4) S 1 là một lời giải tốt của bài toán A  B. 2. Bài toán giải tam giác: Về mặt tính toán, chúng ta có thể xem tam giác là một mạng tính toán (hay một đối tượng tính toán) bao gồm các biến ghi nhận giá trị của các yếu tố trong tam giác, và các quan hệ là các công thức thể hiện mối liên hệ tính toán giữa các yếu tố đó. Tập các biến trong tam giác gồm:  a, b, c : 3 cạnh của tam giác.  , ,  : 3 góc đối diện với 3 cạnh tương ứng trong tam giác.  h a , h b , h c : 3 đường cao tương ứng với 3 cạnh của tam giác.  m a , m b , m c : 3 đường trung tuyến tương ứng với 3 cạnh của tam giác.  p a , p b , p c : 3 đường phân giác trong tương ứng với 3 cạnh của tam giác.  S : diện tích tam giác.  p : nửa chu vi của tam giác.  R : bán kính đường tròn ngoại tiếp tam giác.  r : bán kính đường tròn nội tiếp tam giác.  r a , r b , r c : các bán kính của các đường tròn bàng tiếp tam giác. Các hệ thức cơ bản giữa các yếu tố của tam giác: Liên hệ giữa 3 góc : f 1 :  +  +  =  (radian). Định lý cosin : f 2 : a 2 = b 2 + c 2 - 2.b.c.cos f 3 : b 2 = a 2 + c 2 - 2.a.c.cos [...]... thiết: b, c,  Yêu cầu tính: p, S Áp dụng thuật toán tìm lời giải ta có lời giải gồm các bước tính toán như sau: Tính :  (áp dụng f6) Tính : R (áp dụng f9) Tính : ha (áp dụng f20) Tính :  (áp dụng f1) Tính : a (áp dụng f2) GV: PGS TS Đỗ Văn Nhơn Trang 13 HVTH: Huỳnh Tuấn Anh Sử dụng mạng tính toán để giải tam giác và hóa học Tính : p (áp dụng f11) Tính : S (áp dụng f12) 5.2 Giải hóa học: Trong mục... giả sử đã biết cạnh b, cạnh c, góc  Hãy tính nửa chu vi p và diện tích S của tam giác Giả thiết: b, c,  Yêu cầu tính: p, S Áp dụng thuật toán tìm lời giải ta có lời giải gồm các bước tính toán như sau: Tính :  (áp dụng f6) Tính : R (áp dụng f9) Tính : ha (áp dụng f20) GV: PGS TS Đỗ Văn Nhơn Trang 19 HVTH: Huỳnh Tuấn Anh Sử dụng mạng tính toán để giải tam giác và hóa học Tính :  (áp dụng f1) Tính. .. Áp dụng thuật toán tìm lời giải ta có lời giải gồm các bước tính toán như sau : Bài toán không có lời giải, phải bổ sung thêm giả thiết B thì bài toán mới có thể giải được Lời giải sau khi bổ sung giả thiết: Tính : C (áp dụng f1) Tính : a (áp dụng f5) Tính : c (áp dụng f4) Tính : S (áp dụng f16) Tính : ha (áp dụng f21) Ví dụ 3 : GV: PGS TS Đỗ Văn Nhơn Trang 12 HVTH: Huỳnh Tuấn Anh Sử dụng mạng tính toán. .. có : Giả thiết: a, ,  Tính các biến: b, c, ha Áp dụng thuật toán tìm lời giải ta có lời giải gồm các bước tính toán như sau : Tính :  (áp dụng f1) Tính : b (áp dụng f5) Tính : c (áp dụng f6) Tính : ha (áp dụng f20) Lời giải của chương trình: > GT:={a, B, C};KL:={b, c, ha}; GV: PGS TS Đỗ Văn Nhơn Trang 17 HVTH: Huỳnh Tuấn Anh Sử dụng mạng tính toán để giải tam giác và hóa học > sol:=FindSol("TamGiac.txt",... dụng mạng tính toán để giải tam giác và hóa học Trong tam giác ABC giả sử đã biết cạnh a, góc , góc  Hãy tính các cạnh còn lại (cạnh b và cạnh c) và đường cao ha Như vậy ta có : Giả thiết: a, ,  Tính các biến: b, c, ha Áp dụng thuật toán tìm lời giải ta có lời giải gồm các bước tính toán như sau : Tính :  (áp dụng f1) Tính : b (áp dụng f5) Tính : c (áp dụng f6) Tính : ha (áp dụng f20) Ví dụ 4... chúng ta dùng mạng tính toán để giải 2 bài toán sau trong hóa học: 1 Cho một số chất, hỏi có điều chế được một vài chất nào đó không? 2 Tìm các phương trình phản ứng để biểu diễn dãy các biến hóa, chẳng hạn như các dãy: Zn  ZnO  ZnSO4 S  SO2  SO3  H2SO4 4 Thuật giải của bài toán giải tam giác và hóa học: 4.1 Thuật giải tìm lời giải cho bài toán A  B: Nhập : các file chưa tri thức cho bài toán tam... hình tri thức cho bài toán hóa học: Tri thức về bài toán hóa học sẽ được lưu thành file: HoaHoc.txt GV: PGS TS Đỗ Văn Nhơn Trang 15 HVTH: Huỳnh Tuấn Anh Sử dụng mạng tính toán để giải tam giác và hóa học File HoaHoc.txt (file đính kèm) diễn tả mối quan hệ giữa các thuộc tính của các nguyên tố có cấu trúc được ghi như mô hình mạng tính toán ở mục 2.1 3 Cài đặt và kết quả thử nghiệm: Chương trình giải. .. giả sử đã biết cạnh b, cạnh c, góc  Hãy tính các đường trung tuyến trong tam giác : ma, mb, mc Giả thiết: b, c,  Yêu cầu tính: ma, mb, mc Áp dụng thuật toán tìm lời giải ta có lời giải gồm các bước tính toán như sau : Tính : a (áp dụng f2) Tính : ma (áp dụng f26) Tính : mb (áp dụng f27) Tính : mc (áp dụng f28) Ví dụ 5 : Trong tam giác, giả sử đã biết cạnh b, cạnh c, góc  Hãy tính nửa chu vi p và. .. S=6 Hãy tính chu vi tam giác Như vậy ta có : Giả thiết: a=3, b=4, S=6 Tính các biến: p Áp dụng thuật toán tìm lời giải ta có lời giải gồm các bước tính toán như sau : Tính : C=1/2*Pi (áp dụng f19) Tính : c=5 (áp dụng f4) Tính : p=6 (áp dụng f11) Ví dụ 2 : Trong tam giác ABC giả sử đã biết góc A, cạnh b, chu vi p Hãy tính diện tích tam giác và đường cao ha Như vậy ta có : Giả thiết: A, b, p Tính. .. bước tính toán như sau : Tính : a (áp dụng f2) Tính : ma (áp dụng f26) Tính : mb (áp dụng f27) Tính : mc (áp dụng f28) GV: PGS TS Đỗ Văn Nhơn Trang 18 HVTH: Huỳnh Tuấn Anh Sử dụng mạng tính toán để giải tam giác và hóa học Lời giải của chương trình: > GT:={b, c, A};KL:={ma, mb, mc}; > sol:=FindSol("TamGiac.txt", GT, KL); > sol:=ReduceSol(GT, KL, sol); > InKetQua(sol, [], KL); Bài giải: Định lý Cosin: a^2 . 1. Mạng Tính Toán: Mạng tính toán là một dạng biểu diễn tri thức có thể dùng biểu diễn các tri thức về các vấn đề tính toán và được áp dụng một cách có hiệu quả để giải một số dạng bài toán. . Sử học TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CAO HỌC CÔNG NGHỆ THÔNG TIN QUA MẠNG BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG SỬ DỤNG MẠNG TÍNH TOÁN ĐỂ GIẢI TAM GIÁC VÀ HÓA HỌC . như mô hình mạng tính toán ở trên. 2. Mô hình tri thức cho bài toán hóa học: Tri thức về bài toán hóa học sẽ được lưu thành file: HoaHoc.txt Sử dụng mạng tính toán để giải tam giác và hóa học