LỜI MỞ ĐẦU Trong những năm sản đầy, chủng ta có những bước tiến lớn trong, kỹ thuật thiết kế cách giải quyết vấn đẻ và hệ thông giải đáp. Cách tiếp cận mới có thẻ được gọi là cách tiếp cận tiên để mà điều kiện và thông tin được lưu lại như các tiến để và van dé nguyên bản được giải quyết hoặc các câu hỏi được trả lời và được phát biển như các định Tử Cách tiếp cân nảy có một hạn chế. Đó là khi chúng ta lưu trữ thông tỉn như các tiên đề, ta giả sử tắt cả các thông tin lả hoàn toàn đúng và điều không chắc chin là không có liên quan. Tuy nhiên trong thể giới thực có rất nhiều những điều không, chắc chắn vả những máy móc làm việc trong thế giới thực nảy, chẳng hạn robot được thiết kế để khám phá bé mặt mặt trăng chẳng hạn, phải có khả năng đưa ra những quyết định thông minh trong một môi trường “nè” nhụ vậy.
Trong bối cảnh đẻ, khí mà logic truyền thông (hai trị) không còn đáp ứng được những đời hỏi của thục liễn, thì năm I965 được xem như một cột mốc trong lịch sử tr duy loài người kể lừ thời Arisloile. Trong nắm này, có hai đột phá quan trọng, thứ nhất là của J. Robinson, người đã giới thiệu cái gọi là nguyên tắc hợp. giải (resolution prineiple) và thứ hai là của L.
Zađeh, nguời đã để xuất khải niệm tập mở vả logie mở, Kẻ tử năm đó, oáe hình thức logic đa trị như Logic mi hay Logic ngôn ngữ đã trở thành những phương an thay thế cho logic truyền thống vả các phương pháp suy diễn, cụ thể là các nguyên tắc hợp giải, sử dụng cho các logie này đã được nghiên cửu ngày cảng sâu rông và thu được nhiễu thành tựu quan trạng như các công trình của T. việc nghiền cứu xây dựng logic ngôn ngữ vả các phương pháp sny điễn trên nó vẫn là để tải rất “nóng” cho tới ngày nay, bởi vi, ngôn ng là công cụ chỉnh để con người chúng †a tư duy, để lấy làm lý do và để đưa ra quyết định nhưng. ngôn ngữ tự nhiên lại thường mơ hỗ, bắt định. Suy diễn trong logic ngôn ngữ, muụe đích chính của công việc nảy lá tạo điển kiện cho việc diễn giải và luận cáo kiển thức được thẻ hiện trang ngôn ngữ tự nhiên, kiu mà các câu mơ hỗ thường được dùng để đánh giá múc độ chân lý của của Luận văn cao học Người thực hiệu: Trần Ngọc Minh.
Các gia tủ được sử đụng đề chỉ các cấp độ khác nhau của sự nhân mạnh. các giá tủ chân lý, Kỏ cũng được sử dụng để mô hình hóa kiến thức được thể hiện trong ngôn ngữ tự nhiền. Chúng ta thuờng sử dụng hai mặt của gia tử ngỗn ngữ ví đụ như việc tạo ra các giá trị ngôn ngữ và trong sửa đổi vị tử. Do đó, việc sử đụng các giá trị chân lý của ngôn ngữ và các gia tử như lä bổ ngữ, để nhân mạnh hoặc giảm bớt cáo giả tị chân lý đó.
Chính xác hơn, trong một chương trình suy diễn logic mờ ngôn ngữ, mỗi một su kiện hoặc một quy tắc được đánh giá bằng một số mức độ xác định trong miễn giá trị chân lý của ngôn ngữ và sử đụng các gia tử để liên kết các sự kiện và các quy tắc lại với nhan Cẻ thể nói việc suy diễn ngôn ngữ sử dựng logic mở và các gia lử làm cho ngôn nạữ trở nẻn mềm mại hơn, không còn cúng nhễc như trong logic truyền thống chỉ cỏ hoặc đúng hoặc sai. Kiển thức của chủng ta đã gắn hơn với các kiên thức tự nhiền hơn. Lợi thể của việc sử dụng logic mo để đánh giá giả trị chân lỷ của một sự kiện lả kiến thức được tổng hợp lại của các chuyên gia, các nhá nghiên cứu nên sẽ trở nên chính xác hơn trang việc đánh giá mức độ đúng đắn của một sự kiện Các đíng dụng như là mô hình sơ sở đữ liệu mờ cho ngôn ngữ truy vấn linh hoạt, tỉnh toán ngưng và điều khiến mờ. đã được xây dựng đựa trên lý thuyết về suy diễn ngôn ngữ và logic mờ: Xuất phát từ thực tế đỏ tôi đã quyết định lựa chọn đề tài “Suy điễn trang Iogic ngôn ngữ” làm để tải lót nghiệp cả nhân.
Mục tiếu chính của luận văn gốm hai vẫn đẻ như sau. + Thú nhất, tìm hiển lý thuyết vẻ logie ma gém các vấn để như : cũ pháp, ngữ nghĩa và suy diễn, cụ thể là phương thức hợp giải. Đồng thời cài đặt thứ nghiệm hợp giải mờ cho mệnh để logic I Thứ hai, tìm hiểu lý thuyết về Iogic ngôn ngữ gỗm các vấn để như: củ pháp, ngữ nghĩa, phương pháp suy điễn và phương thức hợp giải trên logic ngôn ngữ. Đỏng thời cài đặt thử.
nghiệm hợp giải trên logic ngôn ngữ. Để hoàn thành luận văn này, bên cạnh việc tìm hiểu, tham khảo vả sử đụng lại một số kết quả tù các bài báo đã được nêu trong mục tài liệu tham khảo, tôi sòn Luận văn cao học Người thực hiệu: Trần Ngọc Minh. LỜI MỞ ĐẦU Trong những năm sản đầy, chủng ta có những bước tiến lớn trong, kỹ thuật thiết kế cách giải quyết vấn đẻ và hệ thông giải đáp. Cách tiếp cận mới có thẻ được gọi là cách tiếp cận tiên để mà điều kiện và thông tin được lưu lại như các tiến để và van dé nguyên bản được giải quyết hoặc các câu hỏi được trả lời và được phát biển như các định Tử Cách tiếp cân nảy có một hạn chế.
Đó là khi chúng ta lưu trữ thông tỉn như các tiên đề, ta giả sử tắt cả các thông tin lả hoàn toàn đúng và điều không chắc chin là không có liên quan. Tuy nhiên trong thể giới thực có rất nhiều những điều không, chắc chắn vả những máy móc làm việc trong thế giới thực nảy, chẳng hạn robot được thiết kế để khám phá bé mặt mặt trăng chẳng hạn, phải có khả năng đưa ra những quyết định thông minh trong một môi trường “nè” nhụ vậy. Trong bối cảnh đẻ, khí mà logic truyền thông (hai trị) không còn đáp ứng được những đời hỏi của thục liễn, thì năm I965 được xem như một cột mốc trong lịch sử tr duy loài người kể lừ thời Arisloile. Trong nắm này, có hai đột phá quan trọng, thứ nhất là của J.
Robinson, người đã giới thiệu cái gọi là nguyên tắc hợp. giải (resolution prineiple) và thứ hai là của L. Zađeh, nguời đã để xuất khải niệm tập mở vả logie mở, Kẻ tử năm đó, oáe hình thức logic đa trị như Logic mi hay Logic ngôn ngữ đã trở thành những phương an thay thế cho logic truyền thống vả các phương pháp suy diễn, cụ thể là các nguyên tắc hợp giải, sử dụng cho các logie này đã được nghiên cửu ngày cảng sâu rông và thu được nhiễu thành tựu quan trạng như các công trình của T. việc nghiền cứu xây dựng logic ngôn ngữ vả các phương pháp sny điễn trên nó vẫn là để tải rất “nóng” cho tới ngày nay, bởi vi, ngôn ng là công cụ chỉnh để con người chúng †a tư duy, để lấy làm lý do và để đưa ra quyết định nhưng.
ngôn ngữ tự nhiên lại thường mơ hỗ, bắt định. Suy diễn trong logic ngôn ngữ, muụe đích chính của công việc nảy lá tạo điển kiện cho việc diễn giải và luận cáo kiển thức được thẻ hiện trang ngôn ngữ tự nhiên, kiu mà các câu mơ hỗ thường được dùng để đánh giá múc độ chân lý của của Luận văn cao học Người thực hiệu: Trần Ngọc Minh. LỜI MỞ ĐẦU Trong những năm sản đầy, chủng ta có những bước tiến lớn trong, kỹ thuật thiết kế cách giải quyết vấn đẻ và hệ thông giải đáp. Cách tiếp cận mới có thẻ được gọi là cách tiếp cận tiên để mà điều kiện và thông tin được lưu lại như các tiến để và van dé nguyên bản được giải quyết hoặc các câu hỏi được trả lời và được phát biển như các định Tử Cách tiếp cân nảy có một hạn chế.
Đó là khi chúng ta lưu trữ thông tỉn như các tiên đề, ta giả sử tắt cả các thông tin lả hoàn toàn đúng và điều không chắc chin là không có liên quan. Tuy nhiên trong thể giới thực có rất nhiều những điều không, chắc chắn vả những máy móc làm việc trong thế giới thực nảy, chẳng hạn robot được thiết kế để khám phá bé mặt mặt trăng chẳng hạn, phải có khả năng đưa ra những quyết định thông minh trong một môi trường “nè” nhụ vậy. Trong bối cảnh đẻ, khí mà logic truyền thông (hai trị) không còn đáp ứng được những đời hỏi của thục liễn, thì năm I965 được xem như một cột mốc trong lịch sử tr duy loài người kể lừ thời Arisloile. Trong nắm này, có hai đột phá quan trọng, thứ nhất là của J.
Robinson, người đã giới thiệu cái gọi là nguyên tắc hợp. giải (resolution prineiple) và thứ hai là của L. Zađeh, nguời đã để xuất khải niệm tập mở vả logie mở, Kẻ tử năm đó, oáe hình thức logic đa trị như Logic mi hay Logic ngôn ngữ đã trở thành những phương an thay thế cho logic truyền thống vả các phương pháp suy diễn, cụ thể là các nguyên tắc hợp giải, sử dụng cho các logie này đã được nghiên cửu ngày cảng sâu rông và thu được nhiễu thành tựu quan trạng như các công trình của T. việc nghiền cứu xây dựng logic ngôn ngữ vả các phương pháp sny điễn trên nó vẫn là để tải rất “nóng” cho tới ngày nay, bởi vi, ngôn ng là công cụ chỉnh để con người chúng †a tư duy, để lấy làm lý do và để đưa ra quyết định nhưng.
ngôn ngữ tự nhiên lại thường mơ hỗ, bắt định. Suy diễn trong logic ngôn ngữ, muụe đích chính của công việc nảy lá tạo điển kiện cho việc diễn giải và luận cáo kiển thức được thẻ hiện trang ngôn ngữ tự nhiên, kiu mà các câu mơ hỗ thường được dùng để đánh giá múc độ chân lý của của Luận văn cao học Người thực hiệu: Trần Ngọc Minh. Luật suy điễn. Độ tin cậy cũa công thức.
[lop pia trên logic ngén ngĩt 55 3. Định nghĩa hợp giải 55 3. Tỉnh đùng đắn của hợp giải. Chứng mình tỉnh day đủ dựa trên phuong phap cay ngit nghia.
Cài đặt vi dụ minh họa hợp giải trên logic ngồn ngữ. Luận văn cao học Người thực hiệu: Trần Ngọc Minh. LỜI MỞ ĐẦU Trong những năm sản đầy, chủng ta có những bước tiến lớn trong, kỹ thuật thiết kế cách giải quyết vấn đẻ và hệ thông giải đáp.