... mệnh đề hay kiện logic vị từ chia thành hai phần vị từ tham số Tham số thể khẳng định đối tượng, ch ng h n mệnh đề, ch ng h n mệnh đề “Nam th ch Mai” viết theo vị từ có dạng: th ch (nam, mai) ... ngh achoch suy diễn, giải toán tamgiác Tính ch t quan trọng mạng ngữ ngh a tính kế th a, cho phép nút bổ sung nhận thông tin nút có trước, cho phép mã ha tri thức c ch dễ dàng Để minhha ... ngh a có tác động t ch cực đến người h c Với tính trực quan mạng ngữ ngh a, người h c dễ dàng tiếp thu h nh thành tri thức nhanh ch ng CH1 102003 - ĐINH ĐỨC KHOA Trang 18 Mạng ngữ ngh achoch ...
... ngữ ngh acho toán có cấu trúc sau : Đỉnh đồ thị bao gồm hai loại : Đỉnh cha công thức (ký hiệu h nh ch nhật) Đỉnh cha yếu tố tamgiác (ký hiệu h nh tròn) • • Cung : nối từ đỉnh h nh tròn ... đỉnh h nh ch nhật cho biết yếu tố tamgiác xuất công thức (không có trường h p cung nối hai đỉnh h nh tròn cung nối hai đỉnh h nh ch nhật) * Lưu ý : công thức liên h n yếu tố tam giác, ta giả ... nhiều phân h khác định ngh a chuyên gia lĩnh vực Mỗi phân h tổ h p tập kiện, kế th a từ thông tin chuyên gia lĩnh vực Mỗi kiện bao gồm vài khái niệm c a tầng cha lớp Trong tầng cha lớp, khái...
... thẳng h ng Ví dụ 8: TamgiácABC có ba đờngcao AD, BE, CF đồng quy HCh ng minh rằng: AH DH = BH EH = CH FH Giải: Ta có tamgiác AFH A E tamgiác CDH hai tamgiác F vuông có AHF = CHD H hai góc ... (BC/ /AD) có BC = 6cm; AD = 11cm AB=4cm Tính độ dài đờngcaoh nh thang biết BAD + CDA = 90O Bài 5: Choh nh bình h nh ABCD, AMPN 9MAB NAD, P h nh bình h nh ABCD) Gọi Q giao điểm DM BN Ch ng minh ... đối đỉnh S Nên AFH CDH (g.g) AH DH = CH. FH B (1) S Ch ng minh tơng tự ta có BFH CEH BH EH = CH. FH (2) Từ (1) (2) suy AH.DH = BH. EH = CH FH D C Ví dụ 9: Lấy điểm M đờngch o AC tứ giác ABCD có...
... phương trình ban đầu có nghiệm (*) phải có nghiệm phân biệt thuộc khoảng (-π;7π/3) Nhưng số nghiệm (*)thuộc khoảng (-π;7π/3) lại số giao điểm đường thẳng y=m với đồ thị (C) có phương trình: s inx ... 1) ( t − 3) = t anx = ± / Sin2 x + tan x = Chia VT ,VP cho cos x ta có : t = tan x tan x + tan x(tan x + 1) = 3(tan x + 1) ⇔ 2t − 3t + 4t − = t = tan x π ⇔ ⇔ t anx = ⇔ x = + kπ ... 2 Page of 10 TRUNG TÂM HOCMAI.ONLINE P.2512 – 34T – Hoàng Đạo Thúy H Nội, ngày 28 tháng 02 năm 2010 Tel: (094)-2222-408 / Cos x − sin x = + sin x Chia VT ,VP cho cos x ta có : t = t anx ...
... thành nhờ nỗ lực thân, bên cạnh giúp đỡ h ớng dẫn thầy Đỗ Văn Nhơn bạn caoh c Khoá 06 Tôi ch n thành cảm ơn MÔN H C: LẬP TRÌNH SYMBOLIC VÀ ỨNG DỤNG 11 ĐẠI H C QUỐC GIA THÀNH PHỐ HCHMINHCH ƠNG ... trình h nh thức phương pháp lập trình d a việc tính toán h nh thức toán h c Maple Đại H c Tổng H pWaterloo (Canada) xây dựng đ a vào sử dụng năm 1985 Sau nhiều lần cải tiến phát triển qua nhiều ... phiên khác ngày hoàn thiện Maple ch y nhiều h điều h nh Từ phiên 7, Maple cung cấp ngày nhiều công cụ trực quan, gói lệnh tự h c gắn liền với toán phổ thông, đại h c tính toán chuyên ngành Ch c...
... h nh ch nhật Việc tính toán h nh ch nhật liên quan đến số giá trị h nh ch nhật sau: b1, b2: hai cạnh h nh ch nhật; d: đườngch o h nh ch nhật; s: diện t chh nh ch nhật; p: chu vi h nh ch ... giảicho toán cần xét dãy quan h xem tính thêm biến từ tập biến cho trước nhờ dãy quan h nầy hay không Do đ a thêm định ngh a sau Định ngh a 2.2 : Cho D = { f1, f2, , fk} dãy quan h mạng tính ... ta gọi loại quan h nầy quan h không đối xứng xác định h m, hay gọi vắn tắt quan h không đối xứng Ta vẽ h nh biểu diễn cho quan h đối xứng quan h không đối xứng (xác định h m) h nh sau H nh...
... liên quan đến số giá trị h nh ch nhật sau: b1, b2: hai cạnh h nh ch nhật; d: đườngch o h nh ch nhật; s: diện t chh nh ch nhật; p: chu vi h nh ch nhật; biến có giá trị thuộc tập số thực dương ... Applying in an Educational software Wuhan, P R China, August 22-23, 2009 [3] Nhon Do Van, Tam Pham Huu, The Extensive C-Objects Network And Applying in an Educational Software Wuhan, P R China, August ... vắn tắt “quan h không đối xứng” Ta vẽ h nh biểu diễn cho quan h đối xứng quan h không đối xứng (xác định h m) h nh sau H nh 1-1 quan h đối xứng có h ng k Phan Đình Duy LẬP TRÌNH SYMBOLIC...
... demo ch ơng trình kèm theo) 15 Giải toán tamgiác Mạng ngữ ngh a Ví dụ : "Cho hai góc α, β chiều dài cạnh atamgiác Tính chiều dài đườngcao hC" Với mạng ngữ ngh achoh nh Các bước thi h nh thuật ... sau: - Đỉnh đồ thị bao gồm loại: + Đỉnh công thức (ký hiệu h nh ch nhật): + Đỉnh cha yếu tố tamgiác (ký hiệu h nh tròn): Cung: nối từ đỉnh h nh tròn đến đỉnh h nh ch nhật cho biết yếu tố tam ... sung nhận thông tin nút có trước, cho phép mã ha tri thức c ch dễ dàngGiải toán tamgiác Mạng ngữ ngh a Để minhhacho tính kế th a mạng ngữ ngh a, xét câu h i đồ thị Ch ng h n nút "Chim",...
... đặt ch ng Tuy nhiên định ngh a phải ch p nhận thực tế - trí tuệ tự khái niệm không định ngh a c ch rõ ràng Mặc dù h u h t nhận h nh vi thông minh nhìn thấy ch ng khó đ a định ngh a trí tuệ Cho ... Trong hah c thường phải sử dụng phản ứng hah c để điều chch t nầy từ ch t khác Loại vấn đề nầy cho ta dạng tương tự ví dụ : Cho trước số ch t hah c, tìm c ch điều ch hay số ch t Ch ơng ... thức không gây hiệu ứng lề cho thành phần khác h thống Cho phép chiến lược điều khiển giao tiếp sử dụng cho nhiều h thống khác Sự t ch biệt kiến thức giải toán suy diễn giúp ta thử nghiệm...
... truyền lại choa (ngh aa th ah ởng b có) Ví dụ mạng ngữ ngh a: Gi a khái niệm chch chòe, chim, h t, cánh, tổ có số mối quan h sau : Chch chòe loài chim Chim biết h t Chim có cánh Chim sống ... dựng nhằm giúp đỡ cho người việc tính toán góc cạnh, chiều cao, chu vi, diện t chh nh tamgiách nh thang c ch nhanh ch ng xác Người xử dụng cần nhập liệu có tamgiách nh thang đó, sau l ach n ... ta có h nh thang: H nh H nh Thang Mạng ngữ ngh a để giải toán h nh thang sau: H nh Mạng ngữ ngh acho toán H nh thang Áp dụng: cho cạnh bên a= c=25cm, đáy nhỏ b=15cm, góc β=120o Tính Diện tích...
... thiết, thay đổi vài điều cần tìm, phải ch ng minh, thay đổi giả thiết kết luận toán Việc thay đổi nhằm làm cho toán cho trở thành toán khác, dễ hay khó h n, chuyển sang thể loại khác, phải dùng phương ... dụng khác định ngh a, định lí, quy tắc toán h toán gốc Ví dụ 3: Từ tính ch t cung bù h m tan ( π − α ) = − tan α công thức tính tan tổng ta có tập sau : “ Ch ng minhtamgiácABC ta có tanA+tanB+tanC=tanA.tanB.tanC” ... hungtetieu1978@gmail.com góc độ khác nhau, giúp choh c sinh biết c ch khai thác kết khác Có thể có từ kiện không thay đổi Ví dụ 2: BT1(BTBĐ) Ch ng minh phương trình: tanx + cotx = a (a < 2) nghiệm π...
... ch ơng trình: Begin A : so goc doi dien canh a B : so goc doi dien canh b C : so goc doi dien canh c a : dai canh a b : dai canh b c : dai canh c : dai duongcao tuong ung voi canh a hb : dai ... dựng hgiải toán thông minhh chuyên gia Các phương pháp biểu diễn tri thức th chh p tạo nên h thống ch t ch hiệu vận h nh Hiện nay, mô h nh biểu diễn tri thức thường d a trên: - Các cấu ... dẫn cha đầy đủ chagiải toán phức tạp tam giác, cho thấy khả đ a tri thức người vào lưu trữ h thống hoàn toàn Trong thời gian tới hy vọng mở rộng giải nhiều toán h nh h c Tài liệu tham khảo...
... tìm giải pháp cho G = {S, R} Định nghi aCho một mạng tính toán K = (M, F) ∈ Cho mỗi A ⊆ M va f F, ta ký hiệu f (A) = A ∪ M(f) là tập thu được từ A bằng ca cha p dụng f, cho S ... Tính kế th a Trong thực tế, h thống trí tuệ nhân tạo thường sử dụng nhiều frame liên kết với theo c ch Một điểm thú vị frame tính phân cấp Đặc tính cho phép kế th a tính ch t frame H nh sau cho ... phát triển vượt bậc Nhìn Robot phát triển theo giai đoạn, biết khoa h c kỹ thuật thăng hoa Khoa h c kỹ thuật giúp cho khám phá ch m đến điều kỳ diệu sống, để có phát minh khoa h c, nhà khoa h c...
... đỉnh h nh ch nhật có cung nối với n đỉnh h nh vng mà n-1 đỉnh h nh vng k ch hoạt k ch hoạt đỉnh h nh vng lại (và tính giá trị đỉnh lại thơng qua cơng thức đỉnh h nh ch nhật) III.VÍ DỤ MINHHA ... ta có M(f) = x1, x2, , xn Ví dụ : Mạng tính tốn choh nh ch nhật Việc tính tốn h nh ch nhật liên quan đến số giá trị h nh ch nhật sau : b1, b2 : hai cạnh h nh ch nhật; d : đườngch o h nh ... giảicho tốn cần xét dãy quan h xem tính thêm biến từ tập biến cho trước nhờ dãy quan h nầy hay khơng Do đ a thêm định ngh a sau Định ngh a 2.2 : Cho D = f1, f2, , fk dãy quan h mạng tính...
... demo ch ơng trình kèm theo) H nh Mạng ngữ ngh acho toán tamgiác Ví dụ : "Cho hai góc α , β chiều dài cạnh atamgiác Tính chiều dài đườngcao hc " Với mạng ngữ ngh achoh nh Các bước thi h nh ... "b bao gồm a" ), thông tin đối tượng cho b truyền lại choa (ngh aa th ah ởng b có) Ví dụ mạng ngữ ngh a: Gi a khái niệm chch chòe, chim, h t, cánh, tổ có số mối quan h sau : • Chch chòe ... đỉnh để cha công thức khoảng 22 đỉnh để cha yếu tố tamgiác Mạng ngữ ngh acho toán có cấu trúc sau: • Đỉnh đồ thị bao gồm loại: + Đỉnh công thức (ký hiệu h nh ch nhật): + Đỉnh cha yếu tố tam...
... f) hay nói tập h p Acha đầy đủ giả thuyết (u(f)) cần thiết quan h f Ví dụ: phản ứng hah c chiều Nếu ta xác định giá trị ch t tham gia phản ứng ta suy ch t tạo thành • Thuật tốn tìm bao đóng ... Ví dụ: quan h f chu vi p cạnh a, b,c tamgiácABCchoh thức: p = a+ b+c a c f f: p = a+ b+c (quan h đối xứng h ng 1) b p Đối với quan h khơng phải đối xứng có h ng k quan h xác định h m f với ... v(f); ta gọi loại quan h quan h khơng đối xứng xác định h m, hay quan h khơng đối xứng Ví dụ: quan h f phương trình hah c vơ mơ tả mối quan h H, O, H2 O H2 + O2 H2 O H2 f H2 O O2 2.2 Tính giải...
... Hoàng - 19 - c : dai canh c : dai duongcao tuong ung voi canh a hb : dai duongcao tuong ung voi canh b hc : dai duongcao tuong ung voi canh c S : dien tich tamgiac p : nua chu vi End Cấu trúc ... nhân tạo th ch sử dụng luật sinh tất phương pháp khác (dễ hiểu, dễ cài đặt) nên h thường tìm c ch để biểu diễn tri thức luật sinh cho dù có phương pháp khác th chh p h n! Đây nhược điểm mang ... Tính góc C: A, B -> C Known.Add(C) • Tính hb: c, A -> hb Known.Add(hb) • Tính ha: c,B->ha Known.Add(ha) • Tính a: c,C ,A- >a Known.Add (a) • Tính b: c,C,B->b Known.Add(b) • Tính p: a, b,c->p Known.Add(p)...
... đỉnh h nh tròn k ch hoạt k ch hoạt đỉnh h nh tròn lại (và tính giá trị đỉnh lại thông qua công thức đỉnh h nh ch nhật) Như việc cho hai góc a, b chiều dài cạnh atamgiác Tính chiều dài đườngcao ... thể Thậm ch , ta thêm tính ch t khác frame thể Cũng tính ch t kế th a đối tượng mạng ngữ ngh a, frame thể nhận giá trị kế th a từ frame lớp Khi tạo frame thể hiện, người ta khẳng định frame thể ... khác Ch ng h n theo mạng ngữ ngh a trên, ta dễ dàng trả lời "có" cho câu h i : "Ch ch chòe có làm tổ không?" Ta khẳng định điều đỉnh "ch ch chòe" có liên kết "là" với đỉnh "chim" đỉnh "chim"...
... doi dien canh c a : dai canh a b : dai canh b c : dai canh c : dai duongcao tuong ung voi canh a hb : dai duongcao tuong ung voi canh b hc : dai duongcao tuong ung voi canh c p : nua chu vi S ... tri thứ h c H ớng phát triển xây dựng mô h nh sở tri thức hoàn ch nh cho toàn kiến thức H NH H C KHÔNG GIAN Phát triển hoàn thiện ch ơng trình thành phần mềm giải toán hoàn ch nh h thống h trợ ... [ "Thuoc" , J, MatPhang (A, B, C)], [ "Thuoc" , J, MatPhang (A1 , B1, C1)] → [ "Thuoc" , J, GiaoTuyen(MatPhang (A, B, C), MatPhang (A1 , B1, C1))] [ "Thuoc" , H, MatPhang (A, B, C)], [ "Thuoc" , H, MatPhang (A1 , B1,...