TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
MỤC LỤC:
Trang 1
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
LỜI MỞ ĐẦU
Hệ chuyên gia là một trong những lĩnh vực của trí tuệ nhân tạo được nghiên
cứu và phát triển từ giữa thập niên 60, góp phần tạo ra các hệ thống có khả năng trí
tuệ của con người, giải quyết các vấn đề dựa trên một tập luật phân tích thông tin và
đưa lời khuyên về trình tự các hành động cần thực hiện để giải quyết vấn đề.
Nhiều hệ chuyên gia đã được thiết kế và xây dựng để phục vụ trong nhiều
lĩnh vực giáo dục, y học, kế toán, điều khiển tiến trình (process control), dịch vụ tư
vấn tài chính (financial service), tài nguyên con người (human resources), đem
lại những lợi ích tích cực.
Bài thu hoạch này sẽ trình bày tổng quan về hệ chuyên gia, cách biểu diễn
tri thức bằng luật dẫn trong một hệ chuyên gia, từ đó xây dựng ứng dụng hệ nhận
dạng động vật sử dụng hệ luật dẫn để biểu diễn tri thức. Mục đích của ứng dụng này
là để phục vụ trong công tác giảng dạy môn khoa học cho học sinh tiểu học.
Trang 2
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
CHƯƠNG 1 :
KHÁI QUÁT VỀ HỆ CHUYÊN GIA VÀ BIỂU DIỄN TRI THỨC
1.1 Hệ chuyên gia
1.1.1 Khái niệm cơ bản
Hệ chuyên gia là một chương trình máy tính mô hình hóa khả năng giải quyết
vấn đề của các chuyên gia, sử dụng các tri thức và các thủ tục suy diễn để giải quyết
các bài toán khó khăn đòi hỏi chuyên gia mới giải quyết được, làm việc giống như
một chuyên gia thực thụ và cung cấp các ý kiến dựa trên kinh nghiệm của chuyên
gia con người đã được đưa vào Hệ chuyên gia.
Ví dụ: hệ chuyên gia trong y học: với mục đích trợ giúp các bác sĩ trong việc
chuẩn đoán bệnh và điều trị, hệ chuyên gia chẩn đoán hỏng hóc đường dây điện
thoại,…
Dựa vào cách thức con người giải quyết vấn đề, các nhà nghiên cứu đã xây
dựng các kỹ thuật để biểu diễn các dạng tri thức khác nhau trên máy tính. Để giải
quyết vấn đề, chúng ta chỉ chọn dạng biễu diễn nào thích hợp nhất. Sau đây là các
dạng biểu diễn tri thức thường gặp.
• Tri thức thủ tục mô tả cách thức giải quyết một vấn đề. Loại tri thức này
đưa ra giải pháp để thực hiện một công việc nào đó. Các dạng tri thức thủ tục
tiêu biểu thường là các luật, chiến lược, lịch trình, và thủ tục.
• Tri thức khai báo cho biết một vấn đề được thấy như thế nào. Loại tri thức
này bao gồm các phát biểu đơn giản, dưới dạng các khẳng định logic đúng
hoặc sai. Tri thức khai báo cũng có thề là một danh sách các khẳng định
nhằm mô tả đầy đủ hơn về đối tượng hay một khái niệm khái niệm nào đó.
• Siêu tri thức mô tả tri thức về tri thức. Loại tri thức này giúp lựa chọn tri
thức thích hợp nhất trong số các tri thức khi giải quyết một vấn đề. Các
chuyên gia sử dụng tri thức này để điều chỉnh hiệu quả giải quyết vấn đề
bằng cách hướng các lập luận về miền tri thức có khả năng hơn cả.
• Tri thức heuristic mô tả các "mẹo" để dẫn dắt tiến trình lập luận. Tri thức
heuristic còn được gọi là tri thức nông cạn do không bảm đảm hoàn toàn
chính xác về kết quả giải quyết vấn đề. Các chuyên thường dùng các tri thức
Trang 5
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
khoa học như sự kiện, luật, … sau đó chuyển chúng thành các tri thức
heuristic để thuận tiện hơn trong việc giải quyết một số bài toán.
• Tri thức có cấu trúc mô tả tri thức theo cấu trúc. Loại tri thức này mô tả mô
hình tổng quan hệ thống theo quan điểm của chuyên gia, bao gồm khái niệm,
khái 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
tri thức dựa theo cấu trúc xác định.
1.2.3 Biểu diễn tri thức bằng luật dẫn
1.2.3.1 Khái niệm
Phương pháp biểu diễn tri thức bằng luật dẫn được phát minh bởi Newell và
Simon trong lúc hai ông đang cố gắng xây dựng một hệ giải bài toán tổng quát. Đây
f1 ^ f2 ^ ^ fi q
Trong đó, các fi, q đều thuộc F
1.2.3.2 Cơ chế suy luận trên các luật sinh
Suy diễn tiến : là quá trình suy luận xuất phát từ một số sự kiện ban đầu, xác
định các sự kiện có thể được "sinh" ra từ sự kiện này.
Suy diễn lùi : là quá trình suy luận ngược xuất phát từ một số sự kiện ban
đầu, ta tìm kiếm các sự kiện đã "sinh" ra sự kiện này. Một ví dụ thường gặp trong
thực tế là xuất phát từ các tình trạng của máy tính, chẩn đoán xem máy tính đã bị
hỏng hóc ở đâu.
Ví dụ: Trình bày một vận dụng của phương pháp hệ luật dẫn trong việc biểu
diễn tri thức cho một hệ cơ sở tri thức ứng dụng “Chẩn đoán các vấn đề gây ra lỗi
để sửa chửa máy tính”.
Tập các sự kiện:
• Ổ cứng là "hỏng" hay "hoạt động bình thường"
• Hỏng màn hình.
• Lỏng cáp màn hình.
• Tình trạng đèn ổ cứng là "tắt" hoặc "sáng"
• Có âm thanh đọc ổ cứng.
• Tình trạng đèn màn hình "xanh" hoặc "chớp đỏ"
Trang 7
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
• Không sử dụng được máy tính.
• Điện vào máy tính "có" hay "không".
Tập các luật:
R1. Nếu ( (ổ cứng "hỏng") hoặc (cáp màn hình "lỏng")) thì không sử dụng
được máy tính.
R2. Nếu (điện vào máy là "có") và ( (âm thanh đọc ổ cứng là "không") hoặc
tình trạng đèn ổ cứng là "tắt")) thì (ổ cứng "hỏng").
R3. Nếu (điện vào máy là "có") và (tình trạng đèn màn hình là "chớp đỏ") thì
(cáp màn hình "lỏng").
• Thống kê cho thấy, người xây dựng hệ thống trí tuệ nhân tạo thích sử
dụng luật sinh hơn tất cả phương pháp khác (dễ hiểu, dễ cài đặt) nên họ
thường tìm mọi cách để biểu diễn tri thức bằng luật sinh cho dù có
phương pháp khác thích hợp hơn! Đây là nhược điểm mang tính chủ
quan của con người.
• Cơ sở tri thức luật sinh lớn sẽ làm giới hạn khả năng tìm kiếm của
chương trình điều khiển. Nhiều hệ thống gặp khó khăn trong việc đánh
giá các hệ dựa trên luật sinh cũng như gặp khó khăn khi suy luận trên luật
sinh.
Dạng biểu diễn tri thức cổ điển nhất trong máy tính là logic, với hai dạng phổ
biến là logic mệnh đề và logic vị từ. Cả hai kỹ thuật này đều dùng ký hiệu để thể
hiện tri thức và các toán tử áp lên các ký hiệu để suy luận logic. Logic đã cung cấp
cho các nhà nghiên cứu một công cụ hình thức để biểu diễn và suy luận tri thức. Em
xin nói chi tiết về logic vị từ.
Logic vị từ là sự mở rộng của logic mệnh đề nhằm cung cấp một cách biểu
diễn rõ hơn về tri thức. Logic vị từ dùng ký hiệu để biểu diễn tri thức.
Logic vị từ, cũng giống như logic mệnh đề, dùng các ký hiệu để thể hiện tri
thức. Những ký hiệu này gồm hằng số, vị từ, biến và hàm.
Hằng số: Các hằng số dùng để đặt tên các đối tượng đặc biệt hay thuộc
tính. Nhìn chung, các hằng số được ký hiệu bằng chữ viết thường, chẳng hạn
an, bình, nhiệt độ. Hằng số an có thể được dùng để thể hiện đối tượng An,
một người đang xét.
Vị từ: Một mệnh đề hay sự kiện trong logic vị từ được chia thành 2 phần
là vị từ và tham số. Tham số thể hiện một hay nhiều đối tượng của mệnh đề;
còn mệnh đề dùng để khẳng định về đối tượng. Chẳng hạn mệnh đề "Nam
thích Mai" viết theo vị từ sẽ có dạng:
Trang 10
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
thích(nam, mai)
Với cách thể hiện này, người ta dùng từ đầu tiên, tức "thích", làm vị từ. Vị từ
câu trả lời thích hợp.
Chương trình demo được thực hiện dựa theo một chương trình trước đây của
chính tác giả bài thu hoạch tại [5].
Mục đích của chương trình demo này là để cài đặt, thử nghiệm một hệ
chuyên gia dùng mô hình hệ luật dẫn. Từ đó có thể phát triển thêm nữa đế có thể
ứng dụng được trong lĩnh vực giáo dục.
2.2 Thu thập tri thức
Phần này trình bày việc thu thập tri thức về một số loại động vật. Tri thức được thu
thập có trong phạm vi khoa học thường thức, tổng hợp theo các sách giáo khoa về sinh học
các cấp và kiến thức về sinh học phổ biến.
Cơ sở tri thức của hệ nhận dạng động vật có thể được thể hiện một cách tổng quát
thông qua sơ đồ sau:
Trang 12
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
2.1 Hình - Cơ sở tri thức hệ nhận dạng động vật
Trang 13
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
2.3 Xây dựng cơ sở tri thức dựa trên luật
2.3.1 Mô tả tri thức dữ liệu bằng tập luật
Dưới đây là bảng mô tả một số dữ liệu nhận dạng động vật dạng luật dẫn dựa trên
cơ sở tri thức ở trên.
Mã luật
Chẩn đoán
Giả thiết Kết luận
R1 IF Không máu nóng
AND Không luôn sống dưới nước
AND Da không có vảy
AND Nhảy được
THEN Ếch
R2 IF Không máu nóng
… … …
Trang 14
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
2.3.2 Biểu diễn tri thức trong chương trình
Tri thức của hệ nhận dạng động vật gồm tập các sự kiện (gồm các đặc điểm
của động vật), tập luật và các câu hỏi cho người dùng.
a. Tập sự kiện
Các sự kiện được biểu diễn trong file text Su_kien.txt gồm 2 phần Attribute
và Value.
Một phần trong file Su_kien.txt sẽ có cấu trúc như sau đây:
Ví dụ cho các sự kiện:”6.Da nó không có vảy”; “7.Nó biết nhảy”; “8.Nó có
vảy tròn”; “9.Nó không có vảy tròn”…
b. Tập luật dẫn
Trang 15
Begin
1-mau_nong(yes).
2-mau_nong(no).
3-luon_song_duoi_nuoc(yes).
4-luon_song_duoi_nuoc(no).
5-da_co_vay(yes).
6-da_co_vay(no).
7-nhay(yes).
8-nhay(no).
9-vay_tron(yes).
10-vay_tron(no).
11-co_chan(yes).
12-co_chan(no).
13-uong_sua(yes).
14-uong_sua(no).
15-an_thit(yes).
tho : 1,13,16,24,42,55,39
ca_heo : 1,13,16,24,41,60
ca_voi : 1,13,16,24,41,59
ngua : 1,13,16,23,26,52
te_giac : 1,13,16,23,26,51
lac_da : 1,13,16,23,25,28,53
huou_cao_co : 1,13,16,23,25,28,54
End
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
mà người dùng nhập vào ở mỗi phiên hỏi đáp. Từ đó suy diễn tiến trên tập luật
(Luat.txt) để đưa ra câu trả lời đúng cho người dùng.
- Cơ chế làm việc của hệ chuyên gia nhận dạng động vật thực hiện theo cơ chế
hỏi đáp, giao tiếp với người dùng thông qua các câu hỏi dạng ngôn ngữ tự
nhiên.
2.5 Chương trình và kết quả thực nghiệm
Giao diện chính của chương trình
Một ví dụ hỏi đáp, suy diễn để tìm ra con vật thỏa các đặc điểm là cá voi
(hình).
Trang 17
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
Trang 18
TH: Vương Đức Hiền – CH1301087 GVHD: PGS.TS. Đỗ Văn Nhơn
KẾT LUẬN
Bài thu hoạch đã trình bày một số vấn đề về hệ chuyên gia, tri thức, cách
biếu diễn tri thức bằng hệ luật dẫn. Bên cạnh đó bài thu hoạch còn giới thiệu một
chương trình demo hệ chuyên gia được xây dựng dựa trên hệ luật dẫn.
Chương trình đã mô tả, biểu diễn và xử lý tri thức bằng logic dựa trên các sự