Tiểu luận môn biểu diễn tri thức và suy luận ỨNG DỤNG MẠNG NGỮ NGHĨA VÀO BÀI TOÁN ĐIỀU CHẾ HÓA CHẤT

Đồ Án: Biểu Diễn Tri Thức và Ứng dụng PGS TS: Đỗ Văn Nhơn       Các phép toán logic và các ký hiệu sử dụng 1 4  Bảng chân trị, với các giá trị Đúng (T), Sai (F) 1 5 DANH MỤC HÌNH ẢNH        Hình 1.1 Luật dẫn không sử dụng máy tính được 9 Hình 1.2 "Sẻ là Chim" thể hiện trên mạng ngữ nghĩa 12 Hình 1.3 Phát triển mạng ngữ nghĩa 13 Hình 1.4 Các bước thực hiện phép toán trên mạng ngữ nghĩa 13 Hình 1.5 Tính kế thừa trong FRAME 17 Hình 1. 6 Một ví dụ biểu diễn các đối tượng hình học bằng frame 18 Hình 1.7 Mối quan hệ đặc biệt trên các lớp tam giác 28 Hình 2.1 Giao diện chương trình 34 Hình 2.2 Cấu trúc của chương trình 35 MỤC LỤC HVTH: Nhan Thanh Nhã Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn LỜI NÓI ĐẦU Công nghệ tri thức có thể xem là một nhánh nghiên cứu của trí tuệ nhân tạo, phân tích tri thức lĩnh vực và chuyển nó thành những mô hình tính toán đưa vào máy tính để phục vụ những nhu cầu cần thiết. Trong công nghệ tri thức, biểu diễn tri thức là một trong những kỹ thuật quan trọng để hiện thực hóa tri thức trong đời sống. Biểu diễn tri thức là phương pháp mã hoá tri thức, nhằm thành lập cơ sở tri thức cho các hệ thống dựa trên tri thức. Từ đó, chúng ta rút ra nhiều thông tin, tri thức có lợi từ hệ tri thức này. Trong khuôn khổ bài thu hoạch nhỏ này, tôi xin trình về công nghệ tri thức nói chung, sau đó tôi sẽ triển khai chi tiết về các kỹ thuật biểu diễn tri thức, đặc biệt, tôi sẽ chú trọng đến kỹ thuật biểu diễn tri thức bằng mạng ngữ nghĩa. Cuối cùng, tôi xin trình bày về một ứng dụng nhỏ, sử dụng mạng ngữ nghĩa: ỨNG DỤNG MẠNG NGỮ NGHĨA VÀO BÀI TOÁN ĐIỀU CHẾ HÓA CHẤT Qua đây, tôi xin được gửi lời cảm ơn đến PGS - TS Đỗ Văn Nhơn, người đã tận tâm truyền đạt những kiến thức nền tảng cơ bản về môn học “Biểu diễn tri thức và ứng dụng”, để tôi có cơ sở kiến thức để có thể viết được bài thu hoạch này. Do kiến thức còn hạn hẹp, bài thu hoạch có thể có những sai sót nhất định, mong thầy và các bạn góp ý để bài thu hoạch ngày càng hoàn thiện hơn. Tôi xin tỏ lòng biết ơn sâu xa! Nội dung báo cáo gồm các phần chính: CHƯƠNG 1: TỔNG QUAN VỀ BIỂU DIỄN TRI THỨC, CHƯƠNG 2: ỨNG DỤNG MẠNG NGỮ NGHĨA VÀO BÀI TOÁN ĐIỀU CHẾ HÓA CHẤT HVTH: Nhan Thanh Nhã Page 2 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn CHƯƠNG 1: TỔNG QUAN BIỂU DIỄN TRI THỨC 1.1. !"#$%& Tri thức là một khái niệm rất trừu tượng. Do đó, chúng ta sẽ không cố gắng đưa ra một định nghĩa hình thức chính xác ở đây. Thay vào đó, chúng ta hãy cùng nhau cảm nhận khái niệm "tri thức" bằng cách so sánh nó với hai khái niệm khác là thông tin và dữ liệu. Nhà bác học nổi tiếng Karan Sing đã từng nói rằng "Chúng ta đang ngập chìm trong biển thông tin nhưng lại đang khát tri thức". Câu nói này làm nổi bật sự khác biệt về lượng lẫn về chất giữa hai khái niệm thông tin và tri thức. Người ta thường phân loại tri thức ra làm các dạng như sau : +Tri thức sự kiện : là các khẳng định về một sự kiện, khái niệm nào đó (trong một phạm vi xác định). Các định luật vật lý, toán học, thường được xếp vào loại này. (Chẳng hạn : mặt trời mọc ở hướng đông, tam giác đều có 3 góc 60 0 , ) + Tri thức thủ tục : thường dùng để diễn tả phương pháp, các bước cần tiến hành, trình từ hay ngắn gọn là cách giải quyết một vấn đề. Thuật toán, thuật giải là một dạng của tri thức thủ tục. +Tri thức mô tả : cho biết một đối tượng, sự kiện, vấn đề, khái niệm, được thấy, cảm nhận, cấu tạo như thế nào (một cái bàn thường có 4 chân, con người có 2 tay, 2 mắt, ) +Tri thức Heuristic : là một dạng tri thức cảm tính. Các tri thức thuộc loại này thường có dạng ước lượng, phỏng đoán và thường được hình thành thông qua kinh nghiệm. Trên thực tế, rất hiếm có một trí tuệ mà không cần đến tri thức (liệu có thể có một đại kiện tướng cờ vua mà không biết đánh cờ hoặc không biết các thế cờ quan trọng không?). Tuy tri thức không quyết định sự thông minh (người biết nhiều định lý toán hơn chưa chắc đã giải toán giỏi hơn!) nhưng nó là một yếu tố cơ bản cấu thành trí thông minh. Chính vì vậy, muốn xây dựng một trí thông minh nhân tạo, ta cần phải có HVTH: Nhan Thanh Nhã Page 3 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn yếu tố cơ bản này. Từ đây đặt ra vấn đề đầu tiên là các phương pháp đưa tri thức vào máy tính được gọi là biểu diễn tri thức - Knowledge representation 1.2. '"%(%)*+,$% Trong ngành Khoa học máy tính, đặc biệt là trong lĩnh vực Trí tuệ nhân tạo, số các biểu diễn đã được phát minh cho cấu trúc của thông tin. Biểu diễn tri thức được sử dụng phổ biến nhất là tham chiếu đến việc biểu diễn dành cho việc xử lý bởi máy tính hiện đại, và đặc biệt, cho việc biểu diễn các đối tượng tường minh, cụ thể (ví dụ lớp các loài voi, hoặc động vật riêng rẽ) và sự xác nhận hoặc yêu cầu về chúng (“Clyde là một con voi”, hoặc “tất cả các con voi có màu xám”). Việc biểu diễn tri thức dưới hình thức tường minh, cụ thể cho phép máy tính có những kết luận, suy diễn từ những tri thức đã được lưu trữ (“Clyde có màu xám”). Nhiều phương thức biểu diễn tri thức được đưa ra vào những năm 1970 và nữa đầu những năm 1980, như là Heuristic question-answering, mạng neural, theorem proving, và hệ chuyên gia và đã mang đến nhiều thành công. Chẩn đoán y học (Medical diagnosis – ví dụ: Mycin là một ứng dụng lớn, cũng như trong lĩnh vực game là đánh cờ. Trong những năm 1980, ngôn ngữ biểu diễn tri thức chính thức dành cho máy tính và hệ thống được ra đời. Các dự án lớn trong việc mã hóa những kiến thức rộng lớn, chung về cơ thể con người, ví dụ “Cyc” là dự án được hiểu như là bách khoa toàn thư, việc mã hóa giúp người đọc hiểu được các thông tin trong bách khoa toàn thư: Vật lý ngây thơ, khái niệm thời gian, quan hệ nhân quả, động cơ thúc đẩy các đối tượng phổ biến và lớp các đối tượng. Dự án Cyc được quản lý bởi Cycorp, Inc. dữ liệu nhiều nhưng không miễn phí. Kinh nghiệm cho thấy, sự khó khăn của việc biểu diễn tri thức ở chỗ là phải có kết quả đúng đúng đắn. Trong ngôn ngữ máy tính, cơ sở dữ liệu về ngôn ngữ thông tin đang được xây dựng, nhưng vậy yêu cầu cấu hình máy tính phải có tốc độ xử lý cao và khả năng lưu trữ lớn…như vậy mới khả thi được việc biểu diễn tri thức. HVTH: Nhan Thanh Nhã Page 4 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn Vài ngôn ngữ lập trình đã pháp triển hỗ trợ việc biểu diễn tri thức. Prolog được phát triển năm 1972 (website: http://www.aaai.org/AITopics/bbhist.html#mod), nhưng phải một thời gian lâu mới phổ biến, nó biểu diễn một số định lý và logic cơ bản, và có thể có được những kết luận chấp nhận được. KL-ONE (1980) hỗ trợ mạnh, rõ ràng hơn trong việc biểu diễn tri thức. Trong năm 1995 chuẩn Dublin Core về siêu dữ liệu ( metadata) đã được hình thành Trong thế giới tài liệu điện tử, các ngôn ngữ được phát triển để biểu diễn cấu trúc của tài liệu rõ ràng hơn, ví dụ SGML và sau đó là XML. Thuận tiện cho việc thu thập thông tin, và khai phá dữ liệu mà những năm gần đây bắt đầu có liên quan đến biểu diễn tri thức. Cộng đồng web hiện nay đặc biệt quan tâm đến cấu trúc ngữ nghĩa của web, các ngôn ngữ biểu diễn tri thức dựa trên nền tảng XML như: RDF, Topic Maps, Gellish English…có thể được sử dụng để biểu diễn tri thức sẵn có trên hệ thống web. 1.3. *+,$% Biểu diễn tri thức là một chủ đề trong khoa học nhận thức (cognitive science) cũng như trong trí tuệ nhân tạo (artificial intelligence) và mô hình hóa tri thức (knowledge modeling). Khoa học nhận thức tập trung vào vấn đề là bằng cách nào con người có thể lưu trữ và xử lý thông tin. Trong trí tuệ nhân tạo (AI) và mô hình hóa tri thức (KM) là cách thức để lưu trữ tri thức vì vậy các chương trình có thể xử lý và sử dụng nó cho các ví dụ để hỗ trợ thiết kế bằng máy tính hoặc cạnh tranh với trí tuệ nhân tạo. Cách nhà nghiên cứu về trí tuệ nhân tạo đã mượn lý thuyết biểu diễn từ khoa học nhận thức.  Các phương pháp biểu diễn tri thức 1.3.1. *+,$%-'.%/012'.%3"4 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 HVTH: Nhan Thanh Nhã Page 5 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn 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. Phép toán AND OR NOT Kéo theo Tương đương Kí hiệu ∧ , & , ∩ ∨ , ∪ , + ¬ , ∼ ⊃ , → ≡ Các phép toán logic và các ký hiệu sử dụng '.%/01 Logic mệnh đề biểu diễn và lập luận với các mệnh đề toán học. Mệnh đề là một câu nhận giá trị hoặc đúng hoặc sai. Giá trị này gọi là chân trị của mệnh đề. Logic mệnh đề gán một biến ký hiệu vào một mệnh đề, ví dụ A = "Xe sẽ khởi động". Khi cần kiểm tra trị chân trị của câu trên trong bài toán sử dụng logic mệnh đề, người ta kiểm tra giá trị của A. Nhiều bài toán sử dụng logic mệnh đề để thể hiện tri thức và giải vấn đề. Bài toán loại này được đưa về bài toán xử lý các luật, mỗi phần giả thiết và kết luận của luất có thể có nhiều mệnh đề. Ví dụ: IF Xe không khởi động được  A AND Khoảng cách từ nhà đến chỗ làm là xa  B THEN Sẽ trễ giờ làm  C Luật trên có thể biểu diễn lại như sau: ∧→ Các phép toán quen thuộc trên các mệnh đề được cho trong bảng 2.2.   ¬ ∧ ∨ → ≡ T T F T T T T F T T F T T F T F F F T F F HVTH: Nhan Thanh Nhã Page 6 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn F F T F F T T Bảng chân trị, với các giá trị Đúng (T), Sai (F) '.%3"4 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 -, 3"4, 5và 6/. -& 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 ,  , 07. Hằng số có thể được dùng để thể hiện đối tượng , một người đang xét. 8"4& 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: 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ừ cho biết quan hệ giữa các đối số đặt trong ngoặc. Đối số là các ký hiệu thay cho các đối tượng của bài toán. Theo quy ước chuẩn, người ta dùng các chữ thường để thể hiện các đối số. 5&Các biến dùng để thể hiện các lớp tổng quát của các đối tượng hay thuộc tính. Biến được viết bằng các ký hiệu bắt đầu là chữ in hoa. Như vậy, có thể dùng vị từ có biến để thể hiện nhiều vị từ tương tự. Ví dụ: Có hai mệnh đề tương tự "Nam thích Mai" và "Bắc thích Cúc". Hai biến X, Y dùng trong mệnh đề thích(X, Y). Các biến nhận giá trị sẽ được thể hiện qua X=Nam, Bắc; Y=Mai, Cúc. Trong phép toán vị từ người ta dùng biến như đối số của biểu thức vị từ hay của hàm. 6/&Logic vị từ cũng cho phép dùng ký hiệu để biểu diễn hàm. Hàm mô tả một ánh xạ từ các thực thể hay một tập hợp đến một phần tử duy nhất của tập hợp khác. Ví dụ, các hàm sau đây được định nghĩa nhằm trả về một giá trị xác định: cha(sơn) = Nam HVTH: Nhan Thanh Nhã Page 7 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn mẹ(sơn) = Mai 9:;.<&Logic vị từ cũng dùng các phép toán như logic mệnh đề. Ví dụ: thích(X,Y) AND thích(Z,Y) ->  thích(X,Z) Việc lập luận theo cách không hình thức đòi hỏi một khả năng rút ra được kết luận từ các sự kiện đã có. Việc lấy ra thông tin mới từ các thông tin đã biết và các luật là trọng tâm của lập luận trong các hệ chuyên gia. Quá trình lập luận được hình thức hoá trong bài toán suy luận. 1.3.2. *+,$%+=>?+@A>?B C</ Phương pháp biểu diễn tri thức bằng luật sinh đượ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 là một kiểu biểu diễn tri thức có cấu trúc. Ý tưởng cơ bản là tri thức có thể được cấu trúc bằng một cặp điều kiện – hành động : "NẾU điều kiện xảy ra THÌ hành động sẽ được thi hành". Chẳng hạn : NẾU đèn giao thông là đỏ THÌ bạn không được đi thẳng, NẾU máy tính đã mở mà không khởi động được THÌ kiểm tra nguồn điện, … Ngày nay, các luật sinh đã trở nên phổ biến và được áp dụng rộng rãi trong nhiều hệ thống trí tuệ nhân tạo khác nhau. Luật sinh có thể là một công cụ mô tả để giải quyết các vấn đề thực tế thay cho các kiểu phân tích vấn đề truyền thống. Trong trường hợp này, các luật được dùng như là những chỉ dẫn (tuy có thể không hoàn chỉnh) nhưng rất hữu ích để trợ giúp cho các quyết định trong quá trình tìm kiếm, từ đó làm giảm không gian tìm kiếm. Một ví dụ khác là luật sinh có thể được dùng để bắt chước hành vi của những chuyên gia. Theo cách này, luật sinh không chỉ đơn thuần là một kiểu biểu diễn tri thức trong máy tính mà là một kiểu biễu diễn các hành vi của con người. Một cách tổng quát luật sinh có dạng như sau : Tùy vào các vấn đề đang quan tâm mà luật sinh có những ngữ nghĩa hay cấu tạo khác nhau : Trong logic vị từ : P 1 , P 2 , , Pn, Q là những biểu thức logic. Trong ngôn ngữ lập trình, mỗi một luật sinh là một câu lệnh. IF (P 1 AND P 2 AND AND Pn) THEN Q. Trong lý thuyết hiểu ngôn ngữ tự nhiên, mỗi luật sinh là một phép dịch : HVTH: Nhan Thanh Nhã Page 8 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn ONE → một. TWO → hai. JANUARY → tháng một Để biễu diễn một tập luật sinh, người ta thường phải chỉ rõ hai thành phần chính sau : Ví dụ : Cho 1 cơ sở tri thức được xác định như sau : Các sự kiện : A, B, C, D, E, F, G, H, K Tập các quy tắc hay luật sinh (rule) D%5E>?%<%>? HVTH: Nhan Thanh Nhã Page 9 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn 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. Sự kiện ban đầu : H, K 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ụ : 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 đỏ" • 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"). HVTH: Nhan Thanh Nhã Page 10 [...]... Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn CHƯƠNG 2: ỨNG DỤNG MẠNG NGỮ NGHĨA VÀO BÀI TOÁN ĐIỀU CHẾ HÓA CHẤT Mô tả chương trình Mô tả Cũng giống như bài toán xử lý ngôn ngữ tự nhiên hay bài toán tam giác, bài toán về điều chế hóa chất cũng khá điển hình về ứng dụng mạng ngữ nghĩa để biểu diễn trí thức Ý tưởng của chương trình là xem hóa chất là các nút, còn các phương trình là các cạnh Để điều. .. sách hóa chất bên dưới để làm hóa chất đầu vào cho việc điều chế • Chất cần điều chế: Chất mà bạn muốn điều chế được • Danh sách phương trình phản ứng: Chương trình sẽ áp dụng tất cả các phương trình phản ứng, cộng với hóa chất đầu vào để điều chế hóa chất mong muốn • Kết quả của quá trình điều chế: Mô tả các lần điều chế để ra hóa chất mà bạn mong muốn HVTH: Nhan Thanh Nhã Page 35 Đồ Án: Biểu Diễn Tri. .. loại 9 Các mô hình và các loại sự kiện trên có thể được sử dụng để biểu diễn tri thức trong các ứng dụng thực tế Các thuật toán thống nhất của các sự kiện được thiết kế và sử dụng trong những ứng dụng khác nhau như hệ thống hỗ trợ nghiên cứu tri thức và giải quyết các bài toán hình học giải tích, chương trình nghiên cứu và giải quyết các bài toán trong hình học phẳng, hệ thống tri thức trong đại số... Ngòai ra với cách biểu diễn này giữa các đỉnh còn thể hiện mối quan hệ “kế thừa” nếu thông qua quan hệ “là” Cùng với những ưu điểm trên thì cách biểu diễn này khá trừu tượng và khái quát, trong áp dụng phải phát tri n các mô hình tri thức cụ thể hơn Các mô hình biểu diễn tri thức theo mạng ngữ nghĩa: Mạng tính tóan: Là một dạng biểu diễn tri thức về các vấn đề tính toán và được áp dụng một cách có hiệu... khả năng biểu diễn hầu như toàn bộ tri thức và các dạng bài toán tổng quát thuận tiện HVTH: Nhan Thanh Nhã Page 26 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn cho việc phát tri n các thuật toán giải tự động và cung cấp những lời giải tự nhiên và phù hợp với cách nghĩ và viết của con người Ngoài ra, nó còn giúp ích cho việc thiết kế và cài đặt phần cơ sở tri thức cũng như ngôn ngữ qui ước... dụ, ta có thể yêu cầu một hình tam giác để tính toán và cung cấp cho ta các thuộc tính của nó + Các bảng biểu diễn các quan hệ thứ tự của khái niệm + Các bảng biểu diễn các quan hệ khác của khái niệm + Các bảng biểu diễn tri thức về các phép toán HVTH: Nhan Thanh Nhã Page 31 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn + Các bảng biểu diễn tri thức về các hàm + Các bảng mô tả các loại sự kiện... 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 1.3.3 Biểu diễn tri thức dựa trên mạng ngữ nghĩa Mạng ngữ nghĩa là một phương pháp biểu diễn tri thức dùng đồ thị trong đó nút biểu diễn đối tượng và cung biểu diễn quan hệ giữa... thể được suy ra từ 2 luật còn lại HVTH: Nhan Thanh Nhã Page 12 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn Thuật toán tối ưu tập luật dẫn Thuật toán này sẽ tối ưu hóa tập luật đã cho bằng cách loại đi các luật có phép nối HOẶC, các luật hiển nhiên hoặc các luật thừa Thuật toán bao gồm các bước chính Ưu điểm và nhược điểm của biểu diễn tri thức bằng luật Ưu điểm Biểu diễn tri thức bằng... Nhà hàng bán thức ăn nhanh Diễn viên : Khách hàng Người phục vụ Tác tố : Bàn phục vụ Chỗ ngồi Khay đựng thức ăn Thức ăn Tiền Các loại gia vị như muối, tương, ớt, tiêu, HVTH: Nhan Thanh Nhã Page 24 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn Điều kiện vào : Khách hàng đói Khách hàng có đủ tiền để trả Tình huống 1 : Vào nhà hàng Khách hàng đậu xe vào bãi đậu xe Khách hàng bước vào nhà hàng... Chim" thể hiện trên mạng ngữ nghĩa Người ta có thể nới rộng mạng ngữ nghĩa bằng cách thêm các nút và nối chúng vào đồ thị Các nút mới ứng với các đối tượng bổ sung Thông thường có thể nới rộng mạng ngữ nghĩa theo ba cách: • Thêm một đối tượng tương tự • Thêm một đối tượng đặc biệt hơn • Thêm một đối tượng tổng quát hơn HVTH: Nhan Thanh Nhã Page 14 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn . kỹ thuật biểu diễn tri thức bằng mạng ngữ nghĩa. Cuối cùng, tôi xin trình bày về một ứng dụng nhỏ, sử dụng mạng ngữ nghĩa: ỨNG DỤNG MẠNG NGỮ NGHĨA VÀO BÀI TOÁN ĐIỀU CHẾ HÓA CHẤT Qua đây, tôi. 2: ỨNG DỤNG MẠNG NGỮ NGHĨA VÀO BÀI TOÁN ĐIỀU CHẾ HÓA CHẤT HVTH: Nhan Thanh Nhã Page 2 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn CHƯƠNG 1: TỔNG QUAN BIỂU DIỄN TRI THỨC 1.1. !"#$%& Tri. biểu diễn tri thức. HVTH: Nhan Thanh Nhã Page 4 Đồ Án: Biểu Diễn Tri Thức và Ứng dụngPGS TS: Đỗ Văn Nhơn Vài ngôn ngữ lập trình đã pháp tri n hỗ trợ việc biểu diễn tri thức. Prolog được phát tri n