PHỐI HỢP NHIỀU CÁCH BIỂU DIỄN TRI THỨC

Một phần của tài liệu TÌM HIỂU CÁC PP BIỂU DIỄN TRI THỨC TRÊN CÁC ĐỐI TƢỢNG BÀI TOÁN (Trang 35)

Bảng sau cho chúng ta một số ƣu và khuyết điểm của các phƣơng pháp biểu diễn tri thức đã đƣợc trình bày.

Nguyễn Thị Ngọc Thanh_CH1101132 Page 36 of 77

P.Pháp Ƣu điểm Nhƣợc điểm

Luật sinh

Cú pháp đơn giản, dễ hiểu, diễn dịch đơn giản, tính đơn thể cao, linh động (dễ điều chỉnh).

Rất khĩ theo dõi sự phân cấp, khơng hiệu quả trong những hệ thống lớn, khơng thể biểu diễn đƣợc mọi loại tri thức, rất yếu trong việc biểu diễn các tri thức dạng mơ tả, cĩ cấu trúc.

Mạng ngữ nghĩa

Dễ theo dõi sự phân cấp, sẽ dị theo các mối liên hệ, linh động

Ngữ nghĩa gắn liền với mỗi đỉnh cĩ thể nhập nhằng, khĩ xử lý các ngoại lệ, khĩ lập trình.

Frame

Cĩ sức mạnh diễn đạt tốt, dễ cài đặt các thuộc tính cho các slot cũng nhƣ các mối liên hệ, dễ dàng tạo ra các thủ tục chuyên biệt hĩa, dễ đƣa vào các thơng tin mặc định và dễ thực hiện các thao tác phát hiện các giá trị bị thiếu sĩt.

Khĩ lập trình, khĩ suy diễn, thiếu phần mềm hỗ trợ.

Logic hình thức

Cơ chế suy luận chính xác (đƣợc chứng minh bởi tốn học).

Tách rời việc biểu diễn và xử lý, khơng hiệu quả với lƣợng dữ liệu lớn, quá chậm khi cơ sở dữ liệu lớn.

Mục tiêu chính biểu diễn tri thức trong máy tính là phục vụ cho việc thu nhận tri thức vào máy tính, truy xuất tri thức và thực hiện các phép suy luận dựa trên những tri thức đã lƣu trữ. Do đĩ, để thỏa mãn đƣợc 3 mục tiêu trên, khi chọn phƣơng pháp biểu diễn tri thức, chúng ta phải cân nhắc một số yếu tố cơ bản sau đây :

Tính tự nhiên, đồng bộ và dễ hiểu của biểu diễn tri thức.

Mức độ trừu tƣợng của tri thức : tri thức đƣợc khai báo cụ thể hay nhúng vào hệ thống dƣới dạng các mã thủ tục?

Tính đơn thể và linh động của cơ sở tri thức (cĩ cho phép dễ dàng bổ sung tri thức, mức độ phụ thuộc giữa các tri thức, ...)

Nguyễn Thị Ngọc Thanh_CH1101132 Page 37 of 77 Tính hiệu quả trong việc truy xuất tri thức và sức mạnh của các phép suy luận (theo kiểu heuristic) .

Tuy vậy, nhƣ chúng ta đã biết, hiện nay vẫn chƣa cĩ một kiểu biểu diễn tri thức nào phù hợp với mọi tình huống. Do đĩ, khi phải làm việc với nhiều nguồn tri thức khác nhau (khác loại, khác tính chất), chúng ta nhiều lúc phải hy sinh tính đồng bộ bằng cách sử dụng cùng lúc nhiều kiểu biểu diễn tri thức, mỗi kiểu biểu diễn ứng với một nhiệm vụ con. Nhƣng nhƣ vậy, chúng ta lại nảy sinh ra vấn đề "dịch" một tri thức từ kiểu biểu diễn này sang kiểu biểu diễn khác. Tuy thế nhƣng một số hệ chƣơng trình trí tuệ gần đây vẫn dùng cùng lúc nhiều kiểu biểu diễn dữ liệu khác nhau.

Một trong những ví dụ kết hợp nhiều kiểu biểu diễn tri thức mà chúng ta đã từng làm quen là kiểu kết hợp giữa frame và mạng ngữ nghĩa trong việc trợ giúp giải bài tốn hình học.

