Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) MỤC LỤC Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) LỜI NÓI ĐẦU Trong Thế kỷ thứ 21, xã hội người thực cách mạng thông tin, sau cách mạng xanh cách mạng khí Tri thức đánh quyền lực tiền bạc Xã hội dần chuyển sang xã hội tri thức, tức sản phẩm quốc dân có hàm lượng tri thức cao Từ năm 1964, người ta dự đoán xu ứng dụng tri thức ngành Kinh tế quốc dân.Công nghệ thông tin đáp ứng nhu cầu xử lý liệu tri thức Bên cạnh công nghệ phần mềm công nghệ tri thức Công nghệ tri thức nghiên cứu nhằm tích lũy tri thức chuyên gia, làm máy tính thực chức thơng minh người, đồng thời làm người tự nâng cao thân lĩnh vực Trí tuệ nhân tạo, hệ chuyên gia, dịch tự động… liên quan đến tri thức Nhiều ứng dụng Công nghệ thông tin sử dụng tri thức liệu meta, điều khiển trình xử lý liệu Việc lập luận liệu tri thức mang lại cho người thành công ngày tăng việc xử lý liệu Mô hình sở liệu định nghĩa gọi quy tắc suy diễn dùng để tự động suy luận thực tế (gọi thực tế suy luận) Suy luận thực tế trở nên sẵn có người sử dụng thông qua giao diện hợp Những người sử dụng giao tiếp với chế suy diễn thực mục đích kiểm tra thơng tin, tìm kiếm thơng tin thực thơng tin: kiểm tra thơng tin vị từ mà xác định 02 kết Đúng Sai, tìm kiếm thơng tin hàm logic định nghĩa với biến tự Trong phạm vi đề tài em xin trình bày sơ lược số khái niệm biểu diễn tri thức , biểu diễn tri thức với logic mệnh đề vị từ Phần cuối tiểu luận chương trình ứng dụng lập trình logic vào biểu diễn tri thức Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) CHƯƠNG 1: TỔNG QUAN VỀ BIỂU DIỄN TRI THỨC 1.1 Khái niệm tri thức biểu diễn tri thức 1.1.1 Khái niệm tri thức Tri thức kết trình nhận thức, học tập lập luận Ví dụ: Kiến thức lĩnh vực y học khả chẩn đoán bệnh tri thức Biết tam giác có yếu tố với công thức liên hệ yếu tố tri thức Biết dạng cấu trúc liệu thường dùng lập trình với thuật toán xử lý cấu trúc tri thức 1.1.2 Khái niệm biểu diễn tri thức Biểu diễn tri thức (Knowledge Representation) diễn đạt thể tri thức dạng thích hợp để tổ chức sở tri thức hệ thống Biểu diễn tri thức giúp tổ chức cài đặt sở tri thức cho hệ chuyên gia, hệ cở sở tri thức hệ giải toán dựa tri thức Công cụ cho biểu diễn tri thức: -Các cấu trúc liệu bản: dãy, danh sách, tập hợp, mẫu, -Các cấu trúc liệu trừu tượng: ngăn xếp, hàng đợi -Các mơ hình tốn học: đồ thị, -Các mơ hình đối tượng -Các ngơn ngữ đặc tả tri thức Ví dụ: Kiến thức tam giác cần thiết cho việc giải toán tam giác biểu diễn gồm: Một tập hợp biến thực, biến đại diện cho yếu tố tam giác Một tập hợp công thức liên hệ tính tốn yếu tố tam giác Tập biến tam giác: a, b, c : cạnh tam giác α, β, γ : góc đối diện với cạnh tương ứng tam giác Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) ha, hb, hc : đường cao tương ứng với cạnh tam giác S : diện tích tam giác p : nửa chu vi tam giác R : bán kính đường trịn ngoại tiếp tam giác Tập công thức tam giác: f1 : α+β+γ = π f2 : a2 = b2 + c2 - 2.b.c.cos α f3 : b2 = a2 + c2 - 2.a.c.cos β f4 : c2 = a2 + b2 - 2.a.b.cos γ f5 : a / sin α = b / sin β (radian) 1.1.3 Các dạng tri thức: Dựa vào cách thức người giải vấn đề, nhà nghiên cứu xây dựng kỹ thuật để biểu diễn dạng tri thức khác máy tính Để giải vấn đề, chọn dạng biễu diễn thích hợp Sau 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 vấn đề Loại tri thức đưa giải pháp để thực công việc Các dạng tri thức thủ tục tiêu biểu thường luật, chiến lược, lịch trình, thủ tục • Tri thức khai báo cho biết vấn đề thấy Loại tri thức bao gồm phát biểu đơn giản, dạng khẳng định logic sai Tri thức khai báo có thề danh sách khẳng định nhằm mô tả đầy đủ đối tượng hay khái niệm khái niệm • Siêu tri thức mô tả tri thức tri thức Loại tri thức giúp lựa chọn tri thức thích hợp số tri thức giải vấn đề Các chuyên gia sử dụng tri thức để điều chỉnh hiệu giải vấn đề cách hướng lập luận miền tri thức có khả Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) • Tri thức heuristic mơ tả "mẹo" để dẫn dắt tiến trình lập luận Tri thức heuristic gọi tri thức nơng cạn khơng bảm đảm hồn tồn xác kết giải vấn đề Các chuyên thường dùng tri thức khoa học kiện, luật, … sau chuyển chúng thành tri thức heuristic để thuận tiện việc giải số tốn • Tri thức có cấu trúc mơ tả tri thức theo cấu trúc Loại tri thức mô tả mơ hình tổng quan hệ thống theo quan điểm chuyên gia, bao gồm khái niệm, khái niệm con, đối tượng; diễn tả chức mối liên hệ tri thức dựa theo cấu trúc xác định 1.2 Các phương pháp biểu diễn tri thức: 1.2.1 Biểu diễn dựa logic hình thức Sử dụng biểu thức logic hình thức hệ thống logic để diễn đạt kiện luật sở tri thức Phép tính logic vị từ cấp sử dụng phổ biến có ngơn ngữ lập trình hỗ trợ cho phương pháp Đó ngơn ngữ lập trình PROLOG.Trong ngơn ngữ PROLOG, cần khai báo kiện luật Hệ thống thức giải vấn đề yêu cầu dựa tri thức khai báo 1.2.2 Hệ luật dẫn Mỗi luật dẫn phát biểu dạng: if then Mô hình: Một cách hình thức, hệ luật dẫn gồm 1) Tập ký hiệu đại diện cho kiện 2) tập luật dẫn tập hợp kiện Nhận xét: Mơ hình hệ luật dẫn khó áp dụng trực tiếp quan niệm kiện đơn giản Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) 1.2.3 Mạng ngữ nghĩa Mạng ngữ nghĩa (semantic network) có dạng đồ thị gồm nút cung, - Các nút thể khái niệm, đối tượng - Các cung thể quan hệ đối tượng Dựa mạng ngữ nghĩa ta nhận biết tri thức cách trực quan giúp thiết kế xử lý như: thêm/bớt khái niệm hay đối tượng, tìm kiếm thơng tin Nhận xét: Mơ hình trừu tượng khái qt, áp dụng phải phát triển mơ hình tri thức cụ thể 1.2.4 Các khung (frame) Các khung (frame) thể khái niệm dạng cấu trúc mẫu tin có hình thức bảng mẫu Khung gồm thành phần sau: - Tên đối tượng (loại khung) - Các thuộc tính - Giá trị thuộc tính Khung lớp: thể tính chất tổng quát lớp đối tượng, với quan hệ kế thừa cấu trúc phân cấp 1.3 Suy diễn tự động 1.3.1 Khái niệm suy diễn tự động Suy diễn tự động suy diễn nhằm vận dụng kiến thức biết trính lập luận giải vấn đề quan trọng chiến lược điều khiển giúp phát sinh kiện từ kiện có Suy diễn tự động: Quá trình suy diễn thuật giải hóa cài đặt thành chương trình máy tính Các kỹ thuật suy diễn bản: - Suy diễn tiến - Suy diễn lùi Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) 1.3.2 Hợp giải tri thức dạng logic Hợp giải tri thức dạng logic phương pháp thực trình phát sinh kiện cách sử dụng luật suy diễn biểu thức logic như: Modus Ponens, Modus Tollens, tam đoạn luận Trong logic vị từ: Q trình hợp giải cài đặt dựa kỹ thuật hợp (unification) quay lui (backtracking) PROLOG ngôn ngữ lập trình thiết kế với chức suy diễn theo phương pháp 1.3.3 Suy diễn tiến Suy diễn tiến phương pháp suy dẫn từ giả thiết đến kết luận Chiến lược bắt đầu tập kiện biết, rút kiện nhờ dùng luật mà phần giả thiết khớp với kiện biết, tiếp tục trình thấy trạng thái đích, khơng cịn luật khớp kiện biết hay kiện suy luận Trong áp dụng cụ thể phương pháp thường sử dụng kết hợp với qui tắc heuristic việc chọn luật 1.3.4 Suy diễn lùi Suy diễn lùi phương pháp truy ngược từ kết luận trở giả thiết Phương pháp tiến hành cách truy ngược từ mục tiêu cần đạt trở phần giả thiết toán cách áp dụng luật sở tri thức Quá trình suy diễn lùi phát sinh sơ đồ mục tiêu kèm theo chế quay lui lời giải tìm thấy tất mục tiêu nút mục tiêu thuộc kiện biết Trong áp dụng cụ thể phương pháp thường sử dụng kết hợp với qui tắc heuristic việc chọn luật 1.3.5 Suy diễn hỗn hợp Suy diễn hỗn hợp phương pháp kết hợp trình suy diễn tiến suy diễn lùi nhằm khắc phục khuyết điểm phương pháp nâng cao hiệu trình suy diễn áp dụng cụ thể Nhược điểm suy diễn tiến: Khơng cảm nhận gần tới đích Nhược điểm suy diễn lùi: thường dẫn tới phân nhánh lớn không cảm nhận cần chuyển hướng dòng suy nghĩ Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) CHƯƠNG 2: BIỂU DIỄN TRI THỨC VỚI LOGIC MỆNH ĐỀ VÀ VỊ TỪ 2.1 Khái quát biểu diễn tri thức với logic mệnh đề vị từ Tri thức thể dạng lớp biểu thức logic sở tri thức giải toán thiết lập sở lớp biểu thức logic Luật suy diễn thủ tục chứng minh tri thức lập luận sở toán học logic với yêu cầu đặt toán Với phương pháp biểu diễn cung cấp ý tưởng để tiếp cận với ngơn ngữ lập trình Prolog lĩnh vực trí tuệ nhân tạo Hai cách biểu diễn dùng kí hiệu để biễu diễn tri thức toán tử áp lên ký hiệu để suy luận logic, cung cấp cho nhà nghiên cứu công cụ hình thức để biểu diễn suy luận tri thức Hay cịn gọi ngơn ngữ biểu diễn dùng để mã hóa tri thức dạng cho dễ lập trình với ngơn ngữ lập trình Prolog 2.2 Biểu diễn tri thức logic mệnh đề vị từ 2.2.1 Phép tính mệnh đề Định nghĩa mệnh đề: Mệnh đề phát biểu khẳng định tính sai Các ký hiệu (symbol) phép tính mệnh đề ký hiệu mệnh đề : P, Q, R, S, … (thơng thường chữ in hoa nằm gần cuối bảng chữ tiếng Anh), ký hiệu chân lý – chân trị (truth symbol) : true, false hay phép toán kết nối : ∧, ∨, ¬, ⇒, = Các ký hiệu mệnh đề (propositional symbol) biểu thị mệnh đề (proposition) hay phát biểu giới thực mà giá trị chúng sai Mệnh đề đơn giản: - Đồng l kim loại => Đúng Gỗ l kim loại => Sai Hơm l thứ Hai => Sai Ký hiệu phép tính mệnh đề: Ký hiệu mệnh đề: P, Q, R, S, Ký hiệu chân lý: true, false Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) - Các phép toán logic: ∧ (hội), ∨ (tuyển), ¬(phủ định), ⇒ (kéo theo) , = (tương đương) Định nghĩa câu phép tính mệnh đề: Câu phép tính mệnh đề cấu tạo từ ký hiệu sơ cấp (atomic symbol) theo luật sau : - Tất ký hiệu mệnh đề ký hiệu chân lý câu (sentences) : true, P, Q R câu - Phủ định câu câu : ¬ P ¬ false câu - Hội hay hai câu câu : P ∧ ¬ P câu - Tuyển hay hai câu câu : P ∨ ¬ P câu - Kéo theo câu để có câu khác câu : P ⇒ Q câu - Tương đương hai câu câu : P ∨ Q = R câu - Các câu hợp lệ gọi công thức dạng chuẩn (well-formed formula) hay WFF Trong câu phép tính mệnh đề, ký hiệu ( ) [ ] dùng để nhóm ký hiệu vào biểu thức nhờ kiểm sốt thứ tự chúng việc đánh giá biểu thức diễn đạt Ví dụ (P ∨ Q) = R hồn tồn khác với P ∨ (Q = R) Ví dụ: ( (P∧Q) ⇒ R) = ¬P ∨ ¬Q ∨ R Định nghĩa biểu thức: câu hay công thức dạng chuẩn, phép tính mệnh đề tạo từ ký hiệu hợp lệ thơng qua dãy luật Ví dụ: (( P ∧ Q) ⇒ R = ¬ P ∨ ¬ Q ∨ R câu dạng chuẩn phép tính mệnh đề : P, Q, R mệnh đề câu P ∧ Q, hội hai câu câu (P ∧ Q) ⇒ R, kéo theo câu câu ¬ P ¬ Q, phủ định câu câu ¬ P ∨ ¬ Q, tuyển hai câu câu ¬ P ∨ ¬ Q ∨ R, tuyển hai câu câu (( P ∧ Q) ⇒ R = ¬ P ∨ ¬ Q ∨ R, tương đương hai câu câu Trang Biểu diễn tri thức ứng dụng SVTH:Trần Thế Duy (CH1301009) Đây câu xuất phát, xây dựng thông qua loạt luật hợp lệ có dạng chuẩn Mệnh đề tương đương Dạng hấp thụ: A ∧ (A ∨ B) = A A ∨ (A ∧ B) = A A ∧ (¬A ∨ B)= A∧B A ∨ (¬A ∧ B)= A∨B Dạng De morgan ¬ (A ∧ B) = ¬A ∨ ¬B ¬ (A ∨ B) = ¬A ∧ ¬B Dạng khác A ⇒ B = ¬A ∨ B ¬ (A ⇒ B) = A ∧ ¬B A ⇒ B = A ∧ ¬B⇒ FALSE Các luật Luật Modus Ponens (MP) Luật Cộng A, A⇒ B ∴ B A ∴ AvB Luật Modus Tollens (MT) Luật tam đoạn luận tuyển A⇒ B, ¬B ∴¬A Av B, ¬A ∴ B Luật Hội Luật tam đoạn luận giả thiết A,B ∴∴ A^B A⇒ B,B⇒ C∴A⇒ C Luật đơn giản A^B ∴ A Trang 10 CHƯƠNG 3: ỨNG DỤNG XÂY DỰNG HỆ CHUẨN ĐỐN MỘT SỐ HỎNG HĨC MÁY TÍNH THƯỜNG GẶP 3.1 Cơng cụ dùng để lập trình hệ sở tri thức Giới thiệu ngơn ngữ lập trình Prolog: Prolog ngơn ngữ sử dụng phổ biến dịng ngơn ngữ lập trình lơgich Ngơn ngữ giáo sư người Pháp Alain Colmerauer nhóm nghiên cứu ông đề xuất lần trường Đại học Marseille đầu năm 1970 Đến năm 1980, Prolog nhanh chóng áp dụng rộng rãi Châu Âu, người Nhật chọn làm ngơn ngữ phát triển dịng máy tính hệ Prolog(PROgramming in Logic) ngơn ngữ lập trình dạng khai báo Thay phải lập trình thuật tốn, ta cần mơ tả kiện tri thức, hệ thống đảm nhiệm phần việc lại áp dụng chế suy luận có sẵn để trả lời câu hỏi Prolog thích hợp để giải tốn liên quan đến đối tượng mối quan hệ chúng Prolog sử dụng phổ biến lĩnh vực trí tuệ nhân tạo Ngun lý lập trình logic dựa mệnh đề Horn Một mệnh đề Horn biểu diễn kiện hay việc không đúng, xảy không xảy ra… Một chương trình Prolog sở liệu gồm mệnh đề Mỗi mệnh đề xây dựng từ vị từ Một vị từ phát biểu đối tượng có giá trị sai Mệnh đề kiện, luật hay câu hỏi Prolog quy ước viết sau mệnh đề dấu chấm để kết thúc sau: • Sự kiện : < > tương ứng với luật < >:-true • Luật: < >:- • Câu hỏi: ?- < .> (ở chế độ tương tác có dấu nhắc lệnh) 3.2 Thu thập tri thức số hỏng hóc máy tính 3.2.1 Hỏng hóc ổ cứng: Ổ cứng nơi chứa toàn liệu hệ thống tập tin cá nhân người dùng máy tính * Triệu chứng: Hệ điều hành chạy chậm, hiệu quả, thường xuyên bị đứng máy, liệu bị hư hỏng, nhiều bad sector, ổ cứng phát âm lạ, xuất hình xanh chết chóc… Một dấu hiệu chắn ổ cứng chết hình bật, đèn báo ổ cứng nhấp nháy, khác xảy bắt gặp thơng báo something along the lines of a primary boot device missing disk error * Cách khắc phục: Kiểm tra lỗi khắc phục ổ cứng tính Error-checking Windows, sử dụng phần mềm Hirent Boot để sữa lỗi ổ cứng, không khắc phục giải pháp cuối loại bỏ ổ cứng củ thay vào ổ cứng 3.2.2 Hỏng hóc Ram RAM nhớ tạm thời máy tính, dùng để lưu trữ thơng tin hệ thống ứng dụng chạy * Triệu chứng: Máy tính khơng khởi động bạn nghe tiếng bíp, BSODs cài đặt hệ điều hành, gặp cố chạy ứng dụng nặng… * Cách khắc phục: Sử dụng ứng dụng kiểm tra RAM đĩa Hirenboot chạy chương trình Memtest86 nhằm xác định lỗi Bên cạnh đó, bạn mở chốt mặt máy tính để kiểm tra RAM gắn socket hay chưa Nếu điều khơng giải vấn đề bạn có RAM, bạn thử gắn sang khe cắm khác Nhưng có RAM, bạn thử gỡ bớt thực khởi động lại Nếu khơng giải pháp phải thay Ram khác bus thuộc loại Ram mà mainboard hỗ trợ 3.2.3 Hư hỏng pin CMOS Pin CMOS cung cấp lượng để lưu trữ thiết lập BIOS máy tính tắt * Triệu chứng: Thời gian hệ thống ngày liên tục phải thiết lập lại, driver ngừng hoạt động, máy tính không khởi động đơn giản tự tắt đột ngột số lỗi khác Nếu gặp vấn đề bên trên, chắn pin CMOS bạn bị lỗi hết pin * Cách khắc phục: Thay pin CMOS cho máy tính 3.2.4 Hư hỏng card VGA Card hình hay gọi card đồ họa(VGA card) card điều khiển hình giao tiếp hình máy tính * Triệu chứng: Màn hình khơng lên, đưa thông báo lỗi “Out of Scan range”, Chữ lớn nhỏ, thể lung tung, khơng theo font hết, Màn hình xuất khối màu trắng, đen, màu ngẫu nhiên, hình hiển thị xấu dạng bit, hình ảnh bị giật, chí treo máy * Cách khắc phục: Kiểm tra lại cáp nối card hình monitor, kiểm tra chân cắm card hình, chỉnh lại độ phân giải cho phù hợp, thay đổi màu, font, kích cỡ chữ mặc định hệ thống, vào website nhà sản xuất tải cài lại driver cho card hình, kiểm tra quạt tản nhiệt cho card, kiểm tra xung đột gây cắm thiết bị qua cổng USB, giải pháp cuối thay card hình 3.2.5 Hư hỏng nguồn Nguồn máy tính (Power Supply Unit hay PSU) thiết bị cung cấp điện cho bo mạch chủ, ổ cứng thiết bị khác , đáp ứng lượng cho tất thiết bị phần cứng máy tính hoạt động * Triệu chứng: Khởi động lúc lên, lúc không, chạy lâu hay bị treo máy, khởi động lại cách ngẫu nhiên, nguồn phát tiếng rít, shutdown khơng được, CD boot không được, máy chạy vào win liền bị restart * Cách khắc phục: Kiểm tra dây nối nguồn điện nguồn xem thử có điện vào hay khơng cách dùng tay để cảm nhận hoạt động nguồn qua luồng gió phía sau, kiểm tra lại cơng tắc phía sau nguồn, kiểm tra lại điện hoạt động (110V/220V) nguồn, kiểm tra đầu cắm power switch main, Kiểm tra đầu nối 20pin 24pin đường cấp điện phụ khác có gắn chặt vào main chưa, kiểm tra nhiệt độ tác động vào nguồn 3.3 Xây dựng sở tri thức dựa luật 3.3.1 Mô tả tri thức liệu hỏng hóc máy tính tập luật Mã luật R1 Chẩn đoán Giả thiết IF Máy chạy chậm Kết luận THEN Hỏng ổ cứng AND thường đứng máy AND liệu bị hỏng AND hdd phát âm lạ R2 AND hình xanh chết chóc IF không khởi động THEN Hỏng Ram AND tiếng bíp kéo dài AND hình xanh chết chóc R3 IF Sai thời gian hệ thống THEN Hỏng pin CMOS AND driver ngừng hoạt động AND tự tắt đột ngột R4 AND khơng khởi động IF Màn hình khơng lên AND font chữ thể không THEN Hỏng card hình AND xuất khối màu trắng đen AND hình hiển thị dạng bit THEN Hỏng nguồn máy AND tự khởi động lại R5 AND hình ảnh bị giật AND thường đứng máy IF Chạy lâu bị treo máy tính AND nguồn phát tiếng rít AND shutdown không AND CD boot không 3.3.2 Hình ảnh mơ tả triệu chứng hỏng hóc 3.3.3 Sơ đồ mơ chương trình chẩn đốn hỏng hóc máy tính 3.4 Xây dựng ứng dụng hệ chuẩn đốn hỏng hóc máy tính Prolog 3.4.1 Phát biểu dạng logic vị từ hỏng hóc Phát biểu X triệu chứng hỏng ổ cứng Vị từ trieuchunghongocung (X) X triệu chứng hỏng ram trieuchunghongram (X) X triệu chứng hỏng pin cmos trieuchunghongpincmos (X) X triệu chứng hỏng card hình trieuchunghongcardmanhinh (X) X triệu chứng hỏng nguồn trieuchunghongnguon (X) X triệu chứng loại hỏng trieuchunghongmaytinh(X,Y) hóc máy tính Y Máy tính hỏng ổ cứng có triệu ∀X trieuchunghongocung(X) → chứng việc hỏng ổ cứng trieuchunghongmaytinh(X, ocung) Máy tính hỏng Ram có triệu ∀X trieuchunghongram(X) → chứng việc hỏng Ram trieuchunghongmaytinh(X, ram) Máy tính hỏng pin cmos có ∀X trieuchunghongpincmos(X) → triệu chứng việc hỏng pin cmos trieuchunghongmaytinh(X, pincmos) Máy tính hỏng card hình có ∀Xtrieuchunghongcardmanhinh(X) → triệu chứng việc hỏng card trieuchunghongmaytinh(X, cardmanhinh) hình Máy tính hỏng nguồn có triệu ∀X trieuchunghongnguon(X) → chứng việc hỏng nguồn trieuchunghongmaytinh(X, hongnguon) 3.4.2 Mô tả kiện triệu chứng hỏng hóc Mã luật Sự kiện R1 trieuchunghongocung([chaycham,dungmay,dulieuhong,amthanhla,manhinhxanh]) R2 trieuchunghongram([khoidongkoduoc,beepdai,manhinhxanh]) R3 trieuchunghongpincmos([thoigiansai,driverngunghoatdong,tutatdotngot,khoidongkoduoc]) R4 trieuchunghongcardmanhinh([manhinhkolen,fontchusai,maudentrang,mau8bit,anhbigiat]) R5 trieuchunghongnguon([dungmay,restart,nguonkeu,shutdownkoduoc,cdbootkhongduoc]) 3.4.3 Định nghĩa luật dựa kiện Mã luật R1 Luật trieuchunghongmaytinh(X,ocung) :-trieuchunghongocung(X) R2 trieuchunghongmaytinh(X,ram):-trieuchunghongram(X) R3 R4 trieuchunghongmaytinh(X,pincmos):-trieuchunghongpincmos(X) R5 trieuchunghongmaytinh(X,nguon) :-trieuchunghongnguon(X) trieuchunghongmaytinh(X,cardmanhinh) :-trieuchunghongcardmanhinh(X) 3.5 Chương trình kết thực nghiệm Giao diện hệ chuẩn đốn hỏng hóc SWI-Prolog Chọn ngôn ngữ SWI-Prolog (Multi-threaded, 32 bits, Version 6.4.1) để xây dựng 3.5.1 Cho biết triệu chứng hỏng hóc 3.5.2 Từ triệu chứng chuẩn đốn hỏng hóc máy tính Hệ thống chẩn đốn hỏng hóc đưa câu hỏi để hỏi tình trạng hỏng hóc gặp phải người dùng trả lời câu hỏi (c –tương ứng với có; k –tương ứng với khơng) Chương trình tập hợp câu hỏi đưa vào list kiện kiểm tra kiện trả true hệ chuẩn đốn xuất kết hỏng hóc Ngược lại có câu hỏi trả fail hệ chuẩn đoán nhảy qua list kiện khác kiểm tra theo sơ đồ mô Trường hợp chương trình rẽ sang nhánh khác theo sơ sơ đồ KẾT LUẬN Trong thời gian tìm hiểu thực hiện, đồ án đạt số kết sau: • Tìm hiểu sơ khái niệm tri thức phương pháp biểu diễn tri thức • Thiết kế hướng xử lý cho hệ thống chuẩn đốn hỏng hóc • Tuy nhiên khoảng thời gian có hạn đề tài khơng thể tránh khỏi hạn chế thiếu sót định Trong tương lai em cố gắng bổ sung phát triển thêm số chức giao diện trực quan cho ứng dụng để người sử dụng linh động chuẩn đoán TÀI LIỆU THAM KHẢO Hồng Kiếm, Giáo trình Các hệ Cơ sở Tri thức, NXB ĐHQG, 2006 John F Sowa Knowledge Representation: Logical, Philosophical and Computational Foundations, Brooks/Cole, 2000 Đỗ Văn Nhơn, Xây dựng hệ tính tốn thơng minh – Nghiên cứu phát triển phương pháp biểu diễn tri thức cho hệ giải toán tự động Luận án tiến sĩ, Đại học KHTN, 2001 Hoàng Kiếm - Đỗ Văn Nhơn, Slide giảng biểu diễn tri thức giai toán tự động Stuart Russell & Peter Norvig, Artificial Intelligence – A modern approach (second edition), Prentice Hall, 2003 Võ Huỳnh Trâm- Trần Ngân Bình, slide giảng Trí Tuệ Nhân tạo http://www.voer.edu.vn/bai-viet/toan-va-thong-ke/logic-vi-tu.html Lập trình logic http://www.nsl.hcmus.edu.vn/greenstone/collect/thesiskh/archives/HASH2990.d ir/10.pdf Sử dụng logic mệnh đề vị từhttp://www.cse.hcmut.edu.vn/~nttvien/classes/ai/slides/chapter05.pdf ... lược số khái niệm biểu diễn tri thức , biểu diễn tri thức với logic mệnh đề vị từ Phần cuối tiểu luận chương trình ứng dụng lập trình logic vào biểu diễn tri thức Trang Biểu diễn tri thức ứng dụng. .. tri? ??u chứng hỏng hóc 3.3.3 Sơ đồ mơ chương trình chẩn đốn hỏng hóc máy tính 3.4 Xây dựng ứng dụng hệ chuẩn đốn hỏng hóc máy tính Prolog 3.4.1 Phát biểu dạng logic vị từ hỏng hóc Phát biểu X tri? ??u... VỀ BIỂU DIỄN TRI THỨC 1.1 Khái niệm tri thức biểu diễn tri thức 1.1.1 Khái niệm tri thức Tri thức kết trình nhận thức, học tập lập luận Ví dụ: Kiến thức lĩnh vực y học khả chẩn đoán bệnh tri thức