... Antoniou và Pavlos Peppas.
CHƯƠNG 2: BIỂUDIỄNTRITHỨCVÀSUY LUẬN
2.1 Biểudiễntri thức
Để có thể sử dụng tri thức, trithức cần được biểudiễn dưới dạng thuận tiện cho
việc mô tả vàsuy diễn. ... Biểudiễntrithứcvàsuy luận
Đại Học Quốc Gia TPHCM
Trường Đại Học Công Nghệ Thông Tin
***
BÀI THU HOẠCH MÔN
BIỂU DIỄNTRITHỨCVÀ ỨNG DỤNG
TÌM HIỂU VỀ:
BIỂU DIỄNTRITHỨCVÀSUY LUẬN
Giảng ... dụng
tri thứcvàsuy diễn. Rất khó để đạt được những hành vi thông minh và mềm dẻo mà
không có trithức về thế giới xung quanh và khả năng suydiễn với trithức đó. Sử
dụng trithứcvàsuy diễn...
... (2) suy ra được độ dài cạnh b , và công thức (3) sẽ suy ra
độ dài cạnh c
Tiếp theo từ công thức (5) suy ra chu vi p
Tiếp theo từ công thức (6) suy ra diện tích S
Tiếp theo từ công thức (7) suy ... Nhân
I.Mạng tính toán
1. Giới thiệu
Mạng tính toán là một dạng biểudiễntrithức có thể dùng biểudiễn các trithứ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 quyết các vấn ... BIỂUDIỄNTRITHỨCVÀSUY LUẬN
MẠNG NGỮ NGHĨA TRONG TAM GIÁC
GVHD : PGS. TS ĐỖ VĂN NHƠN
HV: CH1301030 - VŨ THẾ...
... phương pháp để biểudiễntri thức
nhưng những phương pháp này lại không hiệu quả trong việc biểudiễnvàsuy luận
trên các trithức phức tạp. Bên cạnh đó, các phương pháp suydiễn cũng đóng một ... {
GocB, GocC}.
Lời giải:
1. Suy ra từ
2. Suy ra từ
3. Suy ra từ
4. Suy ra từ
5. Suy ra từ và
6. Suy ra từ .
HVTH: Trần Quốc Cường
Trang: 13
Báo cáo môn học: BiểuDiễn TT Và Ứng Dụng GVHD: PGS.TS ... đã và đang được nghiên cứu phát tri n do khả năng ứng dụng của nó trong việc
biểu diễn các tri thức. Mô hình COKB là mô hình có thể sử dụng rất hiệu quả trong
việc thiết kế các hệ cơ sở tri thức...
... khóa ATTRIBUTE và nằm trong phần định nghĩa
khái niệm.
SVTH : CH1301074 – Nguyễn Hải Yến 23
Biểu diễntrithứcvàsuyluận PGS.TS Đỗ Văn Nhơn
attributes ::= ATTRIBUTE: attribute-def+
attribute-def ... 29 tháng 03 năm 2014
t
Biểu diễntrithứcvàsuyluận PGS.TS Đỗ Văn Nhơn
LỜI NÓI ĐẦU
Biểu diễntrithức có vai trò quan trọng trong việc thiết kế hệ thống CSTT
(KBS) và hệ chuyên gia (ES), ... CH1301074 – Nguyễn Hải Yến 2
Biểu diễntrithứcvàsuyluận PGS.TS Đỗ Văn Nhơn
MỤC LỤC
LỜI NÓI ĐẦU 2
TÌM HIỂU VỀ MÔ HÌNH COKB-ONTO 4
PHƯƠNG PHÁP SUYDIỄN DỰA TRÊN TRITHỨC BÀI TOÁN MẪU 33
TÀI...
... trị). Ví dụ: quả cam – màu vàng.
Phương pháp suyluận trong cách biểudiễntrithức dạng này là sử dụng suydiễn tiến
và suydiễn lùi:
Suy diễn tiến: là quá trình suyluận xuất phát từ một số ... nhiều phương pháp để biểudiễntrithức nhưng
những phương pháp này lại không hiệu quả trong việc biểudiễnvàsuyluận trên các tri
thức phức tạp. Phương pháp biểudiễntrithức đóng vai trò ... 5
1. Logic mệnh đề và logic vị từ 5
2. Biểudiễntrithức bằng luật dẫn 5
3. Biểudiễntrithức bằng mạng ngữ nghĩa 6
CHƯƠNG II.
MÔ HÌNH BIỂUDIỄNTRITHỨC COKB 8
1. Đối tượng tính toán (C-Object)...
... để
trong quá trình suydiễn có thể nhanh chóng tìm kiếm và sử dụng lại các kết quả đã
biết.
2.3.1 Miền trithức con của trithức được biểudiễn bằng mô hình COKB:
Cho trithức K=(C, H, R, Ops, ... nhất.
3.2.4 Lợi ích mang lại:
Mô hình COKB hỗ trợ người lập trình biểudiễntrithức để máy tính có thể hiểu,
xử lý và áp dụng bộ suydiễn để suyluận ra kết quả tốt nhất theo yêu cầu của người
dùng. ...
chính là tri
thức hạn chế của K.
2.3.2 Bài toán mẫu:
- Mô hình bài toán mẫu: Cho trithức con K
p
, khi đó bài toán mẫu được biểu
diễn dưới dạng mạng các đối tượng tính toán dựa trên tri thức...
... Tại sao phải biểudiễntrithức ?Biểu diễntrithức giúp có thể tổ chức và cài đặt
một cơ sở trithức cho các hệ chuyên gia, các hệ cở sở trithứcvà các hệ giải bài toán
dựa trên tri thức.
Công ... Khái niệm về biểudiễntri thức
° Biểudiễntrithức (Knowledge Representation) là sự diễn đạt và thể hiện của tri
thức dưới những dạng thích hợp để có thể tổ chức một cơ sở trithức của hệ thống.
° ... dung
2
CH1301085 – Nguyễn Phương Thanh Diệu
I. TRITHỨCVÀBIỂUDIỄNTRI THỨC
1. Khái niệm tri thức
° Trithức không có được định nghĩa chính xác.
° Khái niệm: Trithức (knowledge) là sự hiểu biết về một...
... trình nhận thức phức tạp: tri giác, truyền
đạt, liên hệ, vàsuy luận. Trong tri t học, ngành nghiên cứu về trithức được gọi là tri thức
luận.
Tri thức có 2 dạng tồn tại chính l tri thc n v tri thc ... n: Trithức từ dạng hiện trở thành dạng ẩn. Điển hình quá trình này là việc
đọc sách. Học sinh đọc sách (tri thức hiện) và rút ra được các bài học, trithức cho
mình (ẩn).
2.2 Biểudiễntri thức
2.2.1 ... :
Ánh xạ biểudiễn không hẳn là one-to-one (1-1), thường là many-to-many.
Xác định quan hệ (english sentences, facts) khi biểudiễn
Biểu diễn tốt
- Suyluận chính xác
- Việc suyluận đơn giản.
Ví...
... một công cụ
thích hợp để biểudiễn những kiểu trithức này.
6. Biểudiễntrithức bằng luật dẫn
Đây là một kiểu biểudiễntrithức có cấu trúc. Ý tưởng cơ bản là trithức có thể được cấu
trúc ... niệm con, và các đối
tượng: diễn tả chức năng và mối liên hệ giữa các trithức dựa theo câu trúc xác định.
II. Các phương pháp biểudiễntri thức
Các phương pháp diễn tả và tổ chức trithức trong ... dạng trithức cảm tính. Các trithức thuộc loại này thường có
dạng ước lượng, phỏng đoán, và được hình thành thông qua kinh nghiệm
Tri thức có câu trúc: mô tả trithức theo cấu trúc. Loại tri thức...
... thống này phụ thuộc rất lớn vào cách biểudiễn tri
thức. Cơ sở trithức tổ chức có tốt thì việc suyluận trên nó mới diễn ra tốt. Vì vậy
phương pháp biểudiễntrithức luôn được cải tiến, mở ... THÀNH PHỐ HỒ CHÍ MINH
Trường Đại Học Công Nghệ Thông Tin
Biểu diễntrithứcvà Ứng dụng:
Tìm hiểu mô hình COKB và Ứng dụng
biểu diễntrithức hình học tam giác
GV: PGS.TS Đỗ Văn Nhơn
Học viên:
Phạm ... trên và ứng dụng trong việc đặc tả và
thiết kế hệ cơ sở trithức cho một ứng dụng cụ thể.
V. Ưu điểm của mô hình COKB
Qua các mô hình biểudiễntrithức tiêu biểu chúng ta đã biết được ưu điểm
và...
... cấu trúc là tri thức.
Các dạng tri thức
- Trithức mô tả: các khái niệm, các đối tượng cơ bản.
- Trithức cấu trúc: các khái niệm cấu trúc, các quan hệ, các đối tượng phức hợp,
- Trithức thủ ... các thủ tục xử lý, các chiến lược, …
- Trithức meta: trithức về các dạng trithức khác và cách sử dụng chúng.
Tri thức là một hệ thống phức tạp, đa dạng và trừu tượng bao gồm nhiều thành tố với
những ... đương.
o Cách biểudiễn của một quan hệ 2 ngôi R trên tập X: Biểudiễn dựa trên “tập
hợp” ,biểu diễn bằng ma trận, biểu đồ (đồ thị).
- Các toán tử (operators), phép toán, các biểuthức hay công thức
o...
... tạo điều kiện cho em được ếp cận với môn học Biểudiễn tri
thứcvàsuy luận.
Em xin cảm ơn thầy PGS.TS. Đỗ Văn Nhơn đã tận @nh truyền đạt kiến thức cho chúng em
cũng những gì thầy đã giúp đỡ, ... phát tri n của các trang web, hệ thống thông tin và công cụ tìm
kiếm đã hoàn toàn thay đổi cách thứctrithứcvà thông tin được thu thập và chia sẽ. Thu
thập thông tin chưa bao trở nên dễ dàng và ... này biểudiễn một phần trithức về các
toán tử của các đối tượng.
Funcs là tập chứa các hàm trong các đối tượng tính toán. Trithức về các hàm cũng phổ
biến trong hầu hết các miền tri thức...
... -> NaNO3 + AgCl
2. Kt luận: Điều chế được
II. Đề xuất giải pháp
Sử dụng mạng tính toán với phương pháp suydiễn tiến có Heuristic.
Mạng tính toán là một mô hình được biểudiễn bởi 2 thnh phn <M,F>. ... <dk>t<sup>o</sup> biểu diễn
cho điều kiện t
o
của phản ứng.
IV. Hàm Heuristic
Mỗi phản ứng có một thuộc tính “uutien” để lưu trữ giá trị ưu tiên của phản ứng.
Quá trình suydiễn sẽ xét các phản ... thấy thì đến B4.
B3: pu.uutien += giatriuutien; giatriuutien++; Quay lại B2.
B4: Với mỗi phản ứng (pu) còn lại:
pu.uutien = pu.uutien + giatriuutien;
giatriuutien++;
B5: Sắp xếp các phản ứng...
... lục
Mục lục iii
1 Biểudiễntrithức 4
1.1 Trithức 4
1.2 Biễudiễntrithứcvà xử lý trithức 5
2 Biểudiễntrithức bằng luật dẫn (luật sinh) 5
2.1 Khái niệm 5
2.2 Cơ chế suyluận trên các luật ... hơn.
1.2 Biễudiễntrithứcvà xử lý trithức
Biểu diễntrithức (Kowledge Representation) là phương pháp cho phép mã hóa
tri thức trong cơ sở trithức của hệ thống.
Biểu diễntrithức là một ... ĐẦU
Việc xây dựng mô hình biểudiễntrithức để đưa trithức lên máy tính, tổ chức lưu trữ và xử lý
tri thức, đặc biệt là suyluận giải các vấn đề, các bài toán. Biểudiễntrithức đóng vai trò hết...
... hình thức tồn tại trong một thời gian dài trong miền toán logic. Việc sử dụng
ngữ nghĩa hình thức cho phép con người suydiễntri thức. Với trithức trong Ontology
chúng ta có thể suydiễn ... ngữ Ontology đến hình thức logic và sử dụng suydiễn tự động bởi các hình
thức luôn tồn tại. OWL được ánh xạ logic miêu tả và sử dụng các suydiễn đang tồn tại
như FaCT và RACER. Các logic mô ... phát tri n bởi nó có nhiều tiện lợi để biểudiễn ý nghĩa và ngữ nghĩa hơn so với
XML, RDF và RDFS, và vì OWL ra đời sau các ngôn ngữ này, nó có khả năng biểu
diễn các nội dung mà máy có thể biểu...