Cơ sở suy diễn với kết quả đào tạo tại trường cao đẳng sư phạm yên bái

Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 i LỜI CAM ĐOAN Tôi xin cam đoan: Luận văn “Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái” cơng trình nghiên cứu riêng tơi Các số liệu luận văn sử dụng trung thực chưa công bố cơng trình trước n Bái, Ngày 20 tháng 09 năm 2011 Lưu Thị Thanh Hà Số hóa Trung tâm Học liệu – Đại học Thái Nguyên Tai ngay!!! Ban co the xoa dong chu nay!!! http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 ii MỤC LỤC MỤC LỤC i LỜI CẢM ƠN iv DANH MỤC KÝ HIỆU VÀ VIẾT TẮT V DANH MỤC HÌNH VÀ BẢNG VI LỜI MỞ ĐẦU Chương 1- VỀ TRI THỨC VÀ CÔNG NGHỆ TRI THỨC 1.1 Các loại tri thức 1.1.1 Một số khái niệm 1.1.2 Phân loại tri thức theo đại 12 Thể tri thức 13 1.2.1 Cú pháp ngữ nghĩa logic mệnh đề 16 1.2.2 Dạng chuẩn tắc 20 1.2.3 Luật suy luận 23 1.2.4 Tiên đề định lý chứng minh 24 1.2.5 Phương pháp chứng minh bác bỏ 25 1.3 Công nghệ tri thức 26 1.3.1 Xử lý tri thức 26 1.3.2 Xử lý tri thức luật 26 1.3.3 Xử lý tri thức luật có dùng biến 29 1.3.4 Xử lý tri thức lập luận 30 1.3.5 Xử lý tri thức dựa vào loại lập luận 30 1.3.6 Xử lý tri thức thuật toán Robinson 36 1.4 Kết luận 38 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 iii Chương – CÔNG CỤ XỬ LÝ DỮ LIỆU VÀ SUY DIỄN 39 2.1 Suy diễn hệ quản trị sở liệu MS ACCESS 39 2.2 Phần mềm DLQ 2.3 40 2.2.1 Giới thiệu DLQ 2.3 40 2.2.2 Hướng dẫn sử dụng phần mềm 41 2.3 Thí dụ 42 2.3.1 Tạo sở quan hệ Giapha 42 2.3.2 Sử dụng phần mềm DQL 44 2.3.4 Tạo sở liệu Datalog 44 2.3.5 Viết chương trình Datalog 45 2.4 Khai thác chương trình Datalog 47 2.5 Kết luận 54 Chương – SUY DIỄN VỚI KẾT QUẢ ĐÀO TẠO 55 3.1 Giới thiệu sở đào tạo 55 3.1.1 Giới thiệu chung 56 3.1.2 Công tác đào tạo 58 3.2 Vấn đề cần giải 60 3.2.1 Cơ sở liệu kết học tập 60 3.2.2 Một số luật suy diễn 64 3.4 Kết luận 67 KẾT LUẬN 68 Một số vấn đề giải 68 Phương hướng tiếp tục nghiên cứu 69 TÀI LIỆU THAM KHẢO 70 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 iv LỜI CẢM ƠN Trước hết xin bày tỏ lịng cảm ơn sâu sắc kính trọng đến thầy giáo Trường Đại học Công nghệ Thông tin truyền thông, Đại học Thái Nguyên, đặc biệt thầy cô giáo giảng dạy giúp đỡ tơi suốt q trình học tập nâng cao sau đại học Nhân dịp hoàn thành luận văn tốt nghiệp cao học mình, tơi xin trân trọng cảm ơn thầy giáo hướng dẫn Đỗ Trung Tuấn, nhiệt tình hướng dẫn để tơi hồn thành luận văn Tôi xin cảm ơn bạn bè, đồng nghiệp Trường Cao đẳng Sư phạm Yên Bái, ln động viên, giúp đỡ tơi q trình học tập cơng tác, để tơi học tập hồn thành luận văn Xin gửi đến người thân, gia đình tơi, người tạo điều kiện động viên, trợ giúp tinh thần, thông cảm giúp đỡ nhiều thời gian học tập Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 v DANH MỤC KÝ HIỆU VÀ VIẾT TẮT CNTT Công nghệ Thông tin IT Công nghệ Thông tin CDSP Cao đẳng Sư phạm CSDL Cơ sở liệu MS ACCESS Microsoft ACCESS SV Sinh viên DATALOG Chương trình xử lí tri thức DQL Ngơn ngữ hỏi Datalog OLAP Xử lí phân tích liệu trực tuyến Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 vi DANH MỤC HÌNH VÀ BẢNG Hình 1.1 Bảng chân lý kết nối logic 18 Hình 1.2 Bảng chân lý cho công thức (P→Q) S 20 Hình 1.3 Bảng chân lý chứng minh tính tin cậy luật giải 24 Hình 1.4 Các bước xử lý tri thức dựa luật 27 Hình 1.5 Các bước xử lý tri thức hệ thống dựa luật 28 Hình 2.1 Cấu hình DQL 40 Hình 2.2 Cây gia phả 42 Hình 2.3 Câu hình DQL 43 Hình 3.1 Trang tin trường 55 Hình 3.2 Nhà trường 56 Hình 3.3 Quyết định Nhà trường 59 Hình 3.4 Cấu trúc quan hệ sinh viên 60 Hình 3.5 Cấu trúc quan hệ Điểm 61 Hình 3.6 Mối quan hệ bảng quan hệ 61 Hình 3.7 Một số liệu minh hoạ quan hệ Điểm 61 Hình 3.8 Một số liệu quan hệ Sinh viên 62 Hình 3.9 Thể liệu khn dạng chuẩn ACCESS 62 Hình 3.10 Thơng tin trợ giúp định với mơn Tốn rời rạc 63 Hình 3.11 Thơng tin trợ giúp định mơn “tốn cao cấp”.63 Hình 3.12 Trang hình 65 Hình 3.13 Dữ liệu thí dụ bảng Sinh viên 66 Hình 3.14 Dữ liệu thí dụ bảng Điểm 66 Hình 3.15 Các bảng quan hệ 67 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 vii Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 LỜI MỞ ĐẦ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 Trong hệ thống đào tạo Đại học sau Đại học Công nghệ thơng tin, chủ đề 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 Trong chương trình đào tạo học viên sư phạm trường Cao đẳng sư phạm Yên bái, tri thức chủ đề quan tâm Tri thức xử lí tri thức khơng có mơn học mà cịn có hoạt động quản lí cơng tác dạy học Việc sử dụng phần mềm thu thập, xử lí liệu, tri thức cần thiết Hiện nhiều sở đào tạo có nhiều phần mềm cho phép xử lý liệu Những liệu liên quan đến công tác đào tạo gồm: Các kết dạy học, học liệu điện tử, giáo trình số hóa… ngày nhiều, cần xử lý cách khoa học Việc lập luận liệu tri thức trợ giúp lãnh đạo nhà trường công tác hoạch định sách lâu dài, định Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 nhiệm vụ tác nghiệp ngắn hạn Một việc làm liên quan đến xử lí liệu tri thức suy diễn kết học tập tu dưỡng học viên, sinh viên Đáp ứng nhu cầu này, tri thức hỗ trợ việc xử lý liệu cần thiết Do chọn đề tài làm luận văn tốt nghiệp cao học “Cơ sở liệu suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái” Đối tượng phạm vi nghiên cứu - Khoa học xử lý liệu - Khoa học xử lý tri thức - Sử dụng phần mềm xử lý liệu tri thức công tác quản lý đào tạo đơn vị Hướng nghiên cứu đề tài Công nghệ tri thức xử lý tri thức hệ thống sở liệu Những nội dung nghiên cứu - Tìm hiểu tri thức thể tri thức sở liệu; - Tích hợp xử lý liệu xử lý tri thức thể liệu; - Thử nghiệm sử dụng luật hệ thống liệu; - Ứng dụng với toán đơn vị công tác Phương pháp nghiên cứu - Thu thập liệu - Tìm hiểu vấn đề - Thử nghiệm - Viết báo cáo Ý nghĩa khoa học đề tài - Áp dụng tri thức hệ thống sở liệu - Ứng dụng thực tế Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 Kết cấu luận văn  Chương 1: Trình bày tri thức vai trị tri thức cơng tác quản lí, đào tạo;  Chương 2: Nêu số khía cạnh liên quan đến tổ chức liệu tri thức, hỗ trợ công tác đào tạo trường cao đẳng sư phạm Yên Bái;  Chương 3: Thể lại kết suy diễn với liệu kết học tập sinh viên, học viên;  Phần cuối luận văn kết luận danh sách tài liệu tham khảo, sử dụng trình chuẩn bị luận văn Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 56 Hình 3.2 Nhà trường 3.1.1 Giới thiệu chung Không ngừng mở rộng phát triển, Nhà trường có hệ đào tạo: trung cấp sư phạm mầm non; cao đẳng sư phạm mầm non; cao đẳng sư phạm Tiếng Anh; cao đẳng sư phạm Toán học; cao đẳng sư phạm Vật lý; cao đẳng sư phạm Âm nhạc; cao đẳng sư phạm Mỹ thuật; cao đẳng sư phạm Thể dục; cao đẳng sư phạm Công nghệ; cao đẳng sư phạm Tiểu học; cao đẳng sư phạm Toán - Lý; cao đẳng sư phạm Hoá - Sinh; cao đẳng sư Phạm Địa - Sinh; cao đẳng sư phạm Sinh - Hoá; cao đẳng sư phạm Sinh - Địa; cao đẳng sư phạm Văn - Sử; cao đẳng sư phạm Văn - Giáo dục công dân; cao đẳng Tiếng Anh thương mại du lịch; cao đẳng Tin học; cao đẳng Công nghệ thiết bị trường học; cao đẳng Thư viện - Thông tin Nhà trường liên kết đào tạo Đại học Sư phạm Sinh; Đại học Sư phạm Hoá; Đại học Sư phạm Toán; Đại học Sư phạm Ngữ văn; Đại học Sư phạm Tiểu học; Đại học Sư phạm Tiếng Anh Đại học Sư phạm Mầm non Bên cạnh đó, Nhà trường cịn đảm nhận nhiệm vụ bồi dưỡng giáo viên; đào tạo nghiệp vụ quản lý trường học; đào tạo nghiệp vụ sư phạm tham gia Dự án, Đề án Bộ Giáo dục Đào tạo Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 57 Trong năm qua, cán bộ, giảng viên học sinh, sinh viên Nhà trường tạo điều kiện nghiên cứu, giảng dạy, học tập cách tốt với sở vật chất khang trang trang thiết bị đại Hiện Nhà trường có 20 phịng học kiên cố; 102 phịng ký túc xá; 03 phịng máy tính với 120 máy; phịng học có máy chiếu chuyên dụng phục vụ cho việc ứng dụng cơng nghệ thơng tin dạy học; phịng thí nghiệm, thư viện tầng với 50.000 đầu sách; đủ trang thiết bị phục vụ thực hành môn Vật lý, Hoá học, Sinh học; 02 giảng đường với 500 chỗ ngồi; 01 Nhà Đa chức phục vụ cho hoạt động chung; sân bóng đá, bóng bàn, bóng chuyền, cầu lơng Trong suốt q trình hoạt động phát triển, Trường Cao đẳng Sư phạm Yên Bái đóng góp khơng nhỏ cho nghiệp phát triển giáo dục tỉnh Yên Bái nói riêng nước nói chung Tính đến nay, Nhà trường đã đào tạo khoảng 12.000 giáo viên có trình độ từ trung cấp đến cao đẳng; bồi dưỡng khoảng 6.000 lượt giáo viên Với thành tích đạt được, Nhà trường vinh dự tặng thưởng phần thưởng cao quý Từ năm 2001 đến nay, trường liên tục đạt danh hiệu Tập thể lao động tiên tiến Tập thể lao động xuất sắc, dẫn đầu khối giáo dục chuyên nghiệp thường xuyên tỉnh Yên Bái Nhà trường có thầy giáo vinh dự Nhà nước phong tặng danh hiệu Nhà giáo ưu tú Đảng nhà trường đạt vững mạnh; tổ chức đồn thể hoạt động có hiệu đạt nhiều thành tích Năm 2001, Nhà trường vinh dự Chính phủ tặng thưởng Huân chương Lao động hạng Ba Phát huy thành tích đạt được, năm học tới, Nhà trường phấn đấu 50% giảng viên có trình độ Thạc sỹ, 15% đến 20% giảng viên có trình độ tiến sỹ, chuẩn bị tích cực cho việc nâng cấp Trường Cao đẳng Sư Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 58 phạm Yên Bái thành Trường Đại học Yên Bái vào năm 2015 theo Nghị Tỉnh ủy, HĐND UBND tỉnh Yên Bái 3.1.2 Cơng tác đào tạo Nhà trường có nhiều định liên quan đến công tác quản lý đào tạo Riêng đánh giá kết học tập sinh viên, học viên, nhà trường theo định 25/ 2006/ QDBGDDT, quy chế đào tạo cho trường Đại học Cao đẳng hệ quy Trích phần định : Điều 19 Đánh giá học phần Đối với học phần có lý thuyết có lý thuyết thực hành: Tùy theo tính chất học phần, điểm tổng hợp đánh giá học phần (sau gọi tắt điểm học phần) tính vào phần tất điểm đánh giá phận, bao gồm: điểm kiểm tra thường xuyên qúa trình học tập; điểm đánh giá nhận thức thái độ tham gia thảo luận; điểm đánh giá phần thực hành; điểm chuyên cần; điểm thi học phần; điểm tiểu luận điểm thi kết thúc học phần, điểm thi kết thúc học phần bắt buộc cho trường hợp có trọng số khơng 50% Việc lựa chọn hình thức đánh giá phận trọng số điểm đánh giá phận, cách tính điểm tổng hợp đánh giá học phần giảng viên đề xuất, Hiệu trưởng phê duyệt phải quy định đề cương chi tiết học phần Điều 22 Cách tính điểm đánh giá phận, điểm học phần Điểm đánh giá phận điểm thi kết thúc học phần chấm theo thang điểm 10 (từ đến 10), làm tròn đến chữ số thập phân Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 59 Điểm học phần tổng điểm tất điểm đánh giá phận học phần nhân với trọng số tương ứng Điểm học phần làm trịn đến chữ số thập phân, sau chuyển thành điểm chữ sau: a) Loại đạt:  A (8,5 - 10) Giỏi  B (7,0 - 8,4) Khá  C (5,5 - 6,9) Trung bình  D (4,0 - 5,4) Trung bình yếu b) Loại khơng đạt:  F (dưới 4,0) Kém Hình 3.3 Quyết định Nhà trường Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 60 3.2 Vấn đề cần giải Để thực suy diễn sở liệu điểm sinh viên trường, toán đặt :  Sử dụng sở liệu, theo mơ hình quan hệ, cho phép liệt kê điểm môn học sinh viên Cơ sở liệu sử dụng hệ quản trị ACCESS, tên CSDL-SV;  Một số xử lí liệu thực hệ thống để (i) liệt kê liệu; (ii) OLAP để trợ giúp định, thường thể dạng biểu đồ kết học tập;  Cần suy diễn liệu, với số tri thức dạng luật 3.2.1 Cơ sở liệu kết học tập Để đơn giản, sở liệu gồm hai quan hệ (i) sinh viên; (ii) điểm Hình 3.4 Cấu trúc quan hệ sinh viên Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 61 Hình 3.5 Cấu trúc quan hệ Điểm Hình 3.6 Mối quan hệ bảng quan hệ Hình 3.7 Một số liệu minh hoạ quan hệ Điểm Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 62 Hình 3.8 Một số liệu quan hệ Sinh viên Hình 3.9 Thể liệu khuôn dạng chuẩn ACCESS Cơ sở liệu cho phép người ta thực hiệm phép lưu trữ liệu, tìm kiếm liệu, nhờ cơng cụ hỏi hệ quản trị sở liệu, phép xử lí liệu, (i) thêm; (ii) bớt; (iii) sửa liệu Ngoài ra, người ta sử dụng công cụ thể đồ hoạ, thực phép thống kê, tìm liệu đặc biệt… hệ thống trợ giúp định Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 63 Tuy nhiên, để suy diễn liệu có, cần thiết đề xuất luật suy diễn viết đoạn chương trình suy diễn quan hệ có quan hệ trung gian hệ thống sở liệu quan hệ 9.00 8.00 7.00 6.00 5.00 4.00 3.00 2.00 1.00 0.00 Hình 3.10 Thơng tin trợ giúp định mơn “tốn rời rạc” 10.00 9.00 8.00 7.00 6.00 5.00 4.00 3.00 2.00 1.00 0.00 Hình 3.11 Thơng tin trợ giúp định mơn “tốn cao cấp” Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 64 3.2.2 Một số luật suy diễn Một số câu hỏi cần đến tính tốn thực nhờ câu hỏi hệ quản trị sở liệu Câu suy diễn thực DQL gắn với hệ quản trị sở liệu Chẳng hạn  Câu “tìm sinh viên đăng kí”, nhằm sinh viên có tên danh sách có điểm mơn học;  Câu “tìm sinh viên đăng kí trùng nhóm; nhóm (i) tham gia tình nguyện kì nghỉ hè; (ii) tham gia sản xuất trường”… Chương trình DQL sau : declare DIEM2(maso string[10] pkey,hovaten string[10],toanroirac real,toancaocap real) ext; SV2(masosv string[10] pkey,diachi string[10],dantoc string[10]) ext; sanxuat(maso string[10] pkey,nghe string[10]) ext; tinhnguyen(maso string[10] pkey,nghe string[10]) ext; da_dang_ki(ma_so string[10],ten string[10],dtoc string[10]); trung_nhom(maso string[10],ten string[10]); rules da_dang_ki(X,Y,Z):-SV2(X,_,Z),DIEM2(X,Y,_,_); trung_nhom(X,Y):sanxuat(X,_),tinhnguyen(X,_),da_dang_ki(X,Y,_); restrictions Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 65 incorr_db('Sai suy dien'):-da_dang_ki(X,X,X); Về bảng quan hệ ban đầu, chúng có mơ tả declare sinhvien (maso string[50] pkey, ho string[50], ten string[50], ngaysinh string[10], diachi string[50], gioitinh string[4], dantoc string[50], photo string) ext; diem (maso string[50] pkey, hovaten string[50], toan_roi_rac real, toan_cao_cap real, tin_co_so real, ngoai_ngu real, triet_hoc real, tin_van_phong real, hanh_kiem string[50]) ext; chon (maso string[50] pkey, hovaten string[50], dan_toc string[50]); Hình 3.12 Trang hình Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 66 Hình 3.13 Dữ liệu thí dụ bảng Sinh viên Hình 3.14 Dữ liệu thí dụ bảng Điểm Chương trình suy diễn đơn giản, cho phép kiểm tra số điều kiện liệu, lập luận liệu kết đào tạo trường Cao đẳng sư phạm Yên Bái Các bảng liệu trung gian, sinh trình suy diễn, lưu lại hệ quản trị sở liệu ACCESS bảng quan hệ bình thường Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 67 Hình 3.15 Các bảng quan hệ 3.4 Kết luận Chương giới thiệu Trường Cao đẳng sư phạm Yên Bái Một số công tác quản lý đào tạo, dạy học trường tin học hoá Chương đặt vấn đề để thực suy diễn sở liệu quan hệ, sử dụng công tác quản lý đào tạo Vấn đề đơn giản, thể khía cạnh tìm hiểu lí thuyết nêu phần đầu luận văn Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 68 KẾT LUẬN Luận văn kết luận với liệt kê công việc thực thời gian thực tập, đề xuất nhiệm vụ Một số vấn đề giải Luận văn tìm hiểu lí thuyết tri thức phương pháp xử lí tri thức hệ thống sở liệu Chương đầu trình bày số khái niệm liên quan đến tri thức, đặc điểm tri thức loại tri thức phân loại theo cách cổ điển đại, phân biệt tri thức với liệu Các phương pháp xử lý tri thức thông qua luật lập luận Các kiểu lập luận Tuy chưa đầy đủ kiểu lập luận phổ biến dùng để xử lý tri thức Chương cho thấy công cụ cho phép xử lí tri thức sở liệu quan hệ Ngôn ngữ DQL sử dụng ứng dụng thực tế trường Cao đẳng sư phạm Yên Bái Trong phạm vi đơn giản vấn đề quản lý sinh viên, học viên sở, ngôn ngữ DQL công cụ suy diễn hệ quản trị sở liệu ACCESS đáp ứng yêu cầu đặt Chương giới thiệu Trường Cao đẳng sư phạm Yên Bái Một số công tác quản lý đào tạo, dạy học trường tin học hoá Chương đặt vấn đề để thực suy diễn sở liệu quan hệ, sử dụng công tác quản lý đào tạo Vấn đề đơn giản, thể khía cạnh tìm hiểu lí thuyết nêu phần đầu luận văn Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 69 Phương hướng tiếp tục nghiên cứu Qua việc tìm hiểu tri thức xử lí tri thức, người ta nhìn nhận lại q trình xử lí liệu truyền thống so sánh xử lí tri thức với xử lí liệu Việc kết hợp xử lí tri thức hệ thống sở liệu quan hệ khả thi thuận tiện cho người xử lí liệu Tìm hiểu nghiên cứu triển khai nhiệm vụ cần thực thời gian tới, giai đoạn luận văn Một số nhiệm vụ đặt :  Xử lí tri thức dạng tri thức khác nhau;  Sử dụng nhiều dạng xử lí tri thức liệu kết đào tạo Trường cao đẳng sư phạm yên Bái;  Hồn thiện hệ thống xử lí tri thức hệ quản trị sở liệu ACCESS Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Cơ sở suy diễn với kết đào tạo trường Cao đẳng Sư phạm Yên Bái –Lưu Thị Thanh Hà – CNTT&TT -2011 70 TÀI LIỆU THAM KHẢO [1] Đỗ Trung Tuấn, Hệ chuyên gia, Nxb Giáo dục, 1998 [2] Nguyễn Thanh Thuỷ, Trí tuệ nhân tạo ứng dụng, Nxb Giáo dục, 2004 [3] Bộ GD ĐT, Quyết định 25/ 2006/ QĐ GDDT, 2006 [4] Đỗ Trung Tuấn, Trí tuệ nhân tạo, Nxb Đại học Quốc gia Hà Nội, 2010 [5] http:// vi.wikipedia.org/wiki/Tri_thức, 2011 [6] http://dictionary.reference.com/browse/knowledge, 2011 [7] http://ua.linkedin.com/pub/dmitry-letuchy/29/47a/227, 2011 [8] http://www.datalab.kharcov.ua, 2010 [9] Nguyễn Thị Thu Hiền, luận văn tốt nghiệp, Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội, 2011 [10] Phan Huy Khánh, Lập trình logic Prolog, Nxb Đà Nẵng, 2008 [11] Ullman F., Nguyên lý hệ sở liệu tri thức, Nxb Thống kê, Tập1, 2, Bản dịch Trần Đức Quang, Cadasa, 1998 [12] Vũ Đức Thi, Cơ sở liệu, Nxb Thống kê, 2004 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn