Phương pháp lập luận mờ sử dụng đại số gia tử và mạng nơ ron

i ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG TRẦN THANH TÚ PHƢƠNG PHÁP LẬP LUẬN MỜ SỬ DỤNG ĐẠI SỐ GIA TỬ VÀ MẠNG NƠ RON 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 Tai ngay!!! Ban co the xoa dong chu nay!!! http://www.lrc-tnu.edu.vn/ ii LỜI CẢM ƠN Lời em xin gửi lời cảm ơn chân thành đến toàn thể thầy cô giáo Viện Công nghệ Thông tin, tồn thể q Thầy Cơ trường Đại học Cơng nghệ Thơng tin & Truyền thơng tận tình dạy dỗ tận tình truyền đạt kiến thức quý báu tạo điều kiện thuận lợi cho em suốt trình học tập, nghiên cứu thực luận văn Trong trình làm luận văn em nhận động viên giúp đỡ nhiều thầy cô giáo nhà chuyên môn, xin cảm ơn động viên, gúp đỡ quý báu này, đặc biệt em xin bày tỏ lòng biết ơn tới Thầy giáo PGSTS Nguyễn Văn Long, Trường Đại học Giao thông vận tải - Hà Nội quan tâm hướng dẫn đưa gợi ý, góp ý, chỉnh sửa vô quý báu cho em trình làm luận văn tốt nghiệp Cuối xin chân thành cảm ơn người bạn giúp đỡ, chia với tơi suốt q trình làm luận văn Thái Nguyên, tháng 07 năm 2014 Học viên thực Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ iii MỤC LỤC PHẦN MỞ ĐẦU CHƢƠNG I: PHƢƠNG PHÁP LẬP LUẬN MỜ 1.1 Các khái niệm tập mờ…………………………………………………… 1.1.1 Tập mờ 1.1.2 Các phép toán tập mờ 1.1.3 Các phép toán mở rộng tập mờ 1.1.4 Quan hệ mờ 11 1.2 Logic Mờ…………………………………………………………………………… 13 1.2.1 Biến ngôn ngữ 13 1.2.2 Mệnh đề mờ 15 1.2.3 Các mệnh đề hợp thành 17 1.2.4 Kéo theo mờ (Luật if – then mờ) 18 1.2.5 Phƣơng pháp lập luận xấp xỉ 22 1.3 Phƣơng pháp lập luận mờ đa điều kiện 25 CHƢƠNG 2: PHƢƠNG PHÁP LẬP LUẬN MỜ SỬ DỤNG ĐẠI SỐ GIA TỬ 35 2.1 Đại số gia tử biến ngôn ngữ…………………………………………………….35 2.1.1 Khái niệm biến ngôn ngữ 35 2.1.2 Đại số gia tử biến ngôn ngữ 37 2.2 Độ đo tính mờ ánh xạ định lƣợng ngữ nghĩa 41 2.3 Phƣơng pháp lập luận mờ sử dụng đại số gia tử………………………………… 45 CHƢƠNG 3: PHƢƠNG PHÁP LẬP LUẬN MỜ SỬ DỤNG ĐẠI SỐ GIA TỬ VÀ MẠNG NƠ RƠN 49 3.1 Mạng nơ ron nhân tạo……………………………………………………………….49 3.1.1 Cấu trúc mạng nơ ron nhân tạo 49 3.1.2 Mạng nơ ron RBF (Radial Basic Function) 52 3.2 Phƣơng pháp lập luận mờ sử dụng đại số gia tử mạng nơ ron……………… 55 3.3 Ứng dụng Bài toán xấp xỉ mơ hình mờ EX1 Cao – Kandel 56 3.3 Ứng dụng (Bài toán điều khiển mơ hình máy bay hạ cánh)….……………… 63 KẾT LUẬN 74 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ iv TÀI LIỆU THAM KHẢO 75 DANH MỤC CÁC HÌNH Hình 1.1 Các hàm thuộc khác số tập mờ số gần Hình 1.2 Các tập mờ “tốc độ chậm”, “tốc độ trung bình”, “tốc độ nhanh” Hình 1.3 Hàm thuộc tập mờ “nhiệt độ cao” 14 Hình 1.4 Các tập mờ “Chậm”, “Nhanh”, Trung bình” 15 Hình 1.5 Tập mờ “tuổi trẻ” 17 Hình 1.6 Minh họa phương pháp mờ hóa 31 Hình 3.1 Một mạng nơ ron đơn giản gồm hai nơ ron 50 Hình 3.2 Mơ hình nơ ron nhân tạo 51 Hình 3.4 Đường cong thực nghiệm mơ hình EX1 57 Hình 3.5 Kết xấp xỉ mơ hình EX1 vHAR 60 Hình 3.6 Các hàm thuộc tập mờ biến h 64 Hình 3.7 Các hàm thuộc tập mờ biến v 64 Hình 3.8 Các hàm thuộc tập mờ biến f 64 Hình 3.9 Quỹ đạo hạ cánh mơ hình máy bay-điều khiển sử dụng vHAR64 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ v DANH MỤC CÁC BẢNG Bảng 1.1 Ví dụ tập mờ Bảng 2.1 Các giá trị ngôn ngữ biến HEALTH AGE 36 Bảng 2.2 Ví dụ tính âm dương gia tử 39 Bảng 3.1 Mơ hình EX1 Cao – Kandel 56 Bảng 3.2 Các kết xấp xỉ EX1 tốt Cao - Kandel [20] 57 Bảng 3.3 Mô hình định lượng ứng với vPAR1 – ứng dụng 59 Bảng 3.4 Các nhãn tập mờ biến ngôn ngữ h, v, f 63 Bảng 3.5 Mơ hình FAM toán hạ cánh máy bay 65 Bảng 3.6 Kết điều khiển sử dụng lập luận mờ qua chu kỳ 65 Bảng 3.7 Mơ hình SAM ứng với vPAR2 – ứng dụng 67 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ vi DANH MỤC VIẾT TẮT FAM : Fuzzy Associate Memory SAM : Semantization Associate Memory ĐSGT : Đại số gia tử Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ PHẦN MỞ ĐẦU Đặt vấn đề Đại số gia tử (ĐSGT) đời vào năm 1990 nghiên cứu phát triển từ đến thu nhiều kết quan trọng Có thể thấy ĐSGT phương pháp lập luận mờ sử dụng ĐSGT ứng dụng vào số lĩnh vực xây dựng mơ hình sở liệu mờ Đánh giá kết học tập giải tốn hướng nghiệp cho học sinh phổ thơng Gần phương pháp lập luận mờ sử dụng ĐSGT ứng dụng vào lĩnh vực điều khiển mờ Các kết ứng dụng bước đầu cho thấy toán sử dụng tiếp cận ĐSGT cho kết tốt nhiều so với toán sử dụng tiếp cận mờ truyền thống Đề tài luận văn tập trung nghiên cứu phương pháp lập luận mờ sử dụng đại số gia tử, đặc biệt nghiên cứu việc sử dụng mạng nơ ron để thay phép kết nhập phương pháp lập luận mờ sử dụng ĐSGT Mục tiêu đề tài - Nghiên cứu khái niệm đại số gia tử, phương pháp lập luận mờ sử dụng đại số gia tử - Nghiên cứu khái niệm mạng nơ ron - Nghiên cứu ứng dụng mạng nơ ron phương pháp lập luận mờ sử dụng đại số gia tử Phạm vi đề tài - Nghiên cứu khái niệm đại số gia tử, phương pháp lập luận mờ sử dụng đại số gia tử Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ - Nghiên cứu ứng dụng mạng nơ ron phương pháp lập luận mờ sử dụng đại số gia tử Phƣơng pháp nghiên cứu + Nghiên cứu tài liệu, báo tạp chí internet viết tổng quan để nắm vững nội dung lý thuyết chuyên ngành khả ứng dụng + Nghiên cứu so sánh tìm khác biệt cách tiếp cận, phương pháp lập luận làm sở cho việc đề xuất giải pháp đề tài + Lập trình mơ thuật tốn máy tính để thuận lợi nghiên cứu hiệu phương pháp Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ CHƢƠNG I: PHƢƠNG PHÁP LẬP LUẬN MỜ 1.1 Các khái niệm tập mờ 1.1.1 Tập mờ Các tập mờ xác định hàm thuộc mà giá trị số thực từ đến Chẳng hạn tập mờ người thoả mãn tính chất người trẻ (gọi tập mờ người trẻ) xác định hàm thuộc nhận giá trị tất người 30 tuổi, nhận giá trị tất người 60 tuổi nhận giá trị giảm dần từ tới tuổi từ 30 đến 60 Nguoitre={1/0, 1/10, 1/20, 1/30, 0.75/40, 0.5/50, 0.25/60, 0/70, 0/80, 0/90, 0/100} Một tập mờ A vũ trụ U xác định hàm A: U  [0,1] Hàm A gọi hàm thuộc (hàm đặc trưng) tập mờ A A(x) gọi mức độ thuộc x vào tập mờ A Tập mờ A vũ trụ U biểu diễn tập tất cặp phần tử mức độ thuộc nó: A = { (x, A(x)) | x  U} Ví dụ: Giả sử điểm thi cho từ đến 10, U = {0, 1, …, 10} Chúng ta xác định ba tập mờ A = “điểm khá”, B = “điểm trung bình”, C = “điểm kém” cách cho mức độ thuộc điểm vào tập mờ sau: Bảng 1.1 Ví dụ tập mờ Điểm A 0 0 Số hóa Trung tâm Học liệu B C 0 0,25 0,5 0,75 1 0,75 0,5 http://www.lrc-tnu.edu.vn/ 10 0,25 0,5 0,75 1 1 0,75 0,5 0,25 0 0,25 0 0 Sau ký hiệu truyền thống biểu diễn tập mờ Nếu vũ trụ U rời rạc hữu hạn tập mờ A vũ trụ U biểu diễn sau: A  A ( x) xU x Ví dụ: Giả sử U={a, b, c, d, e}, ta xác định tập mờ A sau: A 0,7 0,3 0,5     a b c d e Khi vũ trụ U liên tục, người ta sử dụng cách viết sau để biểu diễn tập mờ A sau: A    A ( x) / x U Trong đó, dấu tích phân (dấu tổng trên) khơng có nghĩa tích phân mà để tập hợp tất phần tử x gắn với mức độ thuộc Ví dụ: Tập mờ A = “số gần 2” xác định hàm thuộc   ( x2) sau:  A ( x)  e , viết A   e ( x  2) / x 2  Cần ý rằng, hàm thuộc đặc trưng cho tập mờ số gần xác định cách khác, chẳng hạn Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 62 zz(i)=zz(i)+w(j)*hh(i,j); end; end; for i=1:1:m dta=0; for j=1:1:m dta=dta+hh(i,j)*(zn(j)-zz(j)); end w(i)=w(i)+alpha*dta; zz(i)=0; for j=1:1:m zz(i)=zz(i)+w(j)*hh(i,j); end end E=0; for i=1:1:m E=E+(zn(i)-zz(i))*(zn(i)-zz(i)); end E=E/2; if (E