I. Đặt vấn đề Những năm gần đây, ngành công nghiệp máy tính cá nhân đã có những bước phát triển rất mạnh mẽ. Mọi người đã quen thuộc với cảnh máy vi tính xuất hiện trong từng hộ gia đình như một thiết bị điện tử thông dụng. Tuy nhiên, chúng ta không thể phủ nhận rằng máy tính là một thiết bị phức tạp và khó sử dụng. Khi những hỏng hóc xuất hiện, cho dù là những hỏng hóc rất nhỏ, cũng có thể làm người sử dụng bối rối. Vì vậy, sự xuất hiện một phần mềm hướng dẫn mọi người tự tay khắc phục những lỗi thông dụng là thực sự cần thiết. Có hai giải pháp cho vấn đề trên. Một là là tổng hợp, xây dựng cơ sở dữ liệu về kiến thức phần cứng máy tính, những sự cố thông thường và cách khắc phục. Hai là xây dựng một hệ chuyên gia chẩn đoán sự cố máy tính. Cả hai phương án điều khả thi, nhưng với tình hình hiện nay, phương án thứ hai là phù hợp hơn cả. Một chương trình “thông minh” sẽ tiết kiệm được nhiều thời gian, công sức cho người sử dụng. Hơn nữa, như chúng ta đã biết, việc xây dựng một hệ chuyên gia đòi hỏi phải có một kho tri thức và công cụ xây dựng chương trình chuyên dụng. Hiện nay, nguồn thông tin khổng lồ trên Internet đã đáp ứng được yêu cầu thứ nhất. Thứ hai, ngôn ngữ Prolog là đủ mạnh để xây dựng bất kỳ chương trình thuộc lĩnh vực trí tuệ nhân tạo nào. Chính vì những lý do trên, cộng với mong muốn áp dụng những kiến thức đã học từ môn Hệ chuyên gia, chúng tôi đã chọn đề tài “Xây dựng hệ chuyên gia chẩn đoán lỗi phần cứng máy tính”. Đây thực ra là một lĩnh vực hẹp so với một hệ chuyên gia chẩn đoán, sửa chữa máy vi tính và các thiết bị ngoại vi. Do thời gian có hạn, chúng tôi không mong muốn xây dựng một phần mềm hoàn chỉnh và chính xác, mà chỉ cố gắng áp dụng qui trình xây dựng hệ chuyên gia thông qua ví dụ nhỏ này. Những kiến thức sử dụng để xây dựng cơ sở luật trong bài tập này được chúng tôi thu thập chủ yếu từ các số báo của tạp chí Thế Giới Vi Tính Việt Nam, tạp chí eChip, cộng với kinh nghiệm bản thân.
Trường Đại Học Bách Khoa Khoa Công Nghệ Thông Tin -o0o - BÁO CÁO ĐỒ ÁN MÔN HỌC HỆ CHUYÊN GIA XÂY DỰNG HỆ CHUYÊN GIA CHẨN ĐOÁN LỖI PHẦN CỨNG MÁY TÍNH Nhóm sinh viên: Huỳnh Ngọc Sơn Trần Duy Trần Đình Tú Nguyễn Vi Tùng Lớp: 05TLT Đà Nẵng – 10/2006 CHƯƠNG GIỚI THIỆU I Đặt vấn đề Những năm gần đây, ngành công nghiệp máy tính cá nhân có bước phát triển mạnh mẽ Mọi người quen thuộc với cảnh máy vi tính xuất hộ gia đình thiết bị điện tử thông dụng Tuy nhiên, phủ nhận máy tính thiết bị phức tạp khó sử dụng Khi hỏng hóc xuất hiện, cho dù hỏng hóc nhỏ, làm người sử dụng bối rối Vì vậy, xuất phần mềm hướng dẫn người tự tay khắc phục lỗi thông dụng thực cần thiết Có hai giải pháp cho vấn đề Một là tổng hợp, xây dựng sở liệu kiến thức phần cứng máy tính, cố thông thường cách khắc phục Hai xây dựng hệ chuyên gia chẩn đoán cố máy tính Cả hai phương án điều khả thi, với tình hình nay, phương án thứ hai phù hợp Một chương trình “thông minh” tiết kiệm nhiều thời gian, công sức cho người sử dụng Hơn nữa, biết, việc xây dựng hệ chuyên gia đòi hỏi phải có kho tri thức công cụ xây dựng chương trình chuyên dụng Hiện nay, nguồn thông tin khổng lồ Internet đáp ứng yêu cầu thứ Thứ hai, ngôn ngữ Prolog đủ mạnh để xây dựng chương trình thuộc lĩnh vực trí tuệ nhân tạo Chính lý trên, cộng với mong muốn áp dụng kiến thức học từ môn Hệ chuyên gia, chọn đề tài “Xây dựng hệ chuyên gia chẩn đoán lỗi phần cứng máy tính” Đây thực lĩnh vực hẹp so với hệ chuyên gia chẩn đoán, sửa chữa máy vi tính thiết bị ngoại vi Do thời gian có hạn, không mong muốn xây dựng phần mềm hoàn chỉnh xác, mà cố gắng áp dụng qui trình xây dựng hệ chuyên gia thông qua ví dụ nhỏ Những kiến thức sử dụng để xây dựng sở luật tập thu thập chủ yếu từ số báo tạp chí Thế Giới Vi Tính Việt Nam, tạp chí eChip, cộng với kinh nghiệm thân II Nội dung thực Nội dung thực đề tài: Thu thập tri thức liên quan, chuẩn bị cho trình xây dựng sở luật hệ chuyên gia, bao gồm kiến thức phần cứng máy tính triệu chứng hỏng hóc thông thường Phân tích tri thức thu thập được, sau phân loại biểu diễn thành phát biểu Sử dụng logic vị từ để xây dựng tập luật, kiện Chuyển các luật kiện thành ngôn ngữ Prolog Sử dụng phần mềm Swi-Prolog để xây dựng hệ chuyên gia Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính III Dự kiến kết đạt Một người sử dụng hệ thống chẩn đoán lỗi phần cứng máy tính để tìm nguyên nhân hỏng hóc máy tính đó, không bao gồm phần hướng dẫn sửa chữa Vì vậy, chức chương trình cho họ biết thiết bị nguyên nhân gây hỏng hóc Cách thức hoạt động phát biểu ngắn gọn sau: Người dùng đặt câu hỏi cho hệ thống: thiết bị nguyên nhân gây hỏng hóc? Chương trình liên tục đưa câu hỏi thu thập câu trả lời từ người sử dụng Nội dung câu hỏi xoay quanh biểu bên máy tính Các câu hỏi lựa chọn “có” hay “không”, chọn câu trả lời danh sách cho trước Dựa vào sở luật xây dựng sẵn, cộng với câu trả lời thu thập được, chương trình đưa định cuối cùng: định thiết bị gây lỗi Việc hướng dẫn sửa chữa không thuộc phạm vi toán IV Bố cục trình bày Báo cáo trình bày thành bốn mục sau: Phần I – Giới thiệu: xác định vấn đề, lựa chọn phương hướng giải quyết, trình bày tên đề tài, mục đích đề tài, dự kiến kết thực Phần II – Thu thập tri thức chuyên gia: trình bày sơ lược kiến thức phần cứng máy tính, triệu chứng hỏng hóc thông thường thu thập Phần III – Phân tích thiết kế: trình bày chi tiết việc chuyển đổi tri thức thu thập thành tập luật, kiện logic vị từ Sau chuyển đổi tập luật, kiện dạng ngôn ngữ Prolog Phần IV – Thực & số kết quả: giới thiệu vài kết xây dựng CHƯƠNG THU THẬP TRI THỨC CHUYÊN GIA I Một số kiến thức phần cứng máy tính I.1 Nhóm thiết bị xử lý I.1.1 Bo mạch chủ (mainboard) Còn gọi bo mạch chính, bo mạch chủ hay bo hệ thống (main board, system board, planar board) Đây mạch in lớn nằm hộp máy chính, chứa hầu hết nhớ mạch vi xử lý máy tính, bus mở rộng có card mở rộng cắm Bo mạch với thành phần gắn định tốc độ xử lý chung hệ thống I.1.2 Bộ vi xử lý (CPU - Central Processor Unit) Là mạch tích hợp phức tạp, đảm nhận việc xử lý thông tin máy tính Hơn yếu tố nào, công loại máy tính phụ thuộc chủ yếu vào đặc trưng kỹ thuật nhãn hiệu vi xử lý (VXL) I.1.3 Hệ vào/ra sở (BIOS) BIOS (Basic Input/Output System) tập hợp chương trình sơ cấp để hướng dẫn hoạt động máy tính, bao gồm thủ tục khởi động việc quản lý tín hiệu nhập vào từ bàn phím BIOS nạp cố định chip nhớ đọc (ROM) lắp board mẹ Một chức khác BIOS cung cấp chương trình cài đặt, chương trình dựa vào trình đơn để ta tự chọn thông số cấu hình hệ thống ngày hệ thống, cấu hình ổ đĩa, kích cỡ nhớ, thông số cache, shadow ROM, trình tự khởi động, kể mật Các thông số quan trọng giữ lại chip CMOS thuộc BIOS nuôi pin I.1.4 Bộ nhớ (main memory) Được lắp mainboard, nhớ có nhiệm vụ chứa tạm liệu lệnh chương trình để lấy dùng trực tiếp nhanh chóng cho VXL phiên công tác, tắt máy nội dung nhớ bị hết Bộ nhớ gọi nhớ truy cập ngẫu nhiên (Random Access Memory - RAM) I.2 Nhóm thiết bị hiển thị I.2.1 Card video (video card) Card video (hay điều hợp hiển thị) làm nhiệm vụ nhận lệnh từ CPU để điều khiển nội dung hiển thị hình Card video kiểm tra độ phân giải, tốc độ quét, dải mầu có sẵn hình cụ thể Card video hình có nhiều loại, nhiều chuẩn card hình hình phải tương thích với I.2.2 Màn hình (monitor) Là thiết bị dùng để theo dõi, giám sát, giao tiếp với máy tính thông qua ký tự hình ảnh biểu hiển thị (display) Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính I.3 Nhóm thiết bị lưu trữ Các thiết bị lưu trữ thông tin dùng phổ biến máy tính cá nhân ổ điã mềm (FDD), ổ điã cứng (HDD), ổ đĩa CD-ROM ổ băng ghi lưu Ngoài số phương tiện lưu trữ khác đĩa flash (còn gọi đĩa USB), ổ đĩa zip II Giới thiệu hỏng hóc thường gặp II.1 Các hỏng hóc từ nguồn điện Bộ nguồn đóng vai trò quan trọng hệ thống máy tính Nếu thân nguồn bị cháy, hệ thống không hoạt động Mặt khác, nguồn hoạt động không ổn định nguyên nhân hàng loạt hỏng hóc từ mainboard, RAM, CPU đĩa cứng ngoại lệ Khi máy tính bị “chết”, biểu nhấn nút power, hư hỏng nặng mà lại chẳng có Có thể nguyên nhân xuất phát từ đầu nối cấp điện, cầu chì Hãy kiểm tra lại dây cắm điện ấn lại tất đầu nối Nếu chuyện thay đổi, nguồn bị hỏng Trong số trường hợp, nguồn cung cấp điện điện áp lại không ổn định Sau đó, kéo theo hàng loạt vấn đề khác hỏng ổ đĩa cứng Triệu chứng hư hỏng điã khởi động xác sau bị chết máy nóng lên Thông báo xuất hình đại khái "Seek error, Abort, Retry, Fail" Có thể trình xảy là, thay cung cấp volt cho động cơ, nguồn nuôi lại đưa hay 10 volt Động chạy nhanh nóng lên, biểu trục trặc khả đọc hay ghi cách xác II.2 Các hỏng hóc từ đĩa cứng hệ điều hành Nếu đĩa cứng bị hỏng khởi động nguyên nhân chủ yếu lỏng đầu cáp card bị long chân cắm Hãy tắt máy, rút phích điện, mở nắp máy ấn card cho cắm vào khe ấn chặt lại đầu cáp Nếu tác dụng gì, ổ cứng bị hỏng hoàn toàn (do nguồn điện không ổn định bị “sốc” chấn động) Trường hợp đĩa cứng hoạt động tốt (không có thông báo lỗi từ BIOS) không vào hệ điều hành nguyên nhân thuộc phần mềm Bao gồm hỏng master-boot-record, bảng FAT, hệ điều hành bị lỗi II.3 Các hỏng hóc từ thiết bị xử lý Loại trừ trường hợp hỏng hóc trên, nguyên nhân lại xuất phát từ thiết bị tham gia vào trình xử lý thông tin CPU, RAM, mainboard, video card Cách chẩn đoán hỏng hóc tốt trường hợp lắng nghe tiếng bip phát từ loa nhỏ gắn thùng máy Số lượng tiếng bip, loại tiếng bip khoảng cách chúng cho ta biết thiết bị bị hỏng Tuy nhiên, giải pháp không hoàn toàn xác qui ước tùy thuộc vào nhà sản xuất BIOS Phần đề cập tới loại BIOS tương đối phổ dụng Phoenix BIOS Phoenix phát loạt tiếng bíp Chẳng hạn, bíp dừng-3 bíp dừng Mỗi loại tách nhờ khoảng dừng ngắn Hãy lắng nghe tiếng bíp, đếm số lần bíp tra cứu danh sách bên Mô tả mã lỗi chẩn đoán POST BIOS PHOENIX: (1_1_3): lỗi đọc thông tin cấu hình lưu CMOS (1_1_4): BIOS cần phải thay (1_2_1): lỗi chip đồng hồ MAINBOARD bị hỏng Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính (1_3_1): MAINBOARD bị hỏng (1_4_2): kiểm tra lại RAM có bị lỏng hay không (2_0_0) tiếng bíp kéo dài sau lần bíp: RAM bị hỏng (3_2_4): chip kiểm tra bàn phím bị hỏng (3_3_4): card hình bị lỏng (3_4_0): card hình bị hỏng (4_2_4): card bổ sung gắn MAINBOARD bị hỏng (4_3_4): pin CMOS bị hỏng (4_4_1): cổng nối tiếp bị hỏng (4_4_2): cổng song song bị hỏng (4_4_3): vi xử lý hỏng CHƯƠNG PHÂN TÍCH VÀ THIẾT KẾ I Tổng hợp phân loại tri thức Trong trình tổng hợp phân loại tri thức, chia hỏng hóc thông thường thành bốn nhóm Các hỏng hóc thuộc nhóm có chung số biểu ban đầu Việc khoanh vùng giúp việc mô tả luật rõ ràng Phần giới thiệu biểu đặt trưng nhóm dấu hiệu nhận biết lỗi chi tiết bên nhóm Hình 3.1 trang bên mô tả tri thức phân loại I.1 Nhóm hỏng hóc từ nguồn điện Dấu hiệu: đèn led nguồn tắt, quạt nguồn không chạy, hình không hiển thị Các thiết bị có khả gây lỗi: cáp nguồn bị lỏng, nguồn bị cháy Chẩn đoán: Kiểm tra lại cáp nguồn Nếu cáp nguồn máy tính bị lỏng nguyên nhân Ngược lại, cáp nguồn không bị lỏng mà máy tính không khởi động có lỗi nguồn máy tính I.2 Nhóm hỏng hóc từ hình Dấu hiệu: đèn led nguồn sáng, có tiếng bíp ngắn chứng tỏ máy tính khởi động được, hình lại không hiển thị thông tin Các thiết bị có khả gây lỗi: cáp tín hiệu hình Chẩn đoán: Kiểm tra lại cáp tín hiệu hình, lỏng nguyên nhân Nếu cáp tín hiệu hình không lỏng nguyên nhân chỉnh sai nút điều khiển hình Nếu cáp tín hiệu hình không lỏng nút hình không chỉnh sai nguyên nhân hình bị hỏng I.3 Nhóm hỏng hóc từ thiết bị xử lý Dấu hiệu: đèn led nguồn sáng, hình không hiển thị thông tin, kèm theo dãy tiếng bip phát từ loa hệ thống gắn case Các thiết bị có khả gây lỗi: CMOS, BIOS, mainboard, RAM, CPU… Chẩn đoán: số lượng tiếng bip khoảng thời gian chúng cho biết thiết bị cụ thể nguyên nhân gây lỗi (xem lại phần II - thu thập tri thức chuyên gia): (1_1_3): lỗi đọc thông tin cấu hình lưu CMOS (1_1_4): BIOS cần phải thay (1_2_1): lỗi chip đồng hồ MAINBOARD bị hỏng Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính (1_3_1): mainboard bị hỏng (1_4_2): kiểm tra lại RAM có bị lỏng hay không (2_0_0) tiếng bíp kéo dài sau lần bíp: RAM bị hỏng (3_2_4): chip kiểm tra bàn phím bị hỏng (3_3_4): card hình bị lỏng (3_4_0): card hình bị hỏng (4_2_4): card bổ sung gắn mainboard bị hỏng (4_3_4): pin CMOS bị hỏng (4_4_1): cổng nối tiếp bị hỏng (4_4_2): cổng song song bị hỏng (4_4_3): vi xử lý hỏng I.4 Nhóm hỏng hóc liệu Dấu hiệu: hình có hiển thị thông tin, loa máy tính phát tiếng bip ngắn chứng tỏ trình kiểm tra phần cứng thành công, nhiên máy tính không vào hệ điều hành Các thiết bị có khả gây lỗi: ổ cứng, cáp liệu ổ cứng, hệ điều hỏng Chẩn đoán: Nếu hình xuất thông báo “Hard Disk Failure” nguyên nhân lỏng cáp liệu cáp nguồn đĩa cứng Nếu cắm lại cáp mà kết không thay đổi, nguyên nhân ổ đĩa cứng có vấn đề Nếu thông báo “Hard Disk Failure”, nguyên nhân xuất phát từ phần mềm lỗi hệ điều hành, master boot_record, boot sector bị hỏng (gọi chung lỗi hệ điều hành) Hình 3.1: phân nhóm tri thức Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính II Xây dựng luật kiện II.1 Bảng tên hằng, luật, kiện Các sau sử dụng để định thiết bị máy tính hệ thống chẩn đoán lỗi, bao gồm thiết bị có khả phát sinh lỗi (CPU, RAM, đĩa cứng ) thiết bị hiển thị trạng thái (đèn led, loa ): Stt 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 Hằng bios card_on_mainboard cmos cmos_battery cmos_ram hdd hdd_cab keyboard keyboard_test_chip mainboard mainboard_clock_chip monitor monitor_control_bnt monitor_signal_cable os parallel_port power_cab power_fan power_led ram ram_slot serial_port vga_card vga_card_slot Giải thích Chương trình BIOS mainboard Một card mainboard Chương trình CMOS mainboard Pin CMOS RAM CMOS Ổ đĩa cứng Cáp liệu cáp cấp điện ổ đĩa cứng Bàn phím Chip kiểm tra bàn phím Bo mạch chủ Chip đồng hồ mainboard Màn hình Các nút điều chỉnh tín hiệu hình Cáp tín hiệu nối CASE hình Hệ điều hành Cổng song song Cáp nguồn máy tính Quạt nguồn Đèn led báo nguồn điện Case máy tính Bộ nhớ RAM Khe cắm RAM Cổng nối tiếp Card video Khe cắm card video Vị từ sử dụng để biểu thị trạng thái thiết bị hệ thống Ví dụ, đèn led nguồn sáng biểu diễn thành ON(power_led) Stt Vị từ BAD_MSG(X) BIP(X) ON(X) LOAD(X) RIGHT(X) RUN(X) TIGHT(X) GROUP(X) ASK(Y,X) 10 REASON(X) Giải thích Màn hình hiển thị thông báo lỗi thiết bị X Máy tính phát tiếng BIP có đặt điểm X X có trạng thái mở X đọc (ví dụ, hệ điều hành) X điều chỉnh trạng thái (ví dụ: nút chỉnh) X trạng tháy chạy (ví dụ: quạt nguồn) X gắn (ví dụ: dây cáp điện, cáp tín hiệu ) Máy tính thuộc nhóm hỏng hóc X Đưa câu hỏi cho người dùng thiết bị X có mang trạng thái Y hay không X nguyên nhân gây lỗi Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính Các định bốn nhóm hỏng hóc: Stt Hằng os_problem monitor_problem power_problem processor_problem Giải thích Tình trạng máy tính không vào hệ điều hành Tình trạng hình tín hiệu Tình trạng nguồn điện vào Tình trạng máy tính hỏng thiết bị xử lý II.2 Xây dựng kiện luật Để đưa câu hỏi cho người dùng thu thập câu trả lời từ họ, sử dụng vị từ ASK(Y,X) Trong đó, X tên thiết bị, Y biểu (trạng thái) thiết bị Ví dụ, thiết bị X đưa thông báo lỗi (bad message) người dùng xác nhận đúng: ∀X, ASK(bad_msg, X) Æ BAD_MSG(X) Tương tự, có luật sau: ∀X, ASK(on,X) Æ ON(X) ∀X, ASK(bip,X) Æ BIP(X) ∀X, ASK(run,X) Æ RUN(X) ∀X, ASK(right,X) Æ RIGHT(X) Các luật dùng để xác định nhóm hỏng hóc: ¬ON(power_led) ∧ ¬ON(monitor) ∧ ¬RUN(power_fan) Æ GROUP(power_broblem) ON(power_led) ∧ ¬ON(monitor) ∧ BIP(1) Æ GROUP(monitor_broblem) ON(power_led) ∧ ¬ON(monitor) ∧ ¬BIP(1) Æ GROUP(processor_broblem) ON(monitor) ∧ BIP(1) ∧ ¬LOAD(os) Æ GROUP(os_broblem) Các luật dùng để chẩn đoán cho hỏng hóc từ nguồn điện: GROUP(power_broblem) ∧ TIGHT(power_cable) Æ REASON(power) GROUP(power_broblem) ∧ ¬TIGHT(power_cable) Æ REASON(power_cable) Các luật cho hỏng hóc liên quan đến mà hình máy tính: GROUP(monitor_problem) ∧ ¬TIGHT(monitor_signal_cable) Æ REASON(monitor_signal_cable) GROUP(monitor_problem) ∧ TIGHT(monitor_signal_cable) Æ REASON(monitor_control_bnt) GROUP(monitor_problem) ∧ TIGHT(monitor_signal_cable) ∧ RIGHT(monitor_control_bnt) Æ REASON(monitor) Các luật cho hỏng hóc từ đơn vị xử lý: GROUP(processor_problem) ∧ BIP(1_1_3)Æ REASON(cmos) GROUP(processor_problem) ∧ BIP(1_1_4)Æ REASON(bios) GROUP(processor_problem) ∧ BIP(1_2_1)Æ REASON(mainboard_clock_chip) GROUP(processor_problem) ∧ BIP(1_3_1)Æ REASON(mainboard) GROUP(processor_problem) ∧ BIP(1_4_2)Æ REASON(ram_slot) 10 Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính GROUP(processor_problem) ∧ BIP(2_0_0)Æ REASON(ram) GROUP(processor_problem) ∧ BIP(3_2_4)Æ REASON(keyboard_test_chip) GROUP(processor_problem) ∧ BIP(3_3_4)Æ REASON(vga_card_slot) GROUP(processor_problem) ∧ BIP(3_4_0)Æ REASON(vga_card) GROUP(processor_problem) ∧ BIP(4_2_4)Æ REASON(card_on_mainboard) GROUP(processor_problem) ∧ BIP(4_3_4)Æ REASON(cmos_battery) GROUP(processor_problem) ∧ BIP(4_4_1)Æ REASON(serial_port) GROUP(processor_problem) ∧ BIP(4_4_2)Æ REASON(paralel_port) GROUP(processor_problem) ∧ BIP(4_4_3)Æ REASON(cpu) Các luật cho hỏng hóc từ đĩa cứng liệu: GROUP(os_problem) ∧ BAD_MSG(hdd) ∧ TIGHT(hdd_cab) Æ REASON(hdd) GROUP(os_problem) ∧ BAD_MSG(hdd) ∧ ¬TIGHT(hdd_cab)Æ REASON(hdd_cable) GROUP(os_problem) ∧ ¬BAD_MSG(hdd) Æ REASON(os) III Chuyển luật kiện ngôn ngữ Prolog Các luật hỏi trạng thái: on(X):- ask(on,X) run(X):- ask(run,X) tight(X):- ask(tight,X) right(X):- ask(right,X) bip(X):- ask(bip,X) load(X):- ask(load,X) bad_mess(X):- ask(bad_message,X) Các luật xác định nhóm hỏng hóc: group(power_problem):- not(on(power_led)), not(run(power_fan)), not(on(monitor)) group(monitor_problem):- on(power_led), not(on(monitor)), bip(one_bip) group(processor_problem):- on(power_led), not(on(monitor)), not(bip(one_bip)) group(os_problem):- on(power_led), on(monitor), not(load(os)) Nhóm hỏng hóc nguồn: reason(power_cable):- group(power_problem), not(tight(power_cable)) reason(power):- group(power_problem), tight(power_cable) Nhóm hỏng hóc hình: reason(monitor_signal_cable):- group(monitor_problem), not(tight(monitor_signal_cable)) reason(monitor_contrast_button):- group(monitor_problem), tight(monitor_signal_cable), not(right(monitor_button_bnt)) 11 Hệ chuyên gia chẩn đoán lỗi phần cứng máy tính reason(monitor):- group(monitor_problem), tight(monitor_signal_cable), right(monitor_button_bnt) Nhóm hỏng hóc từ thiết bị xử lý: reason(cmos):- group(processor_problem), bip(one_one_three) reason(bios):- group(processor_problem), bip(one_one_four) reason(mainboard_clock_chip):- group(processor_problem), bip(one_two_one) reason(mainboard):- group(processor_problem), bip(one_three_one) reason(ram_slot):- group(processor_problem), bip(one_four_two) reason(keyboard_test_chip):- group(processor_problem), bip(three_two_four) reason(vga_card):- group(processor_problem), bip(three_four_zero) reason(vga_card_slot):- group(processor_problem), bip(three_three_four) reason(cmos_battery):- group(processor_problem), bip(four_three_four) reason(serial_port):- group(processor_problem), bip(four_four_one) reason(parallel_port):- group(processor_problem), bip(four_four_two) reason(cpu):- group(processor_problem), bip(four_four_three) Nhóm hỏng hóc từ liệu: reason(os):- group(os_problem), not(bad_msg(hdd)) reason(hdd_cable):- group(os_problem), bad_msg(hdd), not(tight(hdd_cable)) reason(hdd):- group(os_problem), bad_msg(hdd), tight(hdd_cable) IV Đặt câu hỏi Đặt câu hỏi: ?- reason(X) Kết trả lời từ Prolog: ?- reason(X) power_led:off? |: yes power_fan:stop? |: yes monitor:off? |: yes power_cable:loosely? |: yes X = power_cable ; 12 KẾT LUẬN Xây dựng hệ chuyên nói chung hệ chuyên gia chẩn đoán, sửa chữa máy tính công việc đòi hỏi nhiều thời gian công sức Do bị giới hạn mặt thời gian, tập hoàn thành mức bản, mang qui mô nhỏ Trong trình thực đồ án, thực công việc sau: Mô tả toán, tổng hợp phân loại tri thức Mô tả tri thức logic vị từ, chuyển ngôn ngữ Prolog Cài đặt toán phần mềm Swi-Prolog Hướng phát triển tập: Tiếp tục thu thập liệu để củng cố kho sở tri thức cho toán Mở rộng qui mô chẩn đoán chương trình, theo chiều sâu (xác chi tiết lỗi hơn) lẫn chiều rộng (cho chép chẩn đoán tất lỗi phần cứng lẫn phần mềm) Sử dụng công cụ mạnh Swi-Prolog WinProlog, Visual Prolog nhằm xây dựng giao diện trực quan cho chương trình MỤC LỤC GIỚI THIỆU .1 I Đặt vấn đề II Nội dung thực III Dự kiến kết đạt .2 IV Bố cục trình bày .2 THU THẬP TRI THỨC CHUYÊN GIA I Một số kiến thức phần cứng máy tính .3 I.1 Nhóm thiết bị xử lý I.1.1 Bo mạch chủ (mainboard) I.1.2 Bộ vi xử lý (CPU - Central Processor Unit) .3 I.1.3 Hệ vào/ra sở (BIOS) I.1.4 Bộ nhớ (main memory) .3 I.2 Nhóm thiết bị hiển thị I.2.1 Card video (video card) .3 I.2.2 Màn hình (monitor) I.3 Nhóm thiết bị lưu trữ II Giới thiệu hỏng hóc thường gặp II.1 Các hỏng hóc từ nguồn điện II.2 Các hỏng hóc từ đĩa cứng hệ điều hành II.3 Các hỏng hóc từ thiết bị xử lý .4 PHÂN TÍCH VÀ THIẾT KẾ .6 I Tổng hợp phân loại tri thức I.1 Nhóm hỏng hóc từ nguồn điện I.2 Nhóm hỏng hóc từ hình I.3 Nhóm hỏng hóc từ thiết bị xử lý I.4 Nhóm hỏng hóc liệu II Xây dựng luật kiện II.1 Bảng tên hằng, luật, kiện II.2 Xây dựng kiện luật 10 III Chuyển luật kiện ngôn ngữ Prolog 11 IV Đặt câu hỏi 12 KẾT LUẬN .13