Ứng dụng công nghệ tri thức xây dựng phần mềm đánh giá xếp loại nhân viên

ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG HÀ XUÂN TRƢỜNG ỨNG DỤNG CÔNG NGHỆ TRI THỨC XÂY DỰNG PHẦN MỀM ĐÁNH GIÁ XẾP LOẠI NHÂN VIÊN LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Thái Ngun, 2014 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ i MỤC LỤC MỤC LỤC i LỜI CẢM ƠN iv LỜI CAM ĐOAN v DANH SÁCH CÁC HÌNH vi LỜI MỞ ĐẦU vii CHƢƠNG 1: TỔNG QUAN VỀ CÔNG NGHỆ TRI THỨC VÀ HỆ CHUYÊN GIA 1.1 Công nghệ tri thức 1.2 Phân loại tri thức 1.3 Các cấp độ tri thức 1.4 Phân biệt tri thức liêu 1.5 Khái niệm chuyên gia hệ chuyên gia 1.6 Các đặc tính chuyên gia hệ chuyên gia 1.7 Các lĩnh vực ứng dụng hệ chuyên gia 1.8 Kiến trúc tổng quát hệ chuyên gia 1.9 Các dạng tri thức cách thể 13 1.10 Cơ chế suy diễn hệ chuyên gia 24 CHƢƠNG 2: XÂY DỰNG CƠ SƠ TRI THỨC GIẢI QUYẾT BÀI TOÁN 37 2.1 Xây dựng toán 37 2.3 Các bước tiến hành xây dựng phát triển hệ chuyên gia 40 2.3 Giải toán 44 CHƢƠNG 3: XÂY DỰNG PHẦN MỀM 54 3.1 Môi trường xây dựng phần mềm 54 3.2 Một số bảng liệu chương trình 54 3.3 Giới thiệu Form chương trình 57 3.4 Đánh giá kết chương trình 61 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ ii KẾT LUẬN 62 Kết luận 62 Hướng phát triển đề tài 62 TÀI LIỆU THAM KHẢO 63 Tài liệu nước 63 Tài liệu nước 63 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ iii LỜI CẢM ƠN Trước tiên xin gửi lời cảm ơn sâu sắc tới PGS.TS Ngô Quốc Tạo, người định hướng đề tài hướng dẫn tận tình cho học viên suốt trình thực luận văn thạc sĩ khoa học máy tính, từ ý tưởng đề cương nghiên cứu, phương pháp giải vấn đề, đến điều kiện lý tưởng để thực luận văn Tơi xin chân thành bày tỏ lịng biết ơn tới tất Giáo sư, Tiến sĩ giảng dạy hai năm vừa qua Các Giáo sư, Tiến sĩ truyền đạt cho kiến thức quý báu ngành học khoa học máy tính chuyên ngành hẹp trí tuệ nhân tạo, hệ chun gia,… Giúp tơi tích lũy nhiều kiến thức phương pháp quý báu để nghiên cứu giải vấn đề luận văn Bản luận văn hồn thành với động viên giúp đỡ bạn lớp cao học CK11I trường Đại học Công nghệ thông tin Truyền thơng khóa 2012-2014 Tơi xin bày tỏ lịng cám ơn chân tình tới tất bạn, bạn dành nhiều thời gian quý báu để trao đổi, giúp đỡ tơi gặp vướng mắc suốt thời gian thực luận văn Hà Xuân Trường Lớp cao học CK11I Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ iv LỜI CAM ĐOAN Tôi cam đoan luận văn thân tự nghiên cứu thực theo hướng dẫn khoa học PGS.TS Ngơ Quốc Tạo Tơi hồn tồn chịu trách nhiệm tính pháp lý q trình nghiên cứu khoa học luận văn Thái Nguyên, ngày tháng năm 2014 Ngƣời cam đoan Hà Xuân Trƣờng Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ v DANH SÁCH CÁC HÌNH Hình Một số lĩnh vực ứng dụng trí tuệ nhân tạo Hình Hoạt động hệ chuyên gia Hình Những thành phần hệ chuyên gia Hình Quan hệ máy suy diễn sở tri thức Hình Kiến trúc hệ chuyên gia theo J L Ermine Hình Kiến trúc hệ chuyên gia heo C Ernest Hình Kiến trúc hệ chuyên gia theo E V Popov Hình Biểu diễn tri thức nhờ mạng ngữ nghĩa Hình Mở rộng mạng ngữ nghĩa biểu diễn tri thức Hình 10 Biểu diễn tri thức nhờ liên hợp OAV Hình 11 Biểu diễn tri thức nhờ ngơn ngữ nhân tạo MYCIN Hình 12 Cấu trúc danh sách luật hệ thống suy diễn tập trung Hình 13 Cấu trúc danh sách kiện hệ thống suy diễn tập trung Hình 14 Quá trình quản lý dự án phát triển hệ chuyên gia Hình 15 Tiếp nhận tri thức hệ chuyên gia Hình 16 Trình bày giai đoạn để phát triển hệ chuyên gia Hình 17 Mơ tơ suy diễn tiến giải tốn Hình 18 Mơ hình hệ chun gia giải tốn Hình 19 Giao diện chương trình Hình 20 Giao diện thêm nhân viên Hình 21: Giao diện quản lý tiêu chí đánh giá Hình 21 Giao diện quản lý tiêu chí đánh giá Hình 22 Giao diện thêm cơng việc cho nhân viên Hình 23: Giao diện chức cho điểm nhân viên Hình 24 Giao diện xuất báo cáo đánh giá Hình 25 Giao diện xuất báo cáo xếp loại Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ vi LỜI MỞ ĐẦU Việc đánh giá xếp loại cán việc hữu ích mà nhà quản lý thường dùng để trì thúc đẩy hiệu làm việc nhân viên, yếu tố quan trọng để phát huy nội lực nhằm phát triển quan Trong vai trò nhà quản lý quan, tổ chức luôn phải quan tâm đến việc đánh giá xếp loại nhân viên Trên thực tế tổ chức, quan, doanh nghiệp, công ty … xây dựng cho riêng quy tắc để đánh giá xếp loại nhân viên nhiên triển khai thực tế việc đánh giá thường bị chi phối nhiều yếu tố ( khơng gian, thời gian,…) dẫn đến việc đánh giá nhân viên bị sai lệch, không hiệu khơng đạt mục đích mong muốn nhà quản lý Ngày nay, phát triển mạnh mẽ Công nghệ tri thức ứng dụng phong phú tạo cung cấp cho người công cụ, phương tiện thuận tiện để tạo hệ chuyên gia giúp người Xuất phát từ vấn đề nêu nhằm góp phần hồn thiện cơng tác đánh giá xếp loại nhân viên, học viên chọn đề tài “Ứng dụng công nghệ tri thức xây dựng phần mềm đánh giá xếp loại nhân viên” làm đề tài tốt nghiệp Nội dung luận văn gồm: Chương 1: Tổng quan Công nghệ tri thức Hệ chuyên gia Chương 2: Xây dựng sơ tri thức giải toán Chương 3: Xây dựng phần mềm Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ vii CHƢƠNG 1: TỔNG QUAN VỀ CÔNG NGHỆ TRI THỨC VÀ HỆ CHUYÊN GIA Chương giới thiệu sở lý thuyết liên quan đến đề tài, việc hỗ trợ xây dựng ứng dụng Trình bày khái niệm sở tri thức, hệ chuyên gia Một số ứng dụng sở tri thức để xây dựng thành hệ chuyên gia Cách thức biểu diễn tri thức, xây dựng luật hệ chuyên gia thông qua kỹ thuật suy luận hệ chuyên gia 1.1 Công nghệ tri thức Cơng nghệ tri thức (Knowledge Engineering): xem nhánh nghiên cứu trí tuệ nhân tạo, phân tích tri thức lĩnh vực chuyển thành mơ hình tính tốn đưa vào máy tính để phục vụ nhu cầu cần thiết.[5] Công nghệ tri thức (Knowledge Engineering): phương pháp, kỹ thuật kỹ sư tri thức (knowledge engineers) dùng để xây dựng hệ thống thông minh như: hệ chuyên gia, hệ sở tri thức, hệ hỗ trợ định.[4] 1.2 Phân loại tri thức Tri thức tồn dạng : - Tri thức đinh lượng - Tri thức đinh tính Tri thức định lượng thường gắn với loại kinh nghiệm khác Ở xét tri thức định tính.Tri thức đinh tính chia thành loại: Tri thức mơ tả Tri thức thủ tục Tri thức điều khiển 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 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 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 đề Tri thức heuristic: mô tả "mẹo" để dẫn dắt tiến trình lập luận Tri thức heuristic cịn 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 đề 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.3 Các cấp độ tri thức Tri thức gồm cấp độ a) Tri thức động phụ thuộc vào tình khơng gian thời gian : Các tri thức thức mô tả, tri thức thức thủ tục, tri thức điều khiển không phụ thuộc vào yếu tố không gian, thời gian gọi tri thức tĩnh Các tri thức loại tạo nên phần lõi cấu trí thức Nguồn cấu trí thức thường phát sinh từ tài liệu chun mơn ngun lý chung khoa học Ví dụ : “Nếu đường thẳng vng góc với hai đường thẳng song song vng góc với đường thẳng cịn lại” Tuy vậy, có tri thức lại phụ thuộc vào yếu tố lịch sử,thông qua tham số thời gian khơng gian xuất tường minh không tường minh phát biểu Chẳng hạn, phát biểu : “Việt Nam thành viên tổ chức WTO” thời điểm trước năm 2008, Việt Nam gia nhập tổ chức WTO Chính yếu tố đó, mà q trình suy diễn sở tri thức phụ thuộc khơng gian, thời gian giao hốn hay khơng giao hốn phận, đơn điệu hay không đơn điệu b)Tri thức bất định, tri thức khơng đầy đủ : Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ Trong nhiều trường hợp tri thức sai Tuy thực tế ta gặp phải phát biểu lúc xác định chúng hay sai Ví dụ : “Trời mưa”, trường hợp định 100% trời mưa hay không mưa ; Các tri thức khơng xác mệnh đề phát biểu mà giá trị chân lý chúng khơng thể cách xác, tương ứng với thang đo quy ước Ví dụ : “Anh ta cao khoảng lm70” Cũng xuất tri thức không đầy đủ phát biểu, mơ tả Ví dụ : “Thơng thường nói chung chị đi” , phát biểu bất định, song có tác dụng biết chút kiện “anh ta có đến hay khơng” Nói chung, tri thức bất định, khơng xác khơng đầy đủ xuất phát biểu, người ta sử dụng yếu tố ngôn ngữ không rõ ràng, : có thể, có lẽ, khoảng, nói chung Một cách tiếp cận để xử lý loại tri thức sử dụng cách tiếp cận lý thuyết mờ Các lý thuyết lập luận xấp xỉ quan tâm, nghiên cứu nhiều 1.4 Phân biệt tri thức liêu Chúng ta dựa vào số đặc trưng sau để phân biệt qui ước tri thức liệu : + Khả tư giải thích nơi dung : Dữ liệu đưa vào máy tính khơng tự giải thích nổi, đơi cịn mã hóa cho ngắn gọn để dễ cài đặt máy Chỉ có người lập trình hiểu nội dung, ý nghĩa liệu, tri thức tự giải thích nội dung minh với người sử dụng + Tính cấu trúc : Một đặc tính hoạt động nhận thức người giới xung quanh khả phân tích cấu trúc đối tượng Tri thức đưa vào máy cần có khả tạo phân cấp khái niệm mối quan hệ chúng + Tính liên : Ngồi quan hệ cấu trúc tri thức (khái niệm, trình, tượng, kiện) đơn vị tri thức cịn có nhiều mối liên hệ Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ luatC2(A,A1) :- tong(A),khoiluong(X),(X>=8,X A1 is A+1) >17 +1 điểm cho tổng điểm luatC3(A,A1) :- tong(A),khoiluong(X), X>7,kyluat(Y),Y>7,ketqua(Z),Z>17, A1 is A+1 7,XA1 is A+1) 17 + điểm cho tổng điểm luatC5(A,A1) :- tong(A),phuctap(X),ketqua(Y),(X>7,X 17->A1 is A+2) %Trong tháng cho nhân viên =10 kết đánh giá tháng = 20 điểm + 3đ cho tổng điểm luatC6(A,A1) :- tong(A),phuctap(X),ketqua(Y),(X=10,Y=20 -> A1 is A+3) %Trong tháng trưởng phòng đánh giá điểm chịu áp lực cho nhân viên >8 điểm tính kỷ luật đạt tháng >8 điểm điểm cho tổng điểm luatC7(A,A1) :- tong(A),apluc(X),kyluat(Y),(X>8,Y>8->A1 is A+1) % Trong tháng trưởng phòng đánh giá điểm khả sáng tạo, linh động cao >8 điểm tính kỷ luật đạt tháng >8 điểm 1đ cho tổng điểm luatC8(A,A1) :- tong(A),sangtao(X),kyluat(Y),(X>8,Y>8->A1 is A+1) % Cac luat kiem tra kiemtra1(Z):- phuctap(X),(X=10-> Z is 1; Z is 0) kiemtra2(Z):- phoihop(X),(X=10-> Z is 1; Z is 0) kiemtra3(Z):- khoiluong(X),(X=10-> Z is 1; Z is 0) kiemtra4(Z):- sangtao(X),(X=10-> Z is 1; Z is 0) kiemtra5(Z):- trachnhiem(X),(X=10-> Z is 1; Z is 0) kiemtra6(Z):- kyluat(X),(X=10-> Z is 1; Z is 0) Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 49 kiemtra7(Z):- apluc(X),(X=10-> Z is 1; Z is 0) kiemtra8(Z):- khoahoc(X),(X=10-> Z is 1; Z is 0) kiemtrat(Z):- kiemtra1(X1), kiemtra2(X2), kiemtra3(X3), kiemtra4(X4), kiemtra5(X5) , kiemtra6(X6), kiemtra7(X7), kiemtra8(X8),Z is X1+X2+ X3+X4+ X5+ X6+ X7+ X8 %Nếu tháng có tiêu chí đạt 10 điểm cộng điểm cho tổng điểm luatC9(A,A1):-tong(A),kiemtrat(X),X=4,ketqua(Y),Y>14, A1 is A+1 %Nếu tháng có tiêu chí đạt 10 điểm cộng điểm cho tổng điểm luatC10(A,A1):-tong(A),kiemtrat(X),X=5,ketqua(Y),Y>14, A1 is A+2 %Nếu tháng có tiêu chí đạt 10 điểm cộng điểm cho tổng điểm luatC11(A,A1):-tong(A),kiemtrat(X),X=6,ketqua(Y),Y>14, A1 is A+3 %Nếu tháng có tiêu chí đạt 10 điểm cộng điểm cho tổng điểm luatC12(A,A1):-tong(A),kiemtrat(X),X=7,ketqua(Y),Y>14, A1 is A+4 %Nếu tháng có tiêu chí đạt 10 điểm cộng điểm cho tổng điểm luatC13(A,A1):-tong(A),kiemtrat(X),X=8,ketqua(Y),Y>14, A1 is A+5 %II.Trừ điểm % Trong tháng trưởng phòng đánh giá điểm phức tạp < điểm, điểm kỷ luật