... 2: BIỂUDIỄNTRITHỨC VÀ 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. Nhiều ngôn ngữ và mô hình biểu ... Biểudiễntrithức và 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ỨC VÀ ỨNG DỤNG
TÌM HIỂU VỀ:
BIỂU DIỄNTRITHỨC VÀ SUY LUẬN
Giảng ... 1
Biểu diễntrithức và suy luận
MỤC LỤC
CHƯƠNG 1: TỔNG QUAN 3
1.1 Mở đầu 3
1.2 Nội dung thực hiện 3
1.3 Dự kiến kết quả đạt được 4
CHƯƠNG 2: BIỂUDIỄNTRITHỨC VÀ SUYLUẬN 4
2.1 Biểudiễn tri...
... tính toán suyluận thì
Từ công thức (1) ta suy ra góc γ
Tiếp theo từ công thức (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 ... – Vũ Thế 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 ... BIỂUDIỄNTRITHỨC VÀ 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ễn và 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 ... 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ở trithức phức tạp, như các miền trithức ... {
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:...
... 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ức và suyluận PGS.TS Đỗ Văn Nhơn
attributes ::= ATTRIBUTE: attribute-def+
attribute-def ... CH1301074 – Nguyễn Hải Yến 2
Biểu diễntrithức và 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 ... CNTT khoá 9
TP. Hồ Chí Minh, ngày 29 tháng 03 năm 2014
t
Biểu diễntrithức và 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...
... 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ễn và suyluận trên các tri
thức phức tạp. Phương pháp biểudiễntrithức đóng vai trò ... 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ố sự kiện ban ... ký hiệu để biểudiễn
tri thức và các toán tử áp lên các ký hiệu để suyluận logic. Logic đã cung cấp
cho các nhà nghiên cứu những công cụ hình thức để biểudiễn và suyluậntri
thức. Các phép...
... đã
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, Funcs, Rules) , miền trithức con của K là tri
thức được biểudiễn bằng mô hình COKB ...
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 trithức ... Rules) là trithức được biểudiễn theo mô hình
COKB; Sample là tập hợp các bài toán mẫu trên miền tri thức.
Mô hình COKB_SP là phương pháp hiệu quả trong việc thiết kế các cơ sở tri
thức 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ức và 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ỨC VÀ 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 ... CH1301065
Phần I: BiểuDiễnTri Thức
I. Khái niệm trithức
Tri thức là sự “hiểu biết” của người trong một phạm vi, lĩnh vực nào đó, được xem xét theo
các mục tiêu hay các vấn đề nhất định.
Tri thức là ... 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ở rộng.
Với ...
PHẦN 2: ỨNG DỤNG BIỂUDIỄNTRITHỨC HÌNH HỌC TAM GIÁC
Trong phần này ta đưa ra một ví dụ áp dụng: Biểudiễntrithức tam giác
trong hình học phẳng theo mô hình COKB.
I. Kiến thức hình học trong ... THÀNH PHỐ HỒ CHÍ MINH
Trường Đại Học Công Nghệ Thông Tin
Biểu diễntrithức và Ứ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...
... 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ủ ... đươ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 ... Biểudiễntrithức sử dụng mạng ngữ nghĩa
2.1 Khái niệm
Mạng ngữ nghĩa là một phương pháp biểudiễntrithức đầu tiên và cũng là phương
pháp dễ hiểu nhất đối với chúng ta.Phương pháp này sẽ biểu...
... 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 trithức ...
LeHoi: string;
VanHoa: string;
AmThuc: string;
13
DanToc: string;
NgonNgu: string;
GiaoThong: string;
DanhGia: float;
ViTriXepHang: integer;
NhaHang: string;
KhuVuiChoi: string;
…}
Thành phần C ... tạo điều kiện cho em được ếp cận với môn học Biểudiễn tri
thức và 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 đỡ,...
... iu ch NaNO3
Gii
1. Suy lun:
ã Na + Cl2 -> NaCl
ã NaCl + AgNO3 -> 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 ... <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ức và 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ức và 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 ... có thể chia sẻ trithức cho nhau.
Ontology được sử dụng rộng rãi trong công nghệ tri thức, trí tuệ nhân tạo, và khoa
học máy tính trong các ứng dụng liên quan đến quản lý tri thức, xử lý ngôn ... HỌC QUỐC GIA TP.HỒ CHÍ MINH
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN
__
Bài thu hoạch
Biểu DiễnTriThức Và Suy Luận
ONTOLOGY LÀ GÌ? TẠI SAO CẦN DÙNG
ONTOLOGY
Giảng viên hướng dẫn: PGS.TS. Đỗ Văn...