Một số toán tử chuẩn hợp nhất trong logic mờ

- TÓM TẮT LUẬN VĂN THẠC SĨ Đề tài: Một số toán tử chuẩn hợp nhất trong logic - mờ.
- Bùi Công Cường Nội dung tóm tắt: a) Lý do chọn đề tài: Logic - mờ ra đời đã cung cấp một công cụ hữu hiệu để nghiên cứu và xây dựng các hệ thống có khả năng xử lý thông tin không chính xác.
- Các toán tử kéo theo đóng một vai trò quan trọng trong việc xây dựng logic mờ và lý thuyết lập luận xấp xỉ.
- Việc nghiên cứu các lớp toán tử kéo theo được xây dựng từ chuẩn hợp nhất đang là một vấn đề thời sự có ý nghĩa khoa học.
- b) Mục đích nghiên cứu của luận văn, đối tượng, phạm vi nghiên cứu.
- Tổng quát hóa một số toán tử logic cổ điển để áp dụng trong logic mờ.
- Trong chương này chúng tôi đưa ra những khái niệm cơ bản về t-chuẩn và t-đối chuẩn, phép phủ định mạnh và toán tử binary.
- Đặc biệt khái niệm chuẩn hợp nhất được giới thiệu trong chương này và được sử dụng xuyên suốt nội dung của bản luận văn.
- Chương II: Nghiên cứu phép QL-kéo theo từ chuẩn hợp nhất.
- Trong chương này chúng tôi trình bày cách xây dựng phép QL – Kéo theo từ các toán tử chuẩn hợp nhất.
- Một số kết quả về dạng biểu diễn tường minh của phép QL – kéo theo cũng được chúng tôi trình bày trong các mệnh đề của chương này.
- Chương III: Nghiên cứu về phép D-kéo theo từ chuẩn hợp nhất.
- Trong chương này chúng tôi đưa ra khái niệm QL – kéo theo.
- Một vài tính chất của QL - kéo và D - kéo theo.
- Chú ý rằng nếu phép QL – kéo theo và D - kéo theo được xây dựng từ t - chuẩn và t-đối chuẩn thì chúng có một số tính chất quen thuộc.
- Những tính chất này sẽ không còn trong trường hợp phép QL – kéo theo và D - kéo theo được xây dựng từ chuẩn hợp nhất.
- d) Phương pháp nghiên cứu.
- Phương pháp tổng quát hóa toán tử t – chuẩn và t – đối chuẩn thành toán tử hợp nhất.
- Tổng quát hóa phép kéo theo thành phép QL – kéo theo và D – kéo theo - Sử dụng các kỹ thuật của Giải tích thực để chứng minh các mệnh đề đã phát biểu.
- Đối tượng: Các phép kéo theo QL – kéo theo và D – kéo theo e) Kết luận Luận văn này đã trình bày về cơ sở lý thuyết về một số toán tử chuẩn hợp nhất trong logic mờ, t – chuẩn, t – đối chuẩn, phép phủ định mạnh, chuẩn hợp nhất.
- Luận văn nghiên cứu hai lớp toán tử kéo theo được sinh ra từ lớp toán tử hợp nhất.
- Lớp thứ nhất là lớp QL – Kéo theo sẽ được xác định bởi , với mọi x,y [0,1] ở đây N là phép phủ định mạnh, U và U’ lần lượt là phép hội và phép tuyển hợp nhất.
- Lớp thứ hai là D – kéo theo dạng , với mọi x,y [0,1].
- Tuy nhiên với cách định nghĩa như vậy thì không phải lúc nào toán tử và cũng là toán tử kéo theo.
- Vì vậy trọng tâm của luận văn là nghiên cứu những điều kiện cần và đủ để các toán tử và định nghĩa như trên là toán tử kéo theo

Xem thử không khả dụng, vui lòng xem tại trang nguồn
hoặc xem Tóm tắt