∀ ∃ ∧ Tiểu luận Toán cho máy tính GVHD PGS TS Nguyễn Phi Khứ ĐẠI HỌC QUỐC GIA THÀNH PHỐ HCM ĐẠI HỌC CÔNG NGHỆ THÔNG TIN  BÁO CÁO THU HOẠCH MÔN HỌC TOÁN CHO MÁY TÍNH ĐỀ TÀI LOGIC VỊ TỪ & ỨNG DỤNG LOGIC VỊ TỪ TRONG VIỆC CHUẨN ĐOÁN, ĐIỀU TRỊ MỘT SỐ BỆNH THƯỜNG GẶP HVTH: Nhan Thanh Nhã Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ DANH MỤC HÌNH & BẢNG BIỂU Hình 1: Chẩn đoán bệnh cảm Page 33. Hình 2: Chẩn đoán bệnh đau bụng Page 33. Hình 3: Chẩn đoán bệnh đau răng Page 34. Bảng 1: Ý nghĩa lượng từ VỚI MỌI và TỒN TẠI Page 15. Bảng 2: Tóm tắt ý nghĩa lượng từ. Page 16. Bảng 3: Suy diễn trong logic vị từ …………………………………… Page 23. Bảng 4: Danh sách các vị từ. Page 27. HVTH: Nhan Thanh Nhã Page 2 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ MỤC LỤC LỜI MỞ ĐẦU Trong cuộc sống hằng ngày, mọi hoạt động của con người đều thông qua tư duy của họ. Khác với hành động của con vật mang tính bản năng, hành động của con người luôn mang tính tự giác. Con người, trước khi bắt tay vào hoạt động thực tiển cải tạo thế giới, đều đã có sẵn dự án trong đầu. Sự khác biệt ấy là vì con người có tư duy và biết vận dụng sức mạnh của tư duy vào việc thực hiện các mục đích của mình. Trong quá trình hoạt động đó, con người dần dần phát hiện ra các thao tác của tư duy. Nói đến tư duy logic thì nhân loại, ở châu Phi hay ở châu Âu, ở châu Á hay ở châu Mỹ, từ Albert Einstein cho đến mỗi người chúng ta, ai ai trong đầu cũng đều có so sánh, phán đoán, suy lý trên cơ sở các ý niệm, khái niệm về các hiện tượng, sự vật xung quanh. Nghĩa là tự nhiên ban cho con người bộ não hoạt động tư duy với các quy luật logic vốn có, khách quan ở tất cả mọi người và mọi dân tộc Cùng với sự phát triển của thực tiễn và của nhận thức, con người càng ngày càng có sự hiểu biết đầy đủ hơn, sâu sắc hơn, chính xác hơn về bản thân tư duy đang nhận thức. Chính quá trình hiểu biết ấy là cơ sở tạo ra sự phát triển của logic học. Các quy luật của tư duy logic là phổ biển cho toàn nhân loại. Theo truyền thống logic được nghiên cứu như là một nhánh của triết học. Kể từ giữa thế kỷ 19, logic đã thường được nghiên cứu trong toán học và luật. Ngày nay, dưới tác động của cách mạng khoa học – công nghệ hiện đại, logic học (hình thức) phát triển hết sức mạnh mẽ dẫn đến sự hình thành một loạt các bộ môn logic học hiện đại. như logic học mệnh đề, logic học vị từ, logic học đa trị, logic học tình thái, logic học xác suất, logic mờ, v.v Các bộ môn đó cung cấp cho nhân loại những công cụ sắc HVTH: Nhan Thanh Nhã Page 3 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ bén giúp tư duy con người ngày càng đi sâu hơn vào nhận thức các bí mật của thế giới khách quan. Sự ra đời của logic mệnh đề đánh dấu bước nhảy vọt trong sự phát triển của logic học, chuyển từ logic học truyền thông đến logic học hiện đại. Sử dụng toàn bộ những khái niệm của logic mệnh đề kết hợp với khảo sát các mệnh đề từ việc phân tích các thành phần của mệnh đề, người ta đã xây dựng các hàm vị từ, đồng thời đưa vào sử dụng phần của mệnh đề, người ta đã xây dựng các hàm vị từ, đồng thời đưa vào sử dụng hai hằng logic quan trọng, lượng từ toàn thể và lượng từ bộ phận. Sự ra đời của logic vị từ đã khắc phục những hạn chế của logic mệnh đề như: thiếu việc sử dụng các lượng từ toàn thể và bộ phận, không phân tích kết cấu của các mệnh đề. Sự khắc phục này cho phép ta đi sâu vào phân tích ngữ nghĩa của các mệnh đề, các tư tưởng nói chung, mở ra một khả năng nghiên cứu tính chân lý của các tư tưởng một cách sâu sắc hơn, đầy đủ hơn. Bệnh thì không ai muốn như mà không ai tránh khỏi, khi bệnh thì người bệnh hay người thân thường tìm cách chính xác để điều trị cho hiệu quả nhất, họ cũng tìm cách lên mạng xem thông tin về bệnh có liên quan bằng chứng là: trên trang web: http://vietnamnet.vn/vn/doi-song/134944/con-tu-vong-vi-me-hoc-cach-chua-benh- tren-dien-dan.html đăng ngày 17/10/2013 có đăng mẫu tin là: Con tử vong vì mẹ học cách chữa bệnh trên diễn đàn. Các chuyên gia cũng đã chia sẻ rất nhiều thậm chí có cả các trang Web tư vấn sức khỏe, tư vấn điều trị bệnh… Từ những nhu cầu trên tôi xin chọn đề tài của mình về: LOGIC VỊ TỪ & ỨNG DỤNG LOGIC VỊ TỪ TRONG VIỆC CHUẨN ĐOÁN, ĐIỀU TRỊ MỘT SỐ BỆNH THƯỜNG GẶP Trong khuôn khổ để tài này tôi trình bày những về logic vị từ và ứng dụng của logic vị từ trong việc chuẩn đoán, điều trị một số bệnh thường gặp. Tôi không có tham vọng là điều trị được tất cả các bệnh vì kiến thức chuyên môn về lĩnh vực y khoa rất hạn chế, nhưng qua đây tôi cũng xin đóng góp một phần nhỏ để đáp ứng lại nhu thực tiễn trong xã hội. Tôi sẽ tiếp tục phát triển ứng dụng của mình thêm về sau để đáp ứng thêm nhu cầu của xã hội ngày càng phát triển. Đề tài gồm các phần chính như sau: HVTH: Nhan Thanh Nhã Page 4 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ Chương 1: LOGIC VÀ LOGIC MỆNH ĐỀ Chương 2: TÌM HIỂU VỀ LOGIC VỊ TỪ Chương3: XÂY DỰNG CHƯƠNG TRÌNH Chương 4: PHÂN TÍCH THIẾT KẾ Chương 1. CÁC LOẠI LOGIC VÀ LOGIC MỆNH ĐỀ 1.1 Lịch sử về Logic Để tìm hiểu về Logic trước tiên tôi xin nói về lịch sử hình thành của Logic: Một trong những tác phẩm logic sớm nhất còn tồn tại đến ngày nay là của Aristotle. Logic của Aristotle được chấp nhận rộng rãi trong khoa học và toán học và vẫn còn được sử dụng rộng rãi ở phương Tây đến đầu thế kỷ 19. Hệ thống logic của Aristotle phù hợp cho việc giới thiệu suy diễn giả định, và logic quy nạp. Ở Châu Âu, trong cuối thời kỳ trung đại, có nhiều nỗ lực nhằm chứng tỏ những tư tưởng của Aristotle tương thích với niềm tin Cơ Đốc. Trong suốt thời kỳ Trung kỳ Trung cổ, logic trở thành đề tài chính của các nhà triết học, những người muốn tham gia vào những cuộc tranh luận triết học về phân tích logic học. Logic trong triết học Hồi giáo, đặc biệt là logic của Avicennia, chịu ảnh hưởng lớn từ logic của Aristotle. Tại Ấn Độ, những đổi mới trong trường phái triết học, gọi là Nyaya, tiếp diễn từ thời cổ đại đến đầu thế kỷ 18 với trường phái Navya-Nyaya. Đến trước thế kỷ 16, nó đã phát triển những lý thuyết giống với logic hiện đại. Logic học hay luận lý học, từ tiếng Hy Lạp cổ điển λόγος (logos), nghĩa nguyên thủy là từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều ngôn ngữ châu Âu đã trở thành có ý nghĩa là suy nghĩ hoặc lập luận hay lý trí). Logic thường được nhắc đến như là một ngành nghiên cứu về tiêu chí đánh giá các luận cứ, mặc dù định nghĩa chính xác của logic vẫn là vấn đề còn đang được bàn cãi giữa các triết gia. Tuy nhiên khi môn học được xác định, nhiệm vụ của nhà logic học vẫn như cũ: làm đẩy mạnh tiến bộ của HVTH: Nhan Thanh Nhã Page 5 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ việc phân tích các suy luận có hiệu lực và suy luận ngụy biện để người ta có thể phân biệt được luận cứ nào là hợp lý và luận cứ nào có chỗ không hợp lý. Logic là một nhánh của triết học và toán học nghiên cứu về nguyên tắc, phương pháp và tiêu chuẩn hình thức cho sự hợp lệ của suy luận, và kiến thức. Là khoa học ước lượng các suy luận. ☞ Các luật của logic xác định ý nghĩa chính xác của một lý luận. ☞ Logic dùng để làm gì? ➠ Suy luận toán học ➠ Khoa học máy tính: vi mạch, xây dựng chương trình, kiểm chứng chương trình, trí tuệ nhân tạo, 1.2 Một số loại logic. 1.2.1 Logic tam đoạn luận ( hay còn gọi là Logic Aristotle) Tác phẩm Organon là một công trình của Aristotle về logic, với Phân tích tiên nghiệm (Prior Analytics) làm nên công trình rõ ràng đầu tiên về ngành logic hình thức và giới thiệu hình thức tam đoạn luận. Các phần thuộc về tam đoạn luận, cũng còn được biết đến dưới cái tên lôgic cổ truyền hay lôgic hạng tử (term logic), là sự phân tích các phán đoán thành các mệnh đề gồm hai hạng tử liên quan với nhau bởi một trong số một số các quan hệ định trước, và biểu diễn của sự suy luận bằng tam đoạn luận bao gồm 2 mệnh đề có chung một hạng tử với vai trò giả thuyết, và một kết luận là một mệnh đề chứa hai hạng tử chưa có quan hệ với nhau trong giả thuyết. Vào thời Cổ đại và thời Trung cổ ở châu Âu, công trình của Aristotle được xem như là hình ảnh của một hệ thống đã được phát triển đầy đủ. Đó không phải là hệ thống duy nhất: các triết gia khắc kỷ (Stoics) đã đưa ra một hệ thống logic mệnh đề đã được nghiên cứu bởi các nhà logic học thời Trung cổ; và sự hoàn hảo của hệ thống Aristotle cũng không phải là không có bàn cãi; ví dụ như vấn đề tổng quát hóa nhiều lần được nhận ra trong thời trung cổ. Tuy nhiên, những vấn đề với hệ thống tam đoạn luận không được xem là cần có những giải pháp mang tính cách mạng. HVTH: Nhan Thanh Nhã Page 6 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ Ngày nay, một số học giả cho rằng hệ thống Aristotle nhìn chung là không có giá trị gì hơn ngoài giá trị lịch sử (mặc dù có một số quan tâm đến việc mở rộng logic hạng tử), nó được xem là đã bị lỗi thời bởi sự ra đời của lôgic mệnh đề và phép tính vị từ (predicate calculus). Những người khác sử dụng lôgic Aristotle trong lý thuyết lý luận để giúp cho việc phát triển và xem xét kỹ càng các sơ đồ lý luận sử dụng trong trí tuệ nhân tạo và trong luật pháp. 1.2.2 Logic mô thái Trong ngôn ngữ, tính mô thái nói đến hiện tượng các phần của một câu có thể bị thay đổi về ngữ nghĩa bởi các động từ đặc biệt hay các tiểu từ cách thức. Ví dụ, "Chúng ta đi xem trận đấu" có thể sửa lại thành "Chúng ta nên đi xem trận đấu", và "Chúng ta có thể đi xem trận đấu"" và có thể "Chúng ta sẽ đi xem trận đấu". Một cách trừu tượng hơn, chúng ta có thể nói rằng tính mô thái ảnh hưởng đến các hoàn cảnh trong đó chúng ta muốn một khẳng định được thỏa mãn. Các nghiên cứu về mô thái trong logic đã có từ Aristotle. Ông đã quan tâm đến mô thái của sự cần thiết và các khả năng - hai thứ mà ông thấy rằng chúng có tính đối ngẫu theo kiểu tính đối ngẫu De Morgan. Trong khi việc nghiên cứu sự cần thiết và các khả năng vẫn còn quan trọng đối với các triết gia, có rất ít đổi mới trong logic cho đến thời của những nghiên cứu quan trọng của Clarence Irving Lewis vào năm 1918. Ông đã hệ thống hóa một họ các hệ thống tiên đề cạnh tranh lẫn nhau của alethic modalities. Công trình của ông đã mở ra một hướng cho một loạt các công trình trong đề tài này, mở rộng các loại mô thái đã được xem xét để bao gồm cả logic nghĩa vụ (deontic logic) và logic tri thức (Epistemic logic). Công trình hạt giống của Arthur Prior áp dụng cùng một ngôn ngữ hình thức để xử lý logic thời gian (temporal logic). Công trình này đã mở đường cho việc kết hợp hai ngành học này. Saul Kripke khám phá ra (cùng với các đối thủ) lý thuyết của ông về khung ngữ nghĩa, nó đã cách mạng hóa các kỹ thuật hình thức hiện có cho các nhà logic học về logic hình thức và đưa và một cách nhìn mới vấn đề mô thái theo hướng lý thuyết đồ thị và đã dẫn đến nhiều ứng dụng trong các ngành ngôn ngữ tính toán và khoa học máy tính, chẳng hạn như logic động (dynamic logic). HVTH: Nhan Thanh Nhã Page 7 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ 1.2.3 Logic triết học Logic triết học làm việc với những miêu tả hình thức của ngôn ngữ tự nhiên. Đa số các triết gia giả sử rằng phần lớn các lập luận đúng đắn "bình thường" có thể được thu tóm bởi logic, nếu như người ta có thể tìm được phương pháp đúng đắn để dịch từ ngôn ngữ thông thường thành logic. Về bản chất, logic triết học là một sự tiếp tục của ngành khoa học truyền thống được gọi là "Logic" trước khi nó bị hất cẳng bởi sự phát minh ra logic toán học. Logic triết học có một mối quan tâm lớn hơn tới mối quan hệ giữa ngôn ngữ tự nhiên và logic. Kết quả là, các nhà logic triết học đã đóng góp rất nhiều vào sự phát triển của logic không chuẩn (v.d., logic tự do, logic thời) cũng như là các mở rộng khác của logic cổ điển (v.d., logic mô thái), và các ngữ nghĩa không chuẩn cho các loại logic như vậy (v.d., kỹ thuật Kripke về sự đánh giá trội trong ngữ nghĩa của logic). Logic và triết học ngôn ngữ có liên hệ mật thiết với nhau. Triết học ngôn ngữ có liên quan đến nghiên cứu về tương tác giữa ngôn ngữ và suy nghĩ. Logic có một tác động lập tức trên các lãnh vực nghiên cứu đó. Nghiên cứu logic và mối liên quan giữa logic và ngôn ngữ thông thường có thể giúp một người tổ chức lý lẽ của họ một cách tốt hơn và giúp phê phán các lý lẽ của người khác. Nhiều lý lẽ thông dụng chứa đầy các lỗi bởi vì nhiều người không được huấn luyện logic và không biết cách trình bày một lý lẽ thế nào cho đúng. Triết học ngôn ngữ đã trải qua một thời kỳ phục hưng trong thế kỉ 20 bởi công trình của Ludwig Wittgenstein. 1.2.4 Logic toán là gì? Logic toán là một nhánh con của toán học, nghiên cứu các hệ thống hình thức trong việc mã hóa các khái niệm trực quan về các đối tượng toán học, chẳng hạn như: tập hợp và số, chứng minh toán học và tính toán. Ngành này thường được chia thành các lĩnh vực con như lý thuyết mô hình (Model theory), lý thuyết chứng minh (Proof theory), lý thuyết tập hợp và lý thuyết đệ quy (Recursion theory). Nghiên cứu về logic toán thường đóng vai trò quan trọng trong ngành cơ sở toán học (Foundations of mathematics). HVTH: Nhan Thanh Nhã Page 8 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ Logic toán học thực sự nói về hai lãnh vực nghiên cứu khác nhau: thứ nhất là áp dụng của các kỹ thuật trong ngôn ngữ hình thức vào toán học và lập luận toán học, và thứ hai, theo một hướng khác, sự áp dụng của các kỹ thuật trong toán học vào việc biểu diễn và phân tích logic hình thức. Các tên gọi cũ của logic toán: Meta toán học, logic ký hiệu (để phân biệt với logic triết học). Logic toán học không phải là logic của toán học mà là toán học của logic. Những áp dụng sớm nhất của toán học và hình học trong quan hệ với logic và triết học truy ngược về những người Hy Lạp cổ đại như Euclid, Plato, và Aristotle. Nhiều triết gia cổ đại và trung cổ khác đã áp dụng các ý tưởng và phương pháp toán học vào các khẳng định triết học của họ. Cố gắng táo bạo nhất để áp dụng logic vào toán học chắc chắn là chủ nghĩa luận lý (logicism) do các triết gia kiêm nhà logic như Gottlob Frege và Bertrand Russell đi tiên phong: ý tưởng là các lý thuyết toán học là những điều khẳng định mang tính logic, và chương trình cần chứng minh điều này bằng cách suy giản toán học về logic. Nhiều cố gắng khác nhau để tiến hành việc này đã gặp phải một loạt các thất bại, từ việc dự án của Frege trong công trình Grundgesetze bị nghịch lý Russell làm cho lụn bại, đến sự thất bại của chương trình Hilbert trước định lý Gödel về sự không toàn vẹn (của bất kì hệ thống logic nào). Cả khẳng định của Chương trình Hilbert và sự phủ nhận nó bởi Gödel đều dựa trên các công trình của họ, thiết lập nên lãnh vực thứ hai của logic toán học, áp dụng của toán học vào logic dưới hình thức lý thuyết chứng minh. Mặc cho bản chất phủ định của các định lý về sự không toàn vẹn, định lý Gödel về sự toàn vẹn, một kết quả trong lý thuyết mô hình và một áp dụng khác của toán học vào logic, có thể được hiểu như là một cách cho thấy logicism đã gần đạt tới tính đúng đắn như thế nào: bất kì lý thuyết toán nào được định nghĩa chặt chẽ đều có thể được thâu tóm một cách chính xác bởi một lý thuyết logic bậc nhất; tính toán chứng minh của Frege đủ để mô tả toàn bộ toán học tuy không tương đương với nó. Do vậy chúng ta thấy được hai ngành đó hỗ trợ lẫn nhau như thế nào. HVTH: Nhan Thanh Nhã Page 9 Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ Nếu như lý thuyết chứng minh và lý thuyết mô hình đã là cơ sở của logic toán học, thì chúng chỉ là hai trong bốn trụ cột của ngành học đó. Lý thuyết tập hợp bắt nguồn trong sự nghiên cứu của Georg Cantor về sự vô hạn, và nó đã là nguồn của nhiều vấn đề quan trọng và thách thức nhất trong logic toán học, từ định lý Cantor, qua vị thế của Tiên đề của sự chọn lựa (Axiom of Choice) và câu hỏi về sự độc lập của giả thuyết về tính liên tục (continuum hypothesis), đến những tranh cãi hiện đại về những tiên đề về số đếm cực lớn (large cardinal). Lý thuyết đệ quy thu tóm ý tưởng của việc tính toán với các toán hạng logic và số học; thành tựu cổ điển nhất của lý thuyết này là tính không quyết định được của bài toán Entscheidungsproblem mà Alan Turing đã tìm ra, và trình bày của ông về luận đề Church-Turing. Ngày nay, lý thuyết đệ quy liên quan chủ yếu đến bài toán tinh vi hơn về các lớp của độ phức tạp tính toán(complexity class) khi nào thì bài toán có thể giải được một cách hiệu quả? và sự phân loại về mức độ không giải được. Ngành này bao gồm những phần của logic mà có thể được mô hình hóa và nghiên cứu bằng toán học. Nó cũng bao gồm những lĩnh vực thuần túy toán học như lý thuyết mô hình và lý thuyết đệ quy, trong đó khả năng định nghĩa là trung tâm của vấn đề được quan tâm. Logic toán được xây dựng trên cơ sở logic mệnh đề và logic vị từ 1.2.5 Logic mệnh đề Cơ sở của logic toán, thực chất bao gồm đại số mệnh đề và hệ toán mệnh đề gọi chung là phép tính trên mệnh đề. Nhiệm vụ cơ bản của đại số mệnh đề là xây dựng hệ thống các quy tắc kết cấu, các mệnh đề, cũng như thực hiện các phép biến đổi mệnh đề đúng đắn, chính xác, chặc chẽ. Nhờ đó, quá trình lập luận logic sẽ được chuyển thành các hệ toán logic. Hệ toán mệnh đề là một hệ thống đóng kín, bao gồm các định nghĩa, các quy tắc và một số tiền đề. Từ đó nhờ các phép biến đổi đại số mệnh đề người ta có thể thu được các mệnh đề khác nhau, kết quả có thể đúng hoặc sai tùy thuộc vào giá trị chân lý của tiền đề và việc áp dụng các lập luận logic. Logic mệnh đề là kiểu biểu diễn tri thức đơn giản nhất và gần gũi nhất đối với chúng ta. Mệnh đề là một khẳng định, một phát biểu mà giá trị của nó chỉ có thể hoặc là đúng hoặc là sai. Giá trị của mệnh đề không chỉ phụ thuộc vào bản thân mệnh đề đó. HVTH: Nhan Thanh Nhã Page 10 [...]... học viên khoa học máy tính đều phải học môn toán cho máy tính Được viết thành: S(x) Học viên khoa học máy tính HVTH: Nhan Thanh Nhã Page 16 Tiểu luận Công nghệ tri thức GVHD: PGS.TS Nguyễn Phi Khứ P(x) học môn toán cho máy tính Mệnh đề: ∀x(S(x) -> p(x)) • Phát biểu: Một số học viên khoa học máy tính học môn “Biểu diễn tri thức và suy luận Được viết thành: S(x) Học viên khoa học máy tính P(x) Học môn. .. trọng lượng của vị từ  Ví dụ 4: Vị từ P(a,b) = {a + b = 5} là một vị từ 2 biến trên không gian N Ta nói P có t rong lượng 2 Trong một vị từ P(x1, x2, , xn) có trọng lượng là n Nếu gán giá trị xác định cho một biến trong nhiều biến thì ta được một vị từ mới Q(x1, x2, xn) có trọng lượng là (n-1) Qui luật này được áp dụng cho đến khi n=1 thì ta có một mệnh đề Vậy,thực chất mệnh đề là một vị từ có trọng... cần có một cơ sở tri thức về các triệu chứng, các bệnh, các loại thuốc thông thường Trong chương trình này thì chỉ có thể đoán được 7 bệnh được cho là thông thường nhất mà mọi người hay gặp Tương ứng với các bệnh đó thì có các triệu chứng và loại thuốc điều trị tương ứng 3.2 Kiến thức y học về Các bệnh và triệu chứng bệnh (1) Một người bị bệnh cảm khi có các triệu chứng có các triệu chứng của bệnh cảm... 1.3.4 Có phải logic mang tính thực nghiệm? Vị trí của các quy luật logic trong nhận thức luận là gì? Loại lập luận nào là thích hợp cho việc phê phán những nguyên lý nổi tiếng của logic? Trong một bài báo gây ảnh hưởng lớn tựa đề Có phải logic mang tính thực nghiệm? Hilary Putnam, xây dựng trên một đề nghị của W.V Quine, lập luận rằng nhìn chung việc logic mệnh đề có một vị trí trong nhận thức luận tương... hàm số được viết để thể hiện quan hệ này Mẹ (Mai) = Hoa Cha (Cúc) = Đông Bạn (Hoa, Đông) Các hàm được dùng trong vị tự là: Bạn (Mẹ (Mai), Cha (Cúc) 2.4 Các phép toán trên vị từ một biến Vị từ một biến được gọi là vị từ cấp 1 Cho vị từ một biến P(x) và Q(x) trên trường M • Phép toán phủ định ký hiệu: ¬ P(x) cũng là một vị từ trên trường M mà khi thay thế x = a ∈ M ta được mênh đề ¬ P(a) nhận giá trị. .. các loại bệnh khác nhau trong Tây Y, Đông Y và thuốc Nam” BẰNG NGÔN NGỮ PROLOG 3.1 Giới thiệu đề tài Bài toán là một hệ chuyên gia được xây dựng nhằm đoán một số bệnh thông thường mà mọi người thường gặp trong cuộc sống Với mong muốn một phần nào đó có thể tư vấn cho người sử dụng hệ thống biết bệnh mình đang mắt phải, một số thuốc thông thường có thể sử dụng, chương trình có thể đưa ra tên bệnh và... quả, đại số mệnh đề sẽ chuyển thành đại số vị từ và hệ toán mệnh đề chuyển thành hệ toán vị từ Nếu logic mệnh đề cho phép tiến hành các phép biến đổi toán học chính xác và chặc chẽ đối với các phán đoán thì logic vị từ, hơn thế nữa, còn cho phép thực hiện các phép biến đổi chính xác và chặt chẽ đối với các khái niệm Do đó, logic vị từ không chỉ chính xác hoá cơ sở logic của hệ thống phán đoán, mà còn... mệnh đề trong phép toán vị từ được chia thành phần Vị từ và phần tham số Tham số thể hiện một hay nhiều đối tượng của mệnh đề, còn vị từ dùng để khẳng định về đối tượng  Ví dụ 8: Câu "X thích Y" có dạng thích (X, Y) Thích là vị từ cho biết quan hệ giữa các đối tượng trong ngoặc Đối số là các ký hiệu thay cho các đối tượng của bài toán d Hàm Được thể hiện bằng ký hiệu, cho biết quan hệ hàm số  Ví... Heyting nghiên cứu logic trực giác một cách khuôn mẫu, cũng như Gerhard Gentzen Logic trực giác đã được quan tâm nhiều bởi các nhà khoa học máy tính, bởi vì nó là một logic xây dựng, và do vậy là một loại logic mà các máy tính có thể làm được Modal logic không đúng với các điều kiện, và do vậy thường được đề nghị như là một ngành logic không cổ điển Tuy nhiên, modal logic thông thường được hệ thống... ba giá trị, hệ logic đa giá trị đầu tiên Logic trực giác được đề nghị bởi L.E.J Brouwer như là logic đúng đắn cho việc lý luận về toán học, dựa trên sự từ bỏ của ông về luật loại trừ giá trị giữa như là một HVTH: Nhan Thanh Nhã Page 11 Tiểu luận Công nghệ tri thức GVHD: PGS.TS Nguyễn Phi Khứ phần của chủ nghĩa trực giác của ông Brouwer từ bỏ các công thức hệ thống trong toán học, nhưng học trò của ông . về: LOGIC VỊ TỪ & ỨNG DỤNG LOGIC VỊ TỪ TRONG VIỆC CHUẨN ĐOÁN, ĐIỀU TRỊ MỘT SỐ BỆNH THƯỜNG GẶP Trong khuôn khổ để tài này tôi trình bày những về logic vị từ và ứng dụng của logic vị từ trong. Khứ P(x) học môn toán cho máy tính. Mệnh đề: ∀x(S(x) -> p(x)) • Phát biểu: Một số học viên khoa học máy tính học môn “Biểu diễn tri thức và suy luận Được viết thành: S(x) Học viên khoa học máy tính. P(x). VỊ TỪ & ỨNG DỤNG LOGIC VỊ TỪ TRONG VIỆC CHUẨN ĐOÁN, ĐIỀU TRỊ MỘT SỐ BỆNH THƯỜNG GẶP HVTH: Nhan Thanh Nhã Tiểu luận Công nghệ tri thức GVHD: PGS.TS. Nguyễn Phi Khứ DANH MỤC HÌNH & BẢNG