Đang tải... (xem toàn văn)
Untitled TRƯỜNG ĐẠI HỌC ĐIỆN LỰC KHOA CÔNG NGHỆ THÔNG TIN BÁO CÁO CHUYÊN ĐỀ HỌC PHẦN PHÂN TÍCH THIẾT KẾ HƯỚNG ĐỐI TƯỢNG ĐỀ TÀI PHÂN TÍCH VÀ THIẾT KẾ Hà Nội, tháng 09 năm 2022 Sinh viên thực hiện Giả[.]
lOMoARcPSD|18034504 TRƯỜNG ĐẠI HỌC ĐIỆN LỰC KHOA CÔNG NGHỆ THÔNG TIN BÁO CÁO CHUYÊN ĐỀ HỌC PHẦN PHÂN TÍCH THIẾT KẾ HƯỚNG ĐỐI TƯỢNG ĐỀ TÀI: PHÂN TÍCH VÀ THIẾT KẾ Sinh viên thực : TRẦN MINH ĐỨC NGUYỄN QUỐC HÀ PHAN TIẾN ĐẠI Giảng viên hướng dẫn : VŨ VĂN ĐỊNH Ngành : CÔNG NGHỆ THÔNG TIN Chuyên ngành : NHẬP MƠN TRÍ TUỆ NHÂN TẠO Lớp : D15CNPM4 Khoá : 2020-2025 Hà Nội, tháng 09 năm 2022 lOMoARcPSD|18034504 PHIẾU CHẤM ĐIỂM Sinh viên thực hiện: Họ tên Chữ ký Ghi Trần Minh Đức Giảng viên chấm: Họ tên Giảng viên chấm : Giảng viên chấm : Chữ ký Ghi lOMoARcPSD|18034504 MỤC LỤC lOMoARcPSD|18034504 LỜI CẢM ƠN Trong thời gian làm báo cáo môn học, chúng em nhận nhiều giúp đỡ, đóng góp ý kiến bảo nhiệt tình thầy cơ, gia đình bạn bè Chúng em xin gửi lời cảm ơn chân thành đến giảng viên Vũ Văn Định, giảng viên Bộ môn nhập môn trí tuệ nhân tạo - trường Đại học Điện Lực người tận tình hướng dẫn, bảo em suốt trình học tập, nghiên cứu Em xin chân thành cảm ơn thầy cô giáo trường Đại học Điện Lực nói chung, thầy khoa cơng nghệ thơng tin nói riêng dạy dỗ cho em kiến thức môn đại cương mơn chun ngành, giúp em có sở lý thuyết vững vàng tạo điều kiện giúp đỡ em suốt trình học tập Cuối cùng, em xin chân thành cảm ơn! lOMoARcPSD|18034504 CHƯƠNG I Giới thiệu tổng quan 1.1 Giới thiệu trí tuệ nhân tạo 1.1.1 Trí tuệ nhân tạo gì: Để hiểu trí tuệ nhân tạo (Artificial Intelligence) bắt đầu với khái niệm bay nhân tạo (flying machines), tức máy bay Đã từ lâu, loài người mong muốn làm máy mà di chuyển không trung mà không phụ thuộc vào địa hình mặt đất, hay nói cách khác máy bay Khơng có ngạc nhiên ý tưởng làm máy bay từ nghiên cứu cách chim bay Những máy biết bay thiết kế theo nguyên lý “vỗ cánh” chim bay quãng đường ngắn lịch sử hàng không thực sang trang kể từ anh em nhà Wright thiết kế máy bay dựa nguyên lý khí động lực học (aerodynamics) Các máy bay nay, thấy, có sức trở lớn bay qng đường vịng quanh giới Nó khơng thiết phải có ngun lý bay chim bay chim (dáng vẻ), tốt chim Quay lại câu hỏi Trí tuệ nhân tạo Trí tuệ nhân tạo trí thơng minh máy người tạo Ngay từ máy tính điện tử đời, nhà khoa học máy tính hướng đến phát hệ thống máy tính (gồm phần cứng phần mềm) cho có khả thơng minh lồi người Mặc dù nay, theo quan niệm người viết, ước mơ xa thành thực, thành tựu đạt không nhỏ: làm hệ thống (phần mềm chơi cờ vua chạy siêu máy tính Gene Blue) thắng vua cờ giới; làm phần mềm chứng minh tốn hình học; v.v Hay nói cách khác, số lĩnh vực, máy tính thực tốt tương đương người (tất nhiên tất lĩnh vực) Đó hệ thống thơng minh Có nhiều cách tiếp cận để làm trí thơng minh máy (hay trí tuệ nhân tạo), chẳng hạn nghiên cứu cách não người sản sinh trí thơng minh lồi người ta bắt chước nguyên lý đó, có cách khác sử dụng nguyên lý hồn tồn khác với cách sản sinh trí thơng minh lồi người mà làm máy thông minh người; giống máy bay bay tốt chim có chế bay khơng phải giống chế bay chim Như vậy, trí tuệ nhân tạo nói đến khả máy thực công việc mà người thường phải xử lý; dáng vẻ ứng xử kết thực máy tốt tương đương với người ta gọi máy thơng minh hay máy có trí thơng minh Hay nói cách khác, đánh giá thơng minh máy khơng phải dựa ngun lý thực nhiệm vụ có giống cách người thực hay không mà dựa kết dáng vẻ ứng xử bên ngồi có giống với kết dáng vẻ ứng xử người hay không Các nhiệm vụ người thường xuyên phải thực là: giải tốn (tìm kiếm, chứng minh, lập luận), học, giao tiếp, thể cảm xúc, thích nghi với mơi trường xung quanh, v.v., dựa kết thực nhiệm vụ để kết luận có thơng minh hay khơng Mơn học Trí tuệ nhân tạo nhằm cung cấp phương pháp luận để làm hệ thống có khả thực nhiệm vụ đó: giải tốn, học, giao tiếp, v.v cách làm có người hay khơng mà kết đạt dáng vẻ bên người Khi máy móc ngày tăng khả năng, nhiệm vụ coi cần "trí thơng minh" thường bị loại bỏ khỏi định nghĩa AI, tượng gọi hiệu ứng AI Một lOMoARcPSD|18034504 câu châm ngơn Định lý Tesler nói "AI điều chưa thực hiện."Ví dụ, nhận dạng ký tự quang học thường bị loại trừ khỏi thứ coi AI, trở thành công nghệ thông thường khả máy đại thường phân loại AI bao gồm thành công hiểu lời nói người, cạnh tranh mức cao trò chơi chiến lược (chẳng hạn cờ vua Go), xe hoạt động độc lập, định tuyến thông minh mạng phân phối nội dung, mô qn Trí tuệ nhân tạo phân thành ba loại hệ thống khác nhau: trí tuệ nhân tạo phân tích, lấy cảm hứng từ người nhân tạo AI phân tích có đặc điểm phù hợp với trí tuệ nhận thức; tạo đại diện nhận thức giới sử dụng học tập dựa kinh nghiệm khứ để thông báo định tương lai AI lấy cảm hứng từ người có yếu tố từ trí tuệ nhận thức cảm xúc; hiểu cảm xúc người, yếu tố nhận thức xem xét chúng việc định AI nhân cách hóa cho thấy đặc điểm tất loại lực (nghĩa trí tuệ nhận thức, cảm xúc xã hội), có khả tự ý thức tự nhận thức tương tác Trí tuệ nhân tạo thành lập môn học thuật vào năm 1956, năm sau trải qua nhiều sóng lạc quan, sau thất vọng kinh phí (được gọi " mùa đông AI "), cách tiếp cận mới, thành công tài trợ Trong phần lớn lịch sử mình, nghiên cứu AI chia thành trường thường không liên lạc với nhau.Các trường dựa cân nhắc kỹ thuật, chẳng hạn mục tiêu cụ thể (ví dụ: " robot học " "học máy"), việc sử dụng công cụ cụ thể ("logic" mạng lưới thần kinh nhân tạo) khác biệt triết học sâu sắc Các ngành dựa yếu tố xã hội (các tổ chức cụ thể công việc nhà nghiên cứu cụ thể) Lĩnh vực thành lập dựa tun bố trí thơng minh người "có thể mơ tả xác đến mức cỗ máy chế tạo để mơ nó" Điều làm dấy lên tranh luận triết học chất tâm trí đạo đức tạo sinh vật nhân tạo có trí thơng minh giống người, vấn đề thần thoại, viễn tưởng triết học từ thời cổ đại đề cập tới Một số người coi AI mối nguy hiểm cho nhân loại tiến triển khơng suy giảm Những người khác tin AI, không giống cách mạng công nghệ trước đây, tạo nguy thất nghiệp hàng loạt Trong kỷ 21, kỹ thuật AI trải qua hồi sinh sau tiến đồng thời sức mạnh máy tính, liệu lớn hiểu biết lý thuyết; kỹ thuật AI trở thành phần thiết yếu ngành công nghệ, giúp giải nhiều vấn đề thách thức học máy, công nghệ phần mềm nghiên cứu vận hành Trong mơn học này, tìm hiểu phương pháp để làm cho máy tính biết cách giải toán, biết cách lập luận, biết học, v.v 1.1.2 Lĩnh vực AI: Lập luận, suy diễn tự động: khái niệm lập luận (reasoning), suy diễn (reference) sử dụng phổ biến lĩnh vực AI Lập luận suy diễn logic, dùng để tiến trình rút kết luận (tri thức mới) từ giả thiết cho (được biểu diễn dạng sở tri thức) Như vậy, để thực lập luận người ta cần có phương pháp lưu trữ sở tri thức thủ tục lập luận sở tri thức Biểu diễn tri thức: Muốn máy tính lưu trữ xử lý tri thức cần có phương pháp biểu diễn tri thức Các phương pháp biểu diễn tri thức bao gồm ngôn ngữ biểu diễn kỹ thuật xử lý tri thức Một ngôn ngữ biểu diễn tri thức đánh giá “tốt” có tính biểu đạt cao tính hiệu thuật tốn lập luận ngơn ngữ Tính biểu đạt ngơn ngữ thể khả biểu diễn phạm vi lOMoARcPSD|18034504 rộng lớn thông tin miền ứng dụng Tính hiệu thuật tốn lập luận thể chi phí thời gian không gian dành cho việc lập luận Tuy nhiên, hai yếu tố dường đối nghịch nhau, tức ngơn ngữ có tính biểu đạt cao thuật tốn lập luận có độ phức tạp lớn (tính hiệu thấp) ngược lại (ngơn ngữ đơn giản, có tính biểu đạt thấp thuật tốn lập luận có hiệu cao) Do đó, thách thức lớn lĩnh vực AI xây dựng ngôn ngữ biểu diễn tri thức mà cân hai yếu tố này, tức ngơn ngữ có tính biểu đạt đủ tốt (tùy theo ứng dụng) lập luận hiệu Lập kế hoạch: khả suy mục đích cần đạt nhiệm vụ đưa ra, xác định dãy hành động cần thực để đạt mục đích Học máy: lĩnh vực nghiên cứu AI phát triển mạnh mẽ có nhiều ứng dụng lĩnh vực khác khai phá liệu, khám phá tri thức… Xử lý ngôn ngữ tự nhiên: nhánh AI, tập trung vào ứng dụng ngôn ngữ người Các ứng dụng nhận dạng tiếng nói, nhận dạng chữ viết, dịch tự động, tìm kiếm thơng tin… Hệ chun gia: cung cấp hệ thống có khả suy luận để đưa kết luận Các hệ chuyên gia có khả xử lý lượng thơng tin lớn cung cấp kết luận dựa thông tin Có nhiều hệ chuyên gia tiếng hệ chuyên gia y học MYCIN, đoán nhận cấu trúc phân tử từ cơng thức hóa học DENDRAL… 1.1.3 Tác động: Sau nhà vật lý học Stephen Hawking Elon Musk cảnh báo mối đe dọa tiềm ẩn trí tuệ nhân tạo, nhiều người cho họ lo xa AI giúp ích nhiều cho sống Stephen Hawking khẳng định “Trí tuệ nhân tạo dấu chấm hết cho nhân loại phát triển đến mức hoàn thiện nhất” Tác động trí tuệ nhân tạo mà dễ dàng nhận thấy tỷ lệ thất nghiệp tăng cao Nếu AI phát triển hồn thiện, có khả thay người cơng việc trí tuệ chăm sóc sức khỏe, phục vụ, sản xuất theo dây chuyền tự động, cơng việc văn phịng Hoặc vấn đề thất nghiệp AI giải cách mà khơng thể hình dung Theo Bill Joy, người đồng sáng lập Giám đốc khoa học Sun Microsystems: "Có vấn đề lớn xã hội loài người AI trở nên phổ biến, bị lệ thuộc Khi AI trở nên hoàn thiện thơng minh hơn, cho phép nghe theo định máy móc, đơn giản cỗ máy ln đưa định xác người." Theo Andrew Maynard, nhà vật lý người giám đốc Trung tâm nghiên cứu rủi ro khoa học đại học Michigan: "Khi AI kết hợp với cơng nghệ nano bước tiến đột phá khoa học, mối đe dọa lớn người Trong Bộ quốc phòng Mỹ nghiên cứu dự án Autonomous Tactical Robot (EATR), robot sử dụng công nghệ nano để hấp thụ lượng chất hữu thể người Đó thực mối đe dọa lớn nhất, robot nano tự tạo lượng cách ăn chất hữu từ cối động vật, người Nghe giống phim viễn tưởng, điều hồn tồn xảy Có lẽ nên bắt đầu cẩn thận từ bây giờ." 1.2 Thuật toán quay lui (Backtracking) lOMoARcPSD|18034504 1.2.1 Thuật tốn quay lui (Backtracking) gì? Quay lui kĩ thuật thiết kế giải thuật dựa đệ quy Ý tưởng quay lui tìm lời giải bước, bước chọn số lựa chọn đệ quy Người đề thuật ngữ (backtrack) nhà toán học người Mỹ D H Lehmer vào năm 1950 1.2.2 Tư tưởng Dùng để giải toán liệt kê cấu hình Mỗi cấu hình xây dựng phần tử Mỗi phần tử lại chọn cách thử tất khả Các bước việc liệt kê cấu hình dạng X[1 n]: Xét tất giá trị X[1] nhận, thử X[1] nhận giá trị Với giá trị X[1] ta sẽ: Xét tất giá trị X[2] nhận, lại thử X[2] cho giá trị Với giá trị X[2] lại xét khả giá trị X[3] tiếp tục bước: Xét tất giá trị X[n] nhận, thử cho X[n] nhận giá trị Thơng báo cấu hình tìm Bản chất quay lui q trình tìm kiếm theo chiều sâu(Depth-First Search) 1.2.3 Mơ hình thuật tốn Mã giải cho thuật tốn quay lui: 1.2.4 Nhân xét - Ưu điểm: Việc quay lui thử tất tổ hợp để tìm lời giải Thế mạnh phương pháp nhiều cài đặt tránh việc phải thử nhiều trường hợp chưa hồn chỉnh, nhờ giảm thời gian chạy - Nhược điểm: Trong trường hợp xấu độ phức tạp quay lui cấp số mũ Vì mắc phải nhược điểm sau: + Rơi vào tình trạng "thrashing": trình tìm kiếm gặp phải bế tắc với nguyên nhân + Thực công việc dư thừa: Mỗi lần quay lui, cần phải đánh giá lại lời giải đơi lúc điều khơng cần thiết + Không sớm phát khả bị bế tắc tương lai Quay lui chuẩn, khơng có chế nhìn tương lai để nhận biết đc nhánh tìm kiếm vào bế tắc lOMoARcPSD|18034504 1.3 Trị chơi sudoku 1.3.1 Bài tốn sudoku Sudoku có tên gọi tiếng Anh Number Place, trò chơi câu đố xếp chữ số dựa logic theo tổ hợp Sudoku cho sẵn vài số nằm vị trí Nhiệm vụ người chơi điền chữ số vào lưới 9×9 cho hàng, cột, phần số chín lưới 3×3 cấu tạo nên lưới chứa tất chữ số từ tới Sudoku xuất Mỹ với tên gọi Đặt vị trí số” - Number Place Sau du nhập vào Nhật nhà xuất Nikoli đổi tên thành Sudoku có nghĩa có số Trải qua thời gian, Sudoku trở thành trị chơi trí tuệ u thích nhiều quốc gia 1.3.2 Luật chơi Sudoku có nhiều biến thể thay đổi kích thước số lượng trị chơi cịn lối chơi giữ nguyên Ở phiên chuẩn (bản gốc) có kích thước 9x9 (ơ nhỏ) chia thành vùng, vùng có kích thước 3x3 Các vùng nhóm lại phân tách với viền đen đậm so với ô nhỏ Luật chơi Sudoku điền kín cịn lại với điều kiện: Các hàng ngang: Phải có đủ số từ đến 9, không trùng số không cần thứ tự Các hàng dọc: Đảm bảo có đủ số từ 1-9, không trùng số, không cần theo thứ tự Mỗi vùng x 3: Phải có đủ số từ 1-9 không trùng số vùng x3 1.3.3 Ý tưởng lOMoARcPSD|18034504 Chương trình giải dựa thuật tốn quay lui Bằng việc liệt kê tình huống, thử khả tìm thấy lời giải đúng, thuật tốn quay lui chia nhỏ toán, lời giải toán lớn kết việc tìm kiếm theo chiều sâu tập hợp toán phần tử Trong suốt trình tìm kiếm gặp phải hướng mà biết khơng thể tìm thấy đáp án quay lại bước trước tìm hướng khác hướng vừa tìm kiếm Trong trường hợp khơng cịn hướng khác thuật toán kết thúc lOMoARcPSD|18034504 CHƯƠNG II: CẤU TRÚC DỮ LIỆU VÀ GIẢI THUẬT BÀI TOÁN ... tâm trí đạo đức tạo sinh vật nhân tạo có trí thơng minh giống người, vấn đề thần thoại, viễn tưởng triết học từ thời cổ đại đề cập tới Một số người coi AI mối nguy hiểm cho nhân loại tiến triển... động, cơng việc văn phịng Hoặc vấn đề thất nghiệp AI giải cách mà khơng thể hình dung Theo Bill Joy, người đồng sáng lập Giám đốc khoa học Sun Microsystems: "Có vấn đề lớn xã hội loài người AI trở... hiểu biết lý thuyết; kỹ thuật AI trở thành phần thiết yếu ngành công nghệ, giúp giải nhiều vấn đề thách thức học máy, công nghệ phần mềm nghiên cứu vận hành Trong mơn học này, tìm hiểu phương