TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP HÀ NỘI KHOA CÔNG NGHỆ THÔNG TIN ======***====== BÁO CÁO BTL THUỘC HỌC PHẦN Trí Tuệ Nhân Tạo Đề Tài Tìm hiểu logic mệnh đề, suy diễn tiến và ứng dụng vào bài toán giải tam gi[.]
TRƯỜNG ĐẠI HỌC CÔNG NGHIỆP HÀ NỘI KHOA CÔNG NGHỆ THƠNG TIN ======***====== BÁO CÁO BTL THUỘC HỌC PHẦN: Trí Tuệ Nhân Tạo Đề Tài Tìm hiểu logic mệnh đề, suy diễn tiến ứng dụng vào toán giải tam giác lượng Hà nội, Năm 2023 Mục Lục Mục Lục Lời nói đầu CHƯƠNG 1: TỔNG QUAN VỀ TRÍ TUỆ NHÂN TẠO 1.1 Giới thiệu đề tài 1.1.1 Tên đề tài .5 1.1.2 Mục đích 1.1.3 Phạm vi đối tượng nghiên cứu .5 1.1.4 Nội dung thực .5 1.2 Tìm hiểu Trí tuệ nhân tạo .5 1.2.1 Khái niệm 1.2.2 Lợi ích .7 1.2.3 Mặt trái .8 1.3 Tìm hiểu Logic mệnh đề, suy diễn tiến 10 1.3.1 Khái niệm logic mệnh đề 10 1.3.2 Suy diễn tiến .10 CHƯƠNG 2: Bài toán giải tam giác lượng .11 2.1 Tổng quát tam giác lượng 11 2.2 Xây dựng toán 12 2.3 Biểu diễn tri thức .12 2.4 Giải Thuật Suy diễn tiến 15 2.5 Tính tốn trình bày kết 17 2.5.1Tính tốn 17 2.5.2 Trình bày kết 18 CHƯƠNG 3: CHƯƠNG TRÌNH CÀI ĐẶT VÀ KẾT QUẢ 19 3.1 Giới thiệu C# 19 3.2 Cài đặt 19 3.3 Giao diện toán giải tam giác 32 Kết luận .34 Danh mục hình ảnh Hình Xe khơng người lái sử dụng trí tuệ nhân tạo Hình Robot trí tuệ nhân tạo Việt Nam mang tên Trí Nhân Hình Tam Giác 12 Hình Hình ảnh sơ đồ tư duy, hệ thức lượng giải tam giác 13 Hình Hình ảnh trình chuyển đổi MSIL code thành native code 20 Hình Hình ảnh giao diện toán giải tam giác 33 Hình Hình ảnh tốn tam giác 34 Hình Hình ảnh kết tốn .34 Lời nói đầui nói đầuu Trí tuệ nhân tạo lĩnh vực khoa học máy tính với mục tiêu nghiên cứu xây dựng ứng dụng hệ thống thông minh nhân tạo Đây lĩnh vực quan tâm nghiên cứu nhiều khoa học máy tính với nhiều kết ứng dụng rộng rãi Mơn học trí tuệ nhân tạo mơn học mang tính chun ngành chương trình đào tạo cơng nghệ thông tin hệ đại học Mục tiêu môn học nhằm giúp sinh viên làm quen với khái niệm trí tuệ nhân tạo thông qua việc giới thiệu số kỹ thuật ứng dụng cụ thể Với việc học trí tuệ nhân tạo, mặt, sinh viên làm quen với phương pháp, cách giải vấn đề khơng thuộc lĩnh vực tốn rời rạc giải thuật truyền thống, phương pháp dựa tri thức, liệu Mặt khác, sinh viên làm quen với khả ứng dụng tiềm tàng kỹ thuật trí tuệ nhân tạo nhiều tốn thực tế Nhóm 19 chọn đề tài “Tìm hiểu logic mệnh đề, suy diễn tiến ứng dụng vào toán giải tam giác lượng” nhằm tìm hiểu sâu liệu cách khai thác sử dụng hiệu quả, từ việc giải tam giác trở nên dễ dàng trí thơng minh nhân tạo CHƯƠNG 1: TỔNG QUAN VỀ TRÍ TUỆ NHÂN TẠO 1.1 Giới thiệu đề tài 1.1.1 Tên đề tài - Bài toán giải tam giác lượng 1.1.2 Mục đích - Tìm hiểu logic mệnh đề, suy diễn tiến - Đánh giá hiệu thuật toán 1.1.3 Phạm vi đối tượng nghiên cứu - Phạm vi nghiên cứu: Tam giác lượng - Đối tượng nghiên cứu: Suy diễn tiến 1.1.4 Nội dung thực - Tìm hiểu Logic mệnh đề - Tìm hiểu suy diễn tiến - Sử dụng liệu vào thử nghiệm đánh giá 1.2 Tìm hiểu Trí tuệ nhân tạo 1.2.1 Khái niệm Trí tuệ nhân tạo hay trí thơng minh nhân tạo (Artificial Intelligence – viết tắt AI) ngành thuộc lĩnh vực khoa học máy tính (Computer science) Là trí tuệ người lập trình tạo nên với mục tiêu giúp máy tính tự động hóa hành vi thông minh người Công nghệ AI tạo máy móc hệ thống thơng minh thơng qua việc sử dụng mơ hình máy tính, kỹ thuật cơng nghệ liên quan, giúp thực công việc yêu cầu trí thơng minh người Nhìn chung, ngành học rộng, bao gồm yếu tố tâm lý học, khoa học máy tính kỹ thuật Một số ví dụ phổ biến AI kể đến ô tô tự lái, phần mềm dịch thuật tự động, trợ lý ảo điện thoại hay đối thủ ảo chơi trò chơi điện thoại Trí tuệ nhân tạo nhánh khoa học công nghệ liên quan đến việc làm cho máy tính có lực trí tuệ cong người, tiêu biểu khả biết suy nghĩ lập luận để giải vấn đề, biết giao tiếp hiểu ngơn ngữ tiếng nói, biết học tự thích nghi Hình Xe khơng người lái sử dụng trí tuệ nhân tạo Trí tuệ khả phản ứng cách thích hợp tình thơng qua hiệu chỉnh hành vi cách thích đáng Hiểu rõ mối liên hệ qua lại kiện giới bên nhằm đưa hành động phù hợp đạt tới mục đích Hiện nhiều nhà nghiên cứu quan niệm rằng, TTNT lĩnh vực nghiên cứu thiết kế tác nhân thông minh (Intelligent Agent) Tác nhân thông minh tồn mơi trường hành động cách thông minh 1.2.2 Lợi ích Có thể nói trí tuệ nhân tạo AI khơng chỉ đơn phần mềm máy tính có tính logic mà chúng cịn chứa đựng trí tuệ người Chúng biết suy nghĩ, lập luận để giải vấn đề, giao tiếp với người Chính tính vượt trội mà AI có lợi ích vơ lớn + Phát ngăn chặn rủi ro AI giúp người dự báo trước rủi ro mối nguy hại tiềm ẩn hạn chế thiệt hại đem lại Các rủi ro AI nhận biết như: Thảm họa thiên nhiên, động đất, sóng thần, núi lửa, dịch bệnh hay có mối nguy hại sản xuất kinh doanh + Hạn chế sử dụng sức lao động người Nhờ trình học máy tạo robot công nghiệp đời sống Con người tốn nhiều sức lao động sản xuất, vận hành Giờ đây, máy móc robot thay người làm việc + Xóa bỏ khoảng cách ngôn ngữ Công nghệ AI giúp người Quốc gia nói chuyện hiểu nhau, thoải mái tiếp xúc Có thêm nhiều hội để học tập làm việc khắp giới Cá nhân hóa Cơng nghệ AI đánh giá thích ứng học hỏi đối tượng mà phục vụ Từ đó, đưa phản ứng phù hợp cho đối tượng riêng biệt Hình Robot trí tuệ nhân tạo Việt Nam mang tên Trí Nhân 1.2.3 Mặt trái - Hẳn bạn nghe nói đến Sophia, robot trí tuệ nhân tạo cấp quyền cơng dân giới, thiết kế phát triển công ty công nghệ Mỹ kích hoạt lần năm 2015 Sophia thiết kế để suy nghĩ cử động cho giống với người đồng thời trang bị trí tuệ thơng minh nhân tạo Mục đích chế tạo Sophia - theo nhà sản xuất - nhằm phát minh robot có ý thức, có sáng tạo có khả hoạt động người để giúp đỡ người vấn đề sống thường ngày như: phục vụ chăm sóc sức khỏe, hỗ trợ điều trị y tế, giáo dục nhiều dịch vụ khác Cuộc hội thoại gây sốc Sophia với "cha đẻ" - Chúng ta tự hỏi rằng, ngày đối mặt với AI hoàn thiện Sophia, đứng vị nào? Một AI có quyền cơng dân hồn tồn bình đẳng chúng ta, thông minh nhiều lần, hiểu biết gấp hàng ngàn lần chúng ta, tính tốn xử lý nhanh gấp hàng triệu lần chúng ta, sai sót, khơng biết mệt mỏi, khơng đau ốm hay bệnh tật, không đòi hỏi nghỉ ngơi, đòi hỏi người khác quan tâm hay giúp đỡ Và đặc biệt AI tự học hỏi nâng cấp không ngừng - Chúng ta suy nghĩ gặp AI chỉ đời từ ngày hôm qua không cần phải trải qua nhiều chục năm học hành với nhiều nỗ lực chúng ta, AI với mức chi phí sản xuất rẻ hàng trăm lần so với chi phí để ni dạy ta khơn lớn thành người, AI mang lại hiệu công việc cao thân ta gấp hàng chục lần mà khơng địi hỏi lương với mức lương khơng đáng kể Chúng ta suy nghĩ AI đối xử với người bề hướng dẫn, chăm sóc, bảo vệ kẻ bề dưới? Khi đó, liệu có cảm thấy tồn xấu xí, thừa thãi, vơ dụng? - Trong năm gần đây, việc ứng dụng AI cho phép hệ thống vũ khí tự động lựa chọn công mục tiêu gây nhiều tranh cãi mặt đạo đức Những ý kiến chỉ trích cho hệ thống đe dọa đến an ninh quốc tế báo trước chiến tranh giới lần thứ ba sau súng đạn bom nguyên tử Những quy tắc ranh giới cho AI quan trọng so với lĩnh vực khác xuất trước Thế nhưng, với tốc độ phát triển chóng mặt trí tuệ nhân tạo vài tập đoàn lớn (và nghiên cứu bí mật), tổ chức phủ chịu trách nhiệm quy định dường theo kịp 1.3 Tìm hiểu Logic mệnh đề, suy diễn tiến 1.3.1 Khái niệm logic mệnh đề - Cần công cụ để biểu diễn sử dụng tri thức người Logic: “Khoa học lập luận, chứng minh suy nghĩ hay suy diễn” Logic công cụ để biểu diễn xử lý tri thức - Logic ngơn ngữ hình thức, cú pháp: biểu thức hợp lệ - Mệnh đề phát biểu, khẳng định mà giá trị chỉ sai Ví dụ: phát biểu “1+1=2” có giá trị Giá trị mệnh đề không chỉ phụ thuộc vào thân mệnh đề Có mệnh đề ln sai bất chấp thời gian, không gian nhiều yếu tố khách quan khác Có mệnh đề giá trị lại phụ thuộc vào thời gian, khơng gian nhiều yếu tố khách quan khác Ta ký hiệu mệnh đề chữ latin viết thường: a, b, c, Các phép toán sử dụng để tạo mệnh đề là: Phép phủ định, phép hội, phép tuyển, phép kéo theo, tương đương 1.3.2 Suy diễn tiến - Việc tìm kiếm từ liệu đến mục tiêu tiến trình giải toán bắt đầu kiện cho trước +một tập luật hợp thức dùng thay đổi trạng thái - Quá trình tìm kiếm thực cách áp dụng luật vào kiện để tạo kiện mới, sau kiện lại áp dụng luật để sinh kiện tìm giải pháp cho tốn CHƯƠNG 3: CHƯƠNG TRÌNH CÀI ĐẶT VÀ KẾT QUẢ 3.1 Giới thiệu C# C# (hay C sharp) ngôn ngữ lập trình đơn giản, phát triển đội ngũ kỹ sư Microsoft vào năm 2000 C# ngôn ngữ lập trình đại, hướng đối tượng xây dựng tảng hai ngôn ngữ mạnh C++ Java Trong ứng dụng Windows truyền thống, mã nguồn chương trình biên dịch trực tiếp thành mã thực thi hệ điều hành Trong ứng dụng sử dụng NET Framework, mã nguồn chương trình (C#, VB.NET) biên dịch thành mã ngôn ngữ trung gian MSIL (Microsoft intermediate language) Sau mã biên dịch Common Language Runtime (CLR) để trở thành mã thực thi hệ điều hành Hình bên thể trình chuyển đổi MSIL code thành native code Hình Hình ảnh trình chuyển đổi MSIL code thành native code C# với hỗ trợ mạnh mẽ NET Framework giúp cho việc tạo ứng dụng Windows Forms hay WPF (Windows Presentation Foundation), phát triển game, ứng dụng Web, ứng dụng Mobile trở nên dễ dàng 3.2 Cài đặt - Giải thuật suy diễn tiến private bool ForwardCharning() { // kiểm tra trạng thái quy tắc // đặt trang thái quy tắc mặc định -1 List _list_state_rule = new List(); for (int i = 0; i < list_rule.Count; i++) { _list_state_rule.Add(-1); } bool _isImplementRule = false; while (list_known[index_result] == -1) { _isImplementRule = false; for (int i = 0; i < list_rule.Count; i++) { if (_list_state_rule[i] == -1) { bool is_avail = true; for (int j = 0; j < num_arg; j++) { if ((list_rule[i][j] == && list_known[j] != 0) || (list_rule[i][j] == && list_known[j] == 0)) { is_avail = false; break; } } if (is_avail) { for (int j = 0; j < num_arg; j++) { if (list_rule[i][j] == 1) { list_known[j] = 0; break; }