Một trong những sự phối hợp tƣơng đối thành cơng là sự kết hợp giữa luật sinh và frame. Luật sinh khơng đủ hiệu quả trong nhiều ứng dụng, đặc biệt là trong các tác vụ định nghĩa, mơ tả các đối tƣợng hoặc những mối liên kết tĩnh giữa các đối tƣợng. Nhƣng những yếu điểm này lại chính là ƣu điểm của frame. Ngày nay, đã cĩ rất nhiều hệ thống đã tạo ra một kiểu biểu diễn lai giữa luật sinh và frame cĩ đƣợc ƣu điểm của hai cách biểu diễn. Sự thành cơng của các hệ thống nổi tiếng nhƣ KEE, Level5 Object và Nexpert Object đã minh chứng cho điều này. Frame cung cấp một ngơn ngữ cấu trúc hiệu quả để đặc tả những đối tƣợng xuất hiện trong các luật. Frame cịn đĩng vai trị nhƣ một lớp hỗ trợ cho thao tác suy diễn cơ bản trên những đối tƣợng khơng cần phải tƣơng tác một cách tƣờng minh trong các luật. Khả năng phân lớp của frame cịn cĩ thể đƣợc dùng để phân hoạch, tạo chỉ mục và sắp xếp các luật sinh trong hệ thống. Khả năng này rất thích hợp cho ngƣời dùng trong việc xây dựng và hiểu các luật, cũng nhƣ cũng cĩ thể theo dõi đƣợc các luật đƣợc sử dụng khi nào và cho mục gì.

Hình sau cho thấy một kiểu kết hợp giữa luật sinh và frame. Sự kết hợp này đã cho phép tạo ra các luật so mẫu nhằm tăng tốc độ tìm kiếm của hệ thống. Kết quả của sự kết hợp này cho phép tạo ra các biểu diễn phức tạp hơn rất nhiều so với việc chỉ dùng frame, thậm chí phức tạp hơn cả việc lập trình trực tiếp bằng ngơn ngữ C++ !!.

Nguyễn Thị Ngọc Thanh_CH1101132 Page 38 of 77

* Suy luận khơng chắc chắn (Hypothetical reasoning) : là kỹ thuật suy luận dựa trên các

điều kiện cĩ thể cĩ mâu thuẫn hoặc khơng chắc chắn.

Ví dụ kết hợp biểu diễn tri thức bằng luật sinh và frame trong bài tốn điều chế chất hĩa học

Vấn đề : Cho trƣớc một số chất hĩa học. Hãy xây dựng chuỗi các phản ứng hĩa học để điều chế một số chất hĩa học khác.

Đầu tiên, đây là một ứng dụng hết sức tự nhiên của tri thức biểu diễn dƣới dạng luật. Lý do là vì bản thân các phản ứng hĩa học tiêu chuẩn đều đƣợc thể hiện dƣới dạng luật. Chẳng hạn ta cĩ các phƣơng trình phản ứ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

Nguyễn Thị Ngọc Thanh_CH1101132 Page 39 of 77 NaCl + H2O → Cl2 + H2+ NaOH

Nhƣ vậy, nếu xem một chất hĩa học là một sự kiện và một phƣơng trình phản ứng nhƣ là một luật dẫn thì bài tốn điều chế chất hĩa học, một cách rất tự nhiên, trở thành bài tốn suy luận tiến trong cơ sở tri thức dạng luật dẫn.

Tuy nhiên, số lƣợng các phản ứng là rất lớn, nên ta khơng thể sử dụng các luật dựa trên các phản ứng cụ thể nhƣ vậy mà phải sử dụng các phản ứng tổng quát hơn nhƣ :

Axit + Bazơ → Muối + Nƣớc Kiềm + Nƣớc → Xút + H2

(trong hĩa học cũng cĩ nhiều phản ứng rất đặc biệt khơng thể tổng quát đƣợc, trong trƣờng hợp này, ta sẽ xem phản ứng đĩ nhƣ là một luật riêng!).

Để mơ tả đƣợc các phản ứng tổng quát nhƣ trên, ta sẽ sử dụng các frame. Chẳng hạn để đặc tả Acid Sulfuric H2SO4 ta sử dụng các frame tổng quát sau.

Nguyễn Thị Ngọc Thanh_CH1101132 Page 40 of 77

Một phần của tài liệu TÌM HIỂU CÁC PP BIỂU DIỄN TRI THỨC TRÊN CÁC ĐỐI TƢỢNG BÀI TOÁN (Trang 35)

Tải bản đầy đủ (PDF)

(77 trang)