TieuLuan_MonTriTueNhanTao_LogicVaSuyDien

TRƯỜNG ĐẠI HỌC CƠNG NGHỆ TP.HCM Khoa Cơng nghệ thơng tin TIỂU LUẬN HỌC PHẦN SEMINAR CHUYÊN ĐỀ ĐỀ TÀI: LOGIC VÀ SUY DIỄN Sinh viên: Nguyễn Văn Thịnh MSSV: 1911065025 Lớp: 19DTHB1 GVHD: TS Phan Tấn Quốc TP.Hồ Chí Minh, tháng 12 năm 2021 MỤC LỤC DANH MỤC CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT Chữ viết tắt Ý nghĩa GT Giả thuyết KL Kết luận KB (Knowledge Base) : sở tri thức CNF Conjunctive normal form Wff Well Formed Formula DANH MỤC CÁC BẢNG Bảng 2.1 Năm phép nối logic Bảng 2.2 Bảng chân trị 10 Bảng 2.3 Bảng chân trị ví dụ 10 Bảng 2.4 Bảng chân trị ví dụ 10 Bảng 2.5 Bảng chân trị ví dụ 11 Bảng 2.6 Ý nghĩa lượng từ với tồn 22 Bảng 2.7 Bảng tóm tắt ý nghĩa lượng từ 23 Bảng 2.8 Suy diễn logic vị từ .31 Bảng3.1 Bảng danh sách vị từ 37 DANH MỤC CÁC HÌNH Hình 3.1 Chuẩn đốn bệnh cảm .44 Hình 3.2 Chuẩn đoán bệnh đau bụng .44 Hình 3.3 Chuẩn đốn bệnh đau 45 LỜI MỞ ĐẦU Trong sống ngày này, nhắc đến “Logic suy diễn” người thường nghĩ phạm trù sâu xa thực tế “Logic suy diễn” xuất nhiều sống chúng ta, thể qua nhiều khía canh khác như: giao tiếp, công việc, việc giải toán, việc tranh luận, … Hiện thời đại 4.0, khơng dừng “Logic suy diễn “ phát triển vào vào kĩ thuật công nghệ đại Nổi bật ứng dụng vượt trội “Logic suy diễn” vào ứng dụng trí tuệ nhân tạo Với phát triển khơng ngừng lớn mạnh ngành trí tuệ nhân tạo, việc hệ thơng máy tính thơng minh tự xử lý, đưa định phù hợp cho công việc mà người làm nhờ vào việc trang bị đầy đủ kiến thức cho hệ thống Để máy tính sử dụng xử lý thơng tin, cần ứng dụng linh hoạt “Logic suy diễn” Nội dung tiểu luận tập trung vào việc tìm hiểu, phân tích, tính ứng dụng “Logic suy diễn” vào trí tuệ nhân tạo Em xin gửi lời cảm ơn sâu sắc đến TS.Phan Tấn Quốc tận tình giảng dạy, truyển đạt kiến thức, giúp em hiểu rõ ứng dụng trí tuệ nhân tạo Tuy nhiên, kiến thức chun mơn cịn hạn chế thân chưa có nhiều kinh nghiệm nên nội dung tiểu luận tránh khỏi sai sót Vì em mong nhận thơng cảm, lời góp ý bảo tận tình thầy để tiểu luận hoàn thiện CHƯƠNG GIỚI THIỆU LOGIC VÀ SUY DIỄN 1.1 Logic 1.1.1 Tổng quan lịch sử logic Nếu bạn muốn học logic, trước tiên để tơi nói lịch sử logic: Một cơng trình luận lý học sớm cịn tồn đến ngày Aristotle Hợp lý cơng trình Aristotle chấp nhận rộng rãi khoa học toán học sử dụng ngày khơng sử dụng rộng rãi phương Tây đầu kỷ 19 Hệ thống logic Aristotle quán dược sử dụng để giới thiệu suy luận giả định logic quy nạp Ở Châu Âu sau suốt thời Trung cổ, có nhiều cố gắng chứng tỏ tư tưởng Aristotle niềm tin Cơ đốc giáo Vào thời Trung cổ, logic trở thành chủ đề triết gia muốn tham gia vào tranh luận triết học phân tích logic Logic triết học Hồi giáo, đặc biệt logic Aviconia, bị ảnh hưởng nhiều.Từ logic Aristotle Ở Ấn Độ, đổi trường triết học gọi Nyaya, kéo dài từ thời cổ đại đầu kỷ 18, có trường NavyaNyaya đến nơi trước kỷ 16, phát triển lý thuyết tương tự logic đại Logic hay logic, từ tiếng Hy Lạp Cổ đại (logo), ban đầu có nghĩa lời nói, điều nói, (nhưng nhiều ngơn ngữ châu Âu, trở thành ý nghĩa suy nghĩ lập luận lý luận) Logic thường coi nghiên cứu tiêu chí mà lập luận đánh giá, định nghĩa xác logic cịn vấn đề tranh luận triết gia Tuy nhiên, chủ đề xác định, nhiệm vụ nhà logic học cũ: thúc đẩy việc phân tích suy luận hợp lệ sai lầm để người ta phân biệt lập luận hợp lệ lập luận đúng, khơng có lập luận Logic nhánh triết học toán học nghiên cứu nguyên tắc, phương pháp tiêu chuẩn thức lý luận giá trị kiến thức Khoa học suy luận ước tính − Các quy luật logic xác định ý nghĩa xác lập luận − Việc sử dụng logic gì? − Lập luận tốn học − Khoa học máy tính: IC, Xây dựng chương trình, Xác minh chương trình lập trình, trí tuệ nhân tạo, 1.1.2 Một số loại logic 1.1.2.1 Logic triết học Logic triết học hoạt động với mô tả thức ngơn ngữ tự nhiên Hầu hết nhà triết học cho hầu hết lập luận "bình thường" hợp lệ tóm tắt logic tìm phương pháp phù hợp để chuyển từ ngôn ngữ thông thường sang logic Về chất, logic triết học tiếp nối khoa học truyền thống gọi "logic" trước thay phát minh Lơgic tốn học Logic triết học quan tâm nhiều đến mối quan hệ ngôn ngữ tự nhiên logic Kết là, nhà logic triết học đóng góp nhiều vào phát triển phi logic, logic tiêu chuẩn (v., Logic tự do, logic thời gian) phần mở rộng khác logic cổ điển (v., Logic đại) ngữ nghĩa khơng chuẩn hóa cho loại logic (xem Kripkes ngữ nghĩa kỹ thuật định giá thống trị logic) Logic triết học ngơn ngữ có quan hệ mật thiết với Triết học ngôn ngữ đề cập đến việc nghiên cứu tương tác ngôn ngữ tư Logic có ảnh hưởng trực tiếp đến lĩnh vực nghiên cứu Logic, mối quan hệ logic ngơn ngữ thơng thường, giúp người tổ chức tốt lập luận riêng họ trích lập luận người khác Nhiều lập luận thơng thường có nhiều lỗi nhiều lập luận thiếu rèn luyện logic cách trình bày lập luận cách Triết lý ngôn ngữ phải chịu phục hưng cho công việc Ludwig Wittgenstein vào kỷ 20 1.1.2.2 Logic mô thái Trong ngôn ngữ, phương thức mô tả tượng mà phận câu thay đổi mặt ngữ nghĩa cách sử dụng động từ đặc biệt tiểu từ phương thức Ví dụ, "Let's go to the game" sửa thành "we should go to the game" "," Chúng ta tham gia trị chơi "" "Chúng ta tham gia trị chơi" Nói cách trừu tượng hơn, nói thái độ đếm ảnh hưởng đến hoàn cảnh mà muốn đưa khẳng định Các nghiên cứu mơ hình logic trở lại thời Aristotle Ơng quan tâm đến mơ hình cần thiết hai cách mà ơng tìm thấy để có tính đối ngẫu theo kiểu đối ngẫu De Morgan Việc nghiên cứu nhu cầu khả quan trọng nhà triết học với đổi mặt logic nghiên cứu quan trọng Clarence Irving Lewis vào năm 1918 Ơng hệ thống hóa họ Hệ tiên đề tiên đề cạnh tranh phương thức vô định Công việc ông mở hướng cho loạt cơng trình chủ đề mở rộng loại mô hình tồn Nó cho bao gồm logic nghĩa vụ (logic deontic) logic nhận thức Tác phẩm hạt giống Arthur Prior áp dụng ngơn ngữ hình thức để xử lý logic thời gian Công việc mở đường cho hợp hai mơn Phịng thu Saul Kripke khám phá (cùng với đối thủ) lý thuyết ông khung ngữ nghĩa, mà luật hình thức cách mạng hóa ngơn ngữ khoa học máy tính, chẳng hạn logic động 1.1.2.3 Logic toán học Logic toán học nhánh tốn học nghiên cứu hệ thống hình thức việc hệ thống hóa khái niệm trực quan đối tượng toán học, chẳng hạn như: đại lượng số, chứng minh tốn học giải tích Nó thường chia thành lĩnh vực phụ lý thuyết mơ hình, lý thuyết chứng minh, lý thuyết tập hợp lý thuyết đệ quy Việc nghiên cứu logic tốn học thường đóng vai trị quan trọng lĩnh vực nguyên tắc toán học (Fundamentals of Mathematics) Logic toán học thực chất hai lĩnh vực nghiên cứu khác nhau: thứ nhất, ứng dụng kỹ thuật ngơn ngữ hình thức vào toán học tư toán học, thứ hai, theo hướng khác, ứng dụng kỹ thuật logic toán học toán học để biểu diễn phân tích logic hình thức Tên cổ xưa logic tốn học: Toán học meta, logic biểu tượng (để phân biệt với logic triết học) Logic tốn học khơng phải logic toán học, mà toán học logic Việc sử dụng tốn học hình học sớm mối quan hệ với logic triết học từ người Hy Lạp cổ đại Euclid, Plato Aristotle Nhiều nhà triết học cổ đại trung cổ khác sử dụng ý tưởng phương pháp toán học tuyên bố triết học họ Nỗ lực táo bạo để áp dụng logic vào toán học chắn thuyết logic nhà triết học logic học Gottlob Frege Bertrand Russell cổ vũ: ý tưởng lý thuyết tốn học tun bố logic, chương trình phải chứng minh điều cách giảm toán học thành logic Khi làm vậy, họ gặp phải số thất bại, từ dự án Frege thực hiện, Các luật nghịch lý thông qua nghịch lý Russell, đến thất bại chương trình Hilbert định lý tính khơng đầy đủ Gödel (mọi hệ logic) Cả việc xác nhận chương trình Hilbert bác bỏ chương trình Gưdel dựa cơng trình ơng, thiết lập lĩnh vực thứ hai logic toán học, ứng dụng toán học vào logic dạng lý thuyết chứng minh Với chất phủ định định lý tính khơng đầy đủ, định lý Gưdel tính tồn vẹn, kết lý thuyết mơ hình kết khác ứng dụng tốn học vào lơgic học, hiểu cách cho thấy chủ nghĩa lôgic phải nào: Bất kỳ lý thuyết toán học xác định chặt chẽ nắm bắt xác logic bậc nhất; Phép tính kiểm tra Freges đủ để mơ tả tồn tốn học, khơng tương đương, thấy hai ngành hỗ trợ lẫn Nếu lý thuyết chứng minh lý thuyết mô hình sở logic tốn học, chúng đại diện cho hai bốn trụ cột ngành logic, từ định lý Cantor tình trạng tiên đề lựa chọn câu hỏi tính độc lập giả thuyết từ giả thuyết liên tục đến tranh cãi đại tiền thân hồng y vĩ đại Lý thuyết đệ quy nắm bắt ý tưởng tính tốn với tốn hạng logic số học; Thành tựu kinh điển lý thuyết tính khơng thể giải vấn đề định Alan Turing tìm trình bày ơng luận điểm ChurchTuring Lý thuyết đệ quy ngày chủ yếu giải vấn đề phức tạp lớp phức tạp Khi vấn đề giải cách hiệu quả? phân loại giải lớp Môn học bao gồm phần logic mơ hình hóa nghiên cứu mặt tốn học Nó bao gồm lĩnh vực toán học túy, chẳng hạn lý thuyết mơ hình lý thuyết đệ quy, khả xác định trọng tâm vấn đề Logic toán học dựa logic mệnh đề logic vị từ 1.1.2.4 Logic tam đoạn luận ( hay cịn gọi Logic Aristotle) Organon cơng trình Aristotle logic, với Prior Analytics thực cơng trình rõ ràng logic hình thức giới thiệu thuyết âm tiết thức Các phần thuộc chủ nghĩa âm tiết, cịn gọi lơgic học truyền thống lôgic khái niệm, phân tách câu thành câu bao gồm hai khái niệm nối với 10