0

bài 2 kể tên các hoạt động chính của thư viện

Sử dụng mạng ngữ nghĩa trong bài toán điều chế chất hóa học cân bằng phản ứng hóa học

Sử dụng mạng ngữ nghĩa trong bài toán điều chế chất hóa học cân bằng phản ứng hóa học

Quản trị mạng

... minh Hình 2. 1 Đồ thị AND/OR 24 Hình 2. 2 Mô tả đối tượng ba liên hợp 28 Hình 2. 3 Frame mô tả xe 31 Hình 2. 4 Cấu trúc phân cấp loại hình hình học 32 Hình 2. 5 Hình tròn ... = x r; s = pi x r2; Hình 2. 6 Hình chữ nhật p = x pi x r; Frame RECTANGLE (hình chữ nhật) b1: side; b2: side; s: area; p: perimeter; s = b1 x b2; p = x (b1+b2); d2 = b 12 + b 22; Frame SQUARE (hình ... kích hoạt Công thức (4) kích hoạt (vì α, β) Từ công thức (4) tính góc δ Công thức (2) kích hoạt (vì đỉnh β, δ, b kích hoạt) Từ công thức (2) tính cạnh c Đỉnh c kích hoạt Công thức (3) kích hoạt...
  • 63
  • 976
  • 2
Tiểu luận môn Công nghệ tri thức và ứng dụng BIỂU DIỄN TRI THỨC BẰNG LUẬT SINH

Tiểu luận môn Công nghệ tri thức và ứng dụng BIỂU DIỄN TRI THỨC BẰNG LUẬT SINH

Hệ thống thông tin

... thức Còn cách thức tìm kiếm lời giải cách duyệt luật áp dụng gọi động suy diễn Hai thuật ngữ định nghĩa xác cuối phần Cách giải vấn đề theo kiểu khác so với cách giải thuật toán thông thư ng không ... Tuấn Khiêm 15 Bài thu hoạch: Công nghệ tri thức ứng dụng - Windows - Windows XP - Java Runtime Environment: - Java 1.4 (J2SE) - Phần đính kèm: “j2re-1_4 _2_ 13-windows-i586-p.exe” - Thư viện - Phần ... - Phần đính kèm: “eclipse-SDK-3 .2. 1-win 32. zip” Môi trường cài đặt - Cài đặt java với file: “j2re-1_4 _2_ 13-windows-i586-p.exe” - Giải nén “eclipse-SDK-3 .2. 1-win 32. zip” copy vào đĩa cứng - Giải...
  • 23
  • 2,624
  • 9
BIỂU DIỄN TRI THỨC BẰNG FRAME

BIỂU DIỄN TRI THỨC BẰNG FRAME

Kỹ thuật lập trình

... ứng sau : Na + Cl2 → NaCl Fe + Cl2 → FeCl2 Cu + Cl2 → CuCl2 Cl2 + H2O → HCl + HClO MnO2 + 4HCl → MnCl2 + Cl2 + H2O HCl + KMnO4 → KCl + MnCl2 + H2O + Cl2 NaCl + H2O → Cl2 + H2 + NaOH Như vậy, ... diagonal; d2 : diagonal; s : area; p : perimeter; alpha1 : angle; alpha2 : angle; h : height; cos (alpha2 /2) × d1 = h; s = d1 × d2 / 2; p = × b; s = b × h; cos (alpha2 /2) / (2 b) = d2; Chúng ta ... × r2; p = × pi × r; Frame RECTANGLE (hình chữ nhật) b1 : side; b2 : side; s : area; p : perimeter; s = b1 × b2; p = × (b1+b2); d2 = b 12 + b 22; Frame SQUARE (hình vuông) Là : RECTANGLE b1 = b2;...
  • 11
  • 2,215
  • 26
BIỂU DIỄN TRI THỨC BẰNG MẠNG SUY DIỄN TÍNH TOÁN

BIỂU DIỄN TRI THỨC BẰNG MẠNG SUY DIỄN TÍNH TOÁN

Hệ thống thông tin

... end_objects Cấu trúc tập tin “RELATIONS.txt” begin_relations [ , , ,…], {“”,” ”,…} ... 2> ”,…} [ , , ,…], {“”,” ”,…} -end_relations Cấu trúc tập tin “HIERARCHY.txt” begin_hierarchy [
  • 72
  • 1,076
  • 1
Biểu diễn tri thức bằng Ontology

Biểu diễn tri thức bằng Ontology

Công nghệ thông tin

... http://www.w3.org/TR /20 09/REC-owl2-syntax -20 091 027 /, 20 09 [8] Web semantic: Kỳ - Ontologoy web ngữ nghĩa, Nguyễn Văn Chương, http://my.opera.com/Alibobo/blog /20 09/09 /25 /web-semantic-ky -2- tong-quan-websemantic, 20 09 ... Edition1 .2, MatthewHorridge, The University Of Manchester, 20 09 [6] OWL Web Ontology Language, Document Overview, W3C OWL Working Group, http://www.w3.org/TR /20 09/REC-owl2-overview -20 091 027 /, 20 09 ... nạp diễn tả quan hệ “là phần của Liên đới quan hệ ngữ nghĩa lớp tầng AC1 , AC1 , , AC1q1 AC , AC 2 , , AC q AC , AC , , AC q3 OC1 , O C1 , , OC1q1 OC2 , OC2 , , OC q2 OC , O C , , OC q AC41, AC4...
  • 29
  • 824
  • 3
BIỂU DIỄN TRI THỨC BẰNG ONTOLOGY ỨNG DỤNG XÂY DỰNG ONTOLOGY PHỤC VỤ TRA CỨU TRONG LĨNH VỰC Y TẾ

BIỂU DIỄN TRI THỨC BẰNG ONTOLOGY ỨNG DỤNG XÂY DỰNG ONTOLOGY PHỤC VỤ TRA CỨU TRONG LĨNH VỰC Y TẾ

Hệ thống thông tin

... dụng thư viện cần thiết: Người làm việc tổ chức địa điểm đó: Trang 22 Biểu ... Một hộp thoại xuất để ta nhập tên ontology tên project vào ta project Trang 28 Biểu diễn tri thức & suy luận hộp thoại lưu ontology Thông thư ng tên project giống với tên file OWL Tạo lớp: Tại giao...
  • 35
  • 614
  • 3
TÌM HIỂU PHƯƠNG PHÁP BIỂU DIỄN TRI THỨC BẰNG LOGIC MỆNH ĐỀ VÀ LOGIC VỊ TỪ - ỨNG DỤNG XÂY DỰNG HỆ THỐNG SUY DIỄN TRONG VIỆC CHỌN NGÀY GIỜ KHAI TRƯƠNG

TÌM HIỂU PHƯƠNG PHÁP BIỂU DIỄN TRI THỨC BẰNG LOGIC MỆNH ĐỀ VÀ LOGIC VỊ TỪ - ỨNG DỤNG XÂY DỰNG HỆ THỐNG SUY DIỄN TRONG VIỆC CHỌN NGÀY GIỜ KHAI TRƯƠNG

Hệ thống thông tin

... Ngy õm lch 1 -2- 2014 4 -2- 2014 5 -2- 2014 6 -2- 2014 7 -2- 2014 12- 2 -20 14 13 -2- 2014 14 -2- 2014 20 -2- 2014 21 -2- 2014 25 -2- 2014 29 -2- 2014 30 -2- 2014 im ban u 6 6 6 6 Thỏng 2: Thỏng STT 10 11 12 13 HVTH: Trng ... 4- 12- 2014 5- 12- 2014 8- 12- 2014 11- 12- 2014 17- 12- 2014 19- 12- 2014 20 - 12- 2014 24 - 12- 2014 25 - 12- 2014 26 - 12- 2014 29 - 12- 2014 30- 12- 2014 im ban u 6 6 5 4 Thỏng 11: Thỏng 11 STT 10 11 12 13 Thỏng 12: ... Su Bớnh Dn K T Canh Ng Ngy õm lch 2- 1 -20 14 5-1 -20 14 11-1 -20 14 13-1 -20 14 14-1 -20 14 18-1 -20 14 19-1 -20 14 20 -1 -20 14 23 -1 -20 14 24 -1 -20 14 25 -1 -20 14 28 -1 -20 14 29 -1 -20 14 im ban u 6 5 4 6 6 Trc Chp Thnh...
  • 49
  • 2,451
  • 6
Biểu diễn tri thức bằng logic mờ và suy diễn

Biểu diễn tri thức bằng logic mờ và suy diễn

Quản trị mạng

... = A → Y = B A = (0.1, 0.3, 0.6) B = (0.1, 0.3, 0 .2) Min 0.1 0.1 0.1 0.3 0 .2 0 .2 0.6 0.3 0 .2 Product 0.07 0.03 0. 02 0 .21 0.03 0.06 0. 42 0.18 0. 12 9/15 Biểu diễn tri thức Logic mờ suy diễn ( ) 0.9 ... thiết) = {U1 = C1,U2 = C2, ,Ul = Cl} Cần xác định : KL (kết luận) = {V1 = D1,V2 = D2, ,Vk = Dk} ⇒ Suy diễn : làm xác định μD1,μD2, ,μDk? 11/15 Biểu diễn tri thức Logic mờ suy diễn • Bài toán : Cho ... (TTNT) + GT di truyền 12/ 15 Biểu diễn tri thức Logic mờ suy diễn • Suy diễn mờ = áp dụng liên tiếp nhiều lần Modus Ponen (Fred Forward) If X = A1 then Y = B1 If X = A2 then Y = B2 If X = B3 then Z...
  • 15
  • 406
  • 1
Tiểu luận môn biểu diễn tri thức và suy luận Từ đồ thị hiện sinh đến đồ thị khái niệm

Tiểu luận môn biểu diễn tri thức và suy luận Từ đồ thị hiện sinh đến đồ thị khái niệm

Hệ thống thông tin

... diễn móc) với (biểu diễn cốc chứa biến ràng buộc) Hình 2. 2 biểu diễn Begriffsschrift tương đương với hình 2. 1 Dưới biểu diễn dạng vị từ: Hình 2. 2 Begriffsschrift Frege cho câu “John is going to Boston ... nhất, cung mũi tên Nếu quan hệ có nhiều hai đối số, đầu mũi tên thay số nguyên Hình 2. 1 dạng hiển thị đồ thị khái niệm cho câu “John is going to Boston by bus” Đồ thị khái niệm hình 2. 1 biểu diễn ... phân biệt tên đúng, vị từ monadic isJohn isBoston có lẽ sử dụng để biểu diễn tên Sau kí hiệu đại số cho hình 2. 1: Hình 2. 3 đồ thị quan hệ Peirce cho câu “John is going to Boston by bus” Peirce thử...
  • 27
  • 409
  • 0
Tiểu luận môn biểu diễn tri thức và suy luận GIẢI BÀI TOÁN TAM GIÁC BẰNG MÔ HÌNH HỆ LUẬT DẪN

Tiểu luận môn biểu diễn tri thức và suy luận GIẢI BÀI TOÁN TAM GIÁC BẰNG MÔ HÌNH HỆ LUẬT DẪN

Hệ thống thông tin

... .4 1 .2 Biễu diễn tri thức xử lý tri thức Biểu diễn tri thức luật dẫn (luật sinh) 2. 1 Khái niệm 2. 2 Cơ chế suy luận luật sinh 2. 3 Vấn đề tối ... demo 19 KẾT LUẬN 21 3.6 Tóm tắt kết đạt .21 3.7 Hướng phát triển 21 Tài liệu tham khảo 22 Biểu diễn tri thức 1.1 Tri thức Tri thức ... sinh, người ta thư ng phải rõ hai thành phần sau: Tập kiện F(Facts) F = {f1, f2, fn} Tập quy tắc R (Rules) áp dụng kiện dạng sau : f1 ^ f2 ^ ^ fi  q Trong đó, fi, q thuộc F 2. 2 Cơ chế suy luận...
  • 22
  • 1,395
  • 16
BIỂU DIỄN TRI THỨC SỬ DỤNG LUẬT DẪN XUẤT (LUẬT SINH)

BIỂU DIỄN TRI THỨC SỬ DỤNG LUẬT DẪN XUẤT (LUẬT SINH)

Kỹ thuật lập trình

... máy tính, chẩn đoán xem máy tính bị hỏng hóc đâu Ví dụ : Tập kiện : • Ổ cứng "hỏng" hay "hoạt động bình thư ng" • Hỏng hình • Lỏng cáp hình • Tình trạng đèn ổ cứng "tắt" "sáng" • Có âm đọc ổ cứng ... trì hệ thống tương đối dễ dàng Có thể cải tiến dễ dàng để tích hợp luật mờ Các luật thư ng phụ thuộc vào Nhược điểm Các tri thức phức tạp đôi lúc đòi hỏi nhiều (hàng ngàn) luật sinh Điều làm ... rỗng luật luật hiển nhiên Ta loại bỏ luật hiển nhiên khỏi tri thức VIII.3 .2 Rút gọn bên trái Xét luật : (L1) A, B → C (L2) A → X (L3) X → C Rõ ràng luật A, B → C thay luật A → C mà không làm ảnh...
  • 4
  • 1,039
  • 25
Biểu diễn tri thức sử dụng luật suy diễn

Biểu diễn tri thức sử dụng luật suy diễn

Khoa học xã hội

... NhaTrang Độ dài 27 0 110 160 25 0 95 145 90 70 50 160 170 100 145 170 60 160 160 100 60 23 0 22 0 110 - 17 - Số hiệu Đường 28 703 28 14B 1A 1A 1A 1A 24 24 26 1A 1A 14 1A 19 1A 1A 1A 615 26 1A  Báo cáo ... path("TuyHoa","Pleiku" ,21 0) %QL25 path("QuiNhon","TuyHoa",100) %QL1A - 22 -  Báo cáo hết môn Công nghệ tri thức path("TuyHoa","NhaTrang",110) %QL1A path("NhaTrang","DakLak",170) %QL26 path("TuyHoa","DakLak" ,22 0) ... path("TuyHoa","Pleiku" ,21 0) %QL25 path("QuiNhon","TuyHoa",100) %QL1A path("TuyHoa","NhaTrang",110) %QL1A path("NhaTrang","DakLak",170) %QL26 path("TuyHoa","DakLak" ,22 0) %QL26 path("Pleiku","DakLak",170)...
  • 28
  • 1,046
  • 1
Tiểu luận môn Biểu diễn tri thức và ứng dụng Mô hình tri thức về các đối tượng tính toán

Tiểu luận môn Biểu diễn tri thức và ứng dụng Mô hình tri thức về các đối tượng tính toán

Hệ thống thông tin

... a ^2 = b ^2 + c ^2 - 2* b*c*cos(GocA), } • Facts = {a+b>c;a+c>b; b+c>a;…} • Rules = { {GocA = GocB}⇒ {a = b}, {a = b} ⇒ {GocA = GocB}, {a ^2 = b ^2+ c ^2} ⇒{GocA=pi /2} , {GocA=pi /2} ⇒ {a ^2 = b ^2+ c ^2, ... O2: vector pháp tuyến n d  O3: đường thẳng d’  O4: vector phương d’  O5: điểm A [2] Các quan hệ đối tượng  f1: O1.a=O2.v1, O1.b=O2.v2 (O2 vector pháp tuyến đường thẳng đối tượng O1)  f2: ... GT1 f2 GT2 O5,f3 GT3 Trong đó: GT0=GT= { O1,O5} GT1= { O1,O5,O2} GT2= { O1,O5,O2,O4} GT3= { O1,O5,O2,O4,O3} HVTH: Bùi Thị Mỹ Duyên MSHV CH1101079 Trang 33 Bài thu hoạch môn Biểu diễn tri thư c...
  • 35
  • 646
  • 0
Tiểu luận môn Biểu diễn tri thức và ứng dụng MỘT SỐ MÔ HÌNH BIỂU DIỄN TRI THỨC

Tiểu luận môn Biểu diễn tri thức và ứng dụng MỘT SỐ MÔ HÌNH BIỂU DIỄN TRI THỨC

Hệ thống thông tin

... khóa 20 11 - 20 13 22 F = {A+B+C=180, a b c a b = 2R , = 2R , = 2R , = , sinA sinB sinC sinA sinB S = b.c.sinA / 2} Facts = {a+b>c, a+c>b, b+c>a, } Rules = {{a>b}{A>B}, {a=b}{A=B},{a ^2= b ^2+ c ^2} {A=pi /2} , ... O1.A, O2.A, O1.b, O1.c, O3.a}, A4 = {O1.a , O1.A, O2.A, O1.b, O1.c, O3.a, O4.a}, A5 = {O1.a , O1.A, O2.A, O1.b, O1.c, O3.a, O4.a, O2.b}, A6 = {O1.a , O1.A, O2.A, O1.b, O1.c, O3.a, O4.a, O2.b, O2.c}, ... O1.A, O2.A, O1.b, O1.c, O3.a, O4.a, O2.b, O2.c, O2.a} Thuật toán 2: Tìm lời giải tốt nhất từ một lời giải S = [f1, f2, , fk] của bài toán H  G mạng tính toán (M, F) D ← {f1, f2,...
  • 35
  • 828
  • 1
Tiểu luận môn Biểu diễn tri thức và ứng dụng ỨNG DỤNG LUẬT SINH TRONG THIẾT KẾ TRÒ CHƠI CARO

Tiểu luận môn Biểu diễn tri thức và ứng dụng ỨNG DỤNG LUẬT SINH TRONG THIẾT KẾ TRÒ CHƠI CARO

Hệ thống thông tin

... Java 1.4 (J2SE) - Phần đính kèm: “j2re-1_4 _2_ 13-windows-i586-p.exe” - Thư viện - Phần đính kèm: “jbossrules-ide-3.0.4-bin.zip” - Eclipse SDK - Phần đính kèm: “eclipse-SDK-3 .2. 1-win 32. zip” Môi ... ứng dụng Phạm Tuấn Khiêm 22 Bài thu hoạch: Biểu diễn tri thức ứng dụng Phạm Tuấn Khiêm 23 Bài thu hoạch: Biểu diễn tri thức ứng dụng TÀI LIỆU THAM KHẢO PGS.TS Đỗ Văn Nhơn, Bài giảng môn Biểu diễn ... tri thức Còn cách thức tìm kiếm lời giải cách duyệt luật áp dụng gọi động suy diễn Hai thuật ngữ định nghĩa xác cuối phần Phạm Tuấn Khiêm Bài thu hoạch: Biểu diễn tri thức ứng dụng Cách giải vấn...
  • 24
  • 465
  • 1
MÔN BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG Giải bài toán tam giác bằng Mạng ngữ nghĩa

MÔN BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG Giải bài toán tam giác bằng Mạng ngữ nghĩa

Hệ thống thông tin

... thức (2) kích hoạt (vì đỉnh β,δ, b kích hoạt) Từ công thức (2) tính cạnh c Đỉnh c kích hoạt - Công thức (3) kích hoạt (vì đỉnh a, b, c kích hoạt) Từ công thức (3) tính diện tích S Đỉnh S kích hoạt ... 1] = a [2, 1] = a[4, 1] = a[5, 1] = temp; a[3, 2] = a[4, 2] = a[5, 2] = a[6, 2] = temp; a[0, 3] = a[1, 3] = a [2, 3] = temp; a[5, 4] = a[6, 4] = a[7, 4] = temp; } Để thực thao tác "kích hoạt" đỉnh ... Các bước thi hành thuật toán sau : Bắt đầu : đỉnh α, β, a đồ thị kích hoạt - Công thức (1) kích hoạt (vìα, β, a kích hoạt) Từ công thức (1) tính cạnh b Đỉnh b kích hoạt - Công thức (4) kích hoạt...
  • 25
  • 1,397
  • 5
Biểu diễn tri thức hàm giải và biện luận các dạng phương trình bằng Maple

Biểu diễn tri thức hàm giải và biện luận các dạng phương trình bằng Maple

Hệ thống thông tin

... nghiệm { x = ( - m + / 2m – – m2) ; y = ( 2m – / 2m – – m2 )} Với m1 = (-1 + I, -1 – I) + 2, m2 = (2 - 2I, + 2I) -2 Dx = (-1 + I, -1 – I) + < > 0; Dy = (2 - 2I, + 2I) -2 < > ; pt vô nghiệm Chương ... d,dx,dy,a,b,c,a1,a2,b1,b2,c1,c2,mcn,m1,m2; a1:=coeff(lhs(Pt[1]),bien1); b1:=coeff(lhs(Pt[1]),bien2); c1:=tcoeff(lhs(Pt[1])); a2:=coeff(lhs(Pt [2] ),bien1); b2:=coeff(lhs(Pt [2] ),bien2); c2:=tcoeff(lhs(Pt [2] )); ... b2:=coeff(lhs(Pt [2] ),bien2); c2:=tcoeff(lhs(Pt [2] )); #print(a1,b1,c1,a2,b2,c2); d:=a1*b2-a2*b1; dx:=c1*b2-c2*b1; dy:=a1*c2-a2*c1; print("d=",d,"dx=",dx,"dy=",dy); mcn:=solve(d=0,thamso); print(mcn);...
  • 23
  • 647
  • 0
Tiểu luận môn biểu diễn tri thức và suy luận Ứng dụng Giải bài toán hóa học vô cơ chương trình THCS bằng phương pháp Suy diễn tiến có Heuristic

Tiểu luận môn biểu diễn tri thức và suy luận Ứng dụng Giải bài toán hóa học vô cơ chương trình THCS bằng phương pháp Suy diễn tiến có Heuristic

Hệ thống thông tin

... lưu tập tin “DuLieu.txt” sau: Na + Cl2 = NaCl to • Để lưu phản ứng Cl2 + KOH  KCl + KClO + H2O: Cl2 + KOH=KCl + KClO + H2O to (Điều kiện phản ... 1: Nhập các ban đầu (cách dấu phẩy “,”), không cần định dạng số chương trình tự xử lý Bước 2: Nhập chất cần điều chế Bước 3: Click chuột lên nút lệnh VII Công cụ phát triển Visual Studio 20 10, ... không cho biết phản ứng sử dụng trình điều chế Ví dụ: Cho trước Na, Cl2, AgNO3 Yêu cầu điều chế NaNO3 Giải Suy luận: • Na + Cl2 -> NaCl • NaCl + AgNO3 -> NaNO3 + AgCl Kết luận: Điều chế II Đề xuất...
  • 9
  • 558
  • 2
Tiểu luận môn biểu diễn tri thức và suy luận ỨNG DỤNG MÔ HÌNH HỆ LUẬT DẪN GIẢI BÀI TOÁN TAM GIÁC

Tiểu luận môn biểu diễn tri thức và suy luận ỨNG DỤNG MÔ HÌNH HỆ LUẬT DẪN GIẢI BÀI TOÁN TAM GIÁC

Hệ thống thông tin

... thức 2. 2.1 Bộ ba Đối tượng – Thuộc tính – Giá trị (Object-Attribute-Value) GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 8- 2. 2 .2 Mạng ngữ nghĩa (Semantic Networks) 2. 2.3 Khung (Frames) 2. 2.4 ... b*sin(GocA), a ^2 = b ^2 + c ^2 - 2* b*c*cos(GocA), } • Facts = {} GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 10 - • Rules = { {GocA = GocB}⇒ {a = b}, {a = b} ⇒ {GocA = GocB}, {a ^2 = b ^2+ c ^2} ⇒{GocA=pi /2} , ... Rules = { {GocA = GocB}⇒ {a = b}, {a = b} ⇒ {GocA = GocB}, {a ^2 = b ^2+ c ^2} ⇒{GocA=pi /2} , {GocA=pi /2} ⇒ {a ^2 = b ^2+ c ^2, b ⊥ c}, } Khảo sát toán suy diễn tính toán C-Object xây dựng thuật giải thích...
  • 27
  • 409
  • 1

Xem thêm