ĐẠI HỌC QUỐC GIA HÀ NỘI ■ • ■ TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÊN TÊN ĐỂ TÀI HỆ THỐNG TRỢ GIÚP QUYẾT ĐỊNH TRONG CÔNG TÁC ĐÀO TẠO ■ ■ ■ ■ MÃ SƠ : QG-03-01 CHỦ TRÌ ĐỂ TÀI : PGS TS Đ ỗ TRUNG TUẤN HÀ NỘI, 2005 ĐẠI HỌC QUỐC GIA HÀ NỘI ■ ■ ■ TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÉN HỆ THỐNG TRỢ GIÚP QUYẾT ĐỊNH TRONG CÕNG TÁC ĐÀO TẠO ■ ■ ■ ■ MÃ SƠ : QG-03-01 CHỦ TRÌ ĐỂ TÀI : PGS TS Đ ỗ TRUNG TUẤN THAM GIA ĐỂ TÀI : • Ths Vũ Văn Tới, Bộ Cơng an • Vũ Văn Nam, Trường Cơng nghệ, Đại học Quốc gia Hà nội • Lê Thị Yên, Trường đại học dân lập Đơng • Nguyền Văn Đỏng, Ban huy quán sự, quân khu • Ths Dương Anh Tuấn, trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà nội • Ths Lương Xuân Cương, Học viện kĩ thuật quán r ữAl HGC QUOC GIA HÀ NÔĨ WUNG TÂM t h c n g j i n thư viên Lpĩ/ HÀ NỘI, 2005 Q G -03-01 Trang 3^4 LỜI CÁM ƠN Đê tài QG-03-01 hệ thống trợ giúp định công tác đào tạo hồ trợ nhiêu Ban khoa học công nghệ, Đại học Quốc gia Hà nội, quản lí phịng khoa học, trường Đại học Khoa học Tự nhiên đơn vị qn lí cơng tác nghiên cứu tài liệu, thực nghiệm phần mém Trong báo cáo này, xin chán thành cám ơn ■ Ban Khao học công nghệ, Đại học Quốc gia Hà nội cho phép đề tài triển khai, ■ Khoa Toán Cơ Tin học tạo điều kiện đ ể đê tài thực hiện, ■ Phịng Khoa học cơng nghệ, phòng tài vụ, trường Đại học Khoa học Tự nhiên, giúp dỡ dê tài việc hoàn thành thủ tục kết thúc đê tài ■ Các cán khoa học học viên, sinh viên công nghệ thõngtin, thực đóng góp vào kết đẻ tài BÁO CÁO TÓM TẮT VỀ ĐỂ TÀI TÊN ĐỂ TÀI Hệ ihống trợ giúp định cơng tác đào tạo CHỦ TR Ì ĐỂ TÀI PGS TS Đỗ Trung Tuấn, trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà nội CÁC CÁN BỘ THAM GIA • Ths Vũ Văn Tới, Bộ Cơng an • Vũ Văn Nam, Trường Cơng nghệ, Đại học Quốc gia Hà nội • Lê Thị Yên, Trường đại học dán lập Đóng • Nguyễn Văn Đóng, Ban huy quân sự, quân khu • Ths Dương Anh Tuấn, trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà nội MỤC TIÊU VÀ NỘI DUNG NGHIÊN c ứ u Mục tiêu : nghiên cứu phương pháp qui trình xây dựng hệ thống trợ giúp định, cho phép dùng công tác đánh giá kết học tập Nội dung : Nghiên cứu liệu khơng chắn, xử lí thông tin không chắn, nhầm áp dụng hệ thống trợ giúp định; Tổng thuật vấn đe liên quan đến xây dựng hệ thống trợ giúp định, nhằm cung cấp tài liệu cho sinh viên đại học, học viên cao học việc tham khảo, phát triển hệ thống; Xây dựng phấn mềm thử nghiệm hệ thống trợ giúp định CÁC K Ế T QUẢ ĐẠT ĐƯỢC Đé tài thực nội dung dăng kí, với kết sau 2G -03-0I Trang • Các kết nghiên cứu thể dạng trinh bày sinh hoạt khoa học đề tài Tài liệu “lí thuyết chắn” sử dụng tài liệu tham chiếu, huấn luyện; • Bài báo đãng tạp c h í : • Bài báo tham gia Hội thảo cơng nghệ thơng tin : • Bài báo tham gia Hội nghị khoa học : • Các luận văn tốt nghiệp cao học công nghệ thông tin : • Các luận vãn tốt nghiệp đại học tập lớn cơngnghệ thơng tin • Tài liệu “Hệ thống trợ giúp định” dùng công tác dẩotạo bặc đại học sau đại học công nghệ thơng tin • Phần mềm Irợ giúp định cơng tác quản lí điểm sinh viên, phần mềm viết VISUAL BASIC, truy cập sở liệu với hệ quản trị SQL SERVER KINH PH Í ĐỂ TÀI Đề tài cấp kinh phí hai năm, 2002- 2004, năm 30 triệu đồng; tổng cộng 60 triệu dồng Đề tài thực thủ tục tốn tài trường Đại học Khoa học Tự nhiên KHOA OUẢN LÍ CHÚ TRÌ ĐỂ TÀI Chủ nhiêm Khoa Toán Cơ Tin học Đỗ Trung Tuấn : ABSTRACT P R O JE C T Decision Support System for training purpose MANAGER Do Trung Tuan, Ass Prof., PhD M EM BERS • Vu Van Toi, MA.; • Vu Van Nam, Eng.; • Le Thi Yen, Eng.; • Nguyen Van Dong, Eng., • Duong Anh Tuan, MA • Luong Xuan Cuong, MA P R O JE C T O B JE C T IF AND CONTENT • Objectif : propose research results, methodology and procedure allowing building a decision support systems for training puipose, particularly for evaluating to student capacities • Content: • Research on un-certaint data, manipulating un-certaint information using in a decision support system; ■ Summary about aspects concerning decision support systems; a material for information technology students at the under-graduated and graduated level; ■ Software for practicing a decision support system RESULTS The project achieved some rulsults as followings : ■ Reports in scientific seminar The “certaint theory” is using as training document, reference material; è tài Q G -03-01 Trang Articles published in journals; Reports in information technology conferences in Vietnam; Master thesis on information technology; Bachelor thesis on information technology and reports of students; Training course “Decision support systems” for under-graduated and graduated level; Software for training support The software is based on VISUAL BASIC and access to database management system SQL SERVER MỤC LỤC li Q G -03-01 Trang Lời giới thiệu Tài liệu 1.Tiếp cận Bayes lập luận khơng xác Tài liệu Lí thuyết chắn 26 Các dăng tạp chí, hội thảo khoa học 44 Các luận vãn tốt nghiệp 45 Tài liệu hệ thống trợ giúp định 46 Phần mồm trợ giúp định Các trang hình cấu trúc bảng 58 Kết luận 71 Tài liệu tham khảo 72 Phụ lục 73 Tóm tắt cơng trình chủ nhiệm đề tài 89 Scientific project 90 Phiếu đãng kí kết khoa học-cơng nghệ 91 LỜI GIỚI THIỆU Đề tài cấp Đại học Quốc gia Hà nội, mã số QG-03-01 có mục đích nghiên cứu số phương pháp xử lí liệu sử dụng hệ thống trợ giúp định Việc xử lí liệu khơng đầy đủ, khơng chăc chắn thường gặp toán thực tế, đặc biệt tốn quản lí, cần định dựa vào liệu định lượng lẫn liệu định tính Trong năm qua, việc nghiên cứu hệ thống trợ giúp định triển khai mức sinh hoạt khoa học, giảng dạy bậc cao học công nghệ thông tin, ứng dụng hệ thống loại nhỏ Hệ thống trợ giúp định thường bao gồm đủ thành phẩn quản lí giao diện người dùng, quản trị liệu tri thức, quản trị mơ hình Việc nhận xct ứng dụng hệ thống loại đòi hỏi kiến thức xử lí liệu lẫn xử lí tri thức Đơi hệ thống trở nên phức tạp hệ chuyên gia Đề tài QG-03-01 tiếp tục nghiên cứu hệ thống trợ giúp định, tập trung vào việc xử lí liệu khơng chắn, thử nghiệm hệ thống trợ giúp định cổng tác quản lí đào tạo chuẩn bị giáo trình phục vụ đào tạo bậc đại học cao học ngành công nghệ thông tin Các kết đạt đề tài • Bài viết lí thuyết chắn; • Một số nghiên cứu trình bày hội thảo khoa học, dăng tạp chí khoa học; • Tài liệu dùng cho công tác đào tạo; • Phần mềm trợ giúp định công tác quản lí đào tạo ìi Q G -03-01 Trang TÀI LIỆU T IẾ P CẬN BAYES ĐỐI VỚI LẬP LUẬN KHƠNG CHÍNH XÁC Phần đề cập tiếp cận Bayes lập luận khơng xác Phần đầu nguyên tắc lí thuyết xác suất để giới thiệu định lí Bayes Phần hỗ trợ người phát triển hệ chuyên gia theo tiếp cận Bayes để quản lý tốt vấn đề giới thực Các trợ giúp xuất vài hệ thống, chảng hạn hệ chuyên gia PROSPECTOR Phần cuối giới thiệu đặc tính cần thiết cần trang bị để sử dụng hiệu kĩ thuật Bayes hệ chuyên gia I LÍ TH U Y ẾT XÁC SUẤT Thơng tin khơng xác đối tượng lí thuyết xác suất Xác suất tiếp cận tốn học dể xử lý thơng tin khơng chắn, có nguồn gốc từ trị cá cược từ kỉ 17 Năm 1654 Pascal Fermat phát triển lí thuyết xác suất cổ điển để rút phép suy luận số học từ liệu Lí thuyết xác suất giả sử có số p(E) gọi xác suất, khả xảy kiện E số thực nghiệm ngẫu nhiên Đó với số lần thử lớn tỉ lệ số lẩn xảy E xấp xỉ p(E) Tập tất củ dầu có thực nghiệm gọi khơng gian mẫu, kí hiệu s 1.1 K h ô n g g ia n m ẩ u rờ i r c Nhiều thực nghiệm có kết rời rạc Chảng hạn với việc gieo súc sắc s = 11, 2, 3, 4, 5, 6) Mỗi kiện s kết mà phép thử nhận Nếu sau N lần thử, kiện E xảy W(E) p(E) = W(E)/ N Hình thức hơn, số lần xuất E f(E) p(E) = l i m N_>oof(E)/ N ' f(E) tần số xuất kiện E N xuất quan sát Loại xác suất biết xác suất sau (posteriori probability), có nghĩa ”sau kiện” Xác suất số đốn khả xảy kiện; tuân theo ràng buộc sau : < p(E) < 1, p(E,) = với i = l n n tất kiện p(E) + p(~E) = 1, ~E kiện không E, phần bù E 1.2 K h ô n g g ia n m ẫ u liê n tụ c G -03-01 Trang ... thức Đơi hệ thống trở nên phức tạp hệ chuyên gia Đề tài QG-03-01 tiếp tục nghiên cứu hệ thống trợ giúp định, tập trung vào việc xử lí liệu khơng chắn, thử nghiệm hệ thống trợ giúp định cổng tác quản... lớn cơngnghệ thơng tin • Tài liệu ? ?Hệ thống trợ giúp định? ?? dùng công tác dẩotạo bặc đại học sau đại học công nghệ thông tin • Phần mềm Irợ giúp định công tác quản lí điểm sinh viên, phần mềm viết... QG-03-01 hệ thống trợ giúp định công tác đào tạo hồ trợ nhiêu Ban khoa học công nghệ, Đại học Quốc gia Hà nội, quản lí phịng khoa học, trường Đại học Khoa học Tự nhiên đơn vị qn lí cơng tác nghiên