1.3. ĐẠI SỐ GIA TỬ
1.3.4. Những vấn đề cịn tồn tại
Như đã được đề cập ở trên, ĐSGT là mơ hình cĩ cấu trúc chặt chẽ và các khái niệm trong phương pháp hình thức dùng để mơ tả ngơn ngữ được tiên đề hĩa nhằm nhất thể hĩa cấu trúc tính tốn. Tuy nhiên, bản chất của ngơn ngữ cĩ tính khơng chính xác, do đĩ, nếu các giả thiết được đặt ra trong các tiên đề quá chặt chẽ sẽ dẫn đến hiện tượng mất mát nhiều thơng tin. Trong lý thuyết ĐSGT AX được nghiên
cứu trong [50-55] mới chỉ sử dụng giá trị định lượng ngữ nghĩa điểm, tức lõi ngữ nghĩa điểm, nên phần tử trung hịa W và hai phần tử 0 và 1 khơng cĩ lõi. Điều này đồng nghĩa với độ đo tính mờ của chúng được quy ước bằng 0 mặc dù trong các ứng dụng thực tế đều thường xây dựng các tập mờ cho chúng.
Do ngữ nghĩa của từ ngơn ngữ chứa một miền cĩ giá trị phù hợp với ngữ nghĩa của từ nhất nên tập mờ biểu diễn ngữ nghĩa của từ phải cĩ lõi là một khoảng. Hàm thuộc mờ hình thang đáp ứng được yêu cầu này. Mặt khác, do độ thuộc gần đỉnh của tập mờ hình thang giảm chậm hơn nên lượng thơng tin mất mát ít hơn so với tập mờ hình tam giác. Vậy, trong phương pháp hình thức hĩa ĐSGT, cơ sở ngữ nghĩa nào sinh lõi khoảng của tập mờ? Trong lý thuyết ĐSGT AX, giá trị định lượng ngữ nghĩa của từ ngơn ngữ là một giá trị thuộc khoảng tính mờ, tương ứng hàm thuộc mờ tam giác được xây dựng để biểu diễn ngữ nghĩa tính tốn dựa trên tập mờ của từ.
Trên cơ sở các phân tích nêu trên, luận án mong muốn xây dựng một cơ sở hình thức cho việc thiết kế tự động ngữ nghĩa tính tốn dựa trên tập mờ hình thang từ ngữ nghĩa vốn cĩ của các từ ngơn ngữ trên cơ sở phát triển mở rộng ĐSGT biểu diễn lõi ngữ nghĩa của các từ ngơn ngữ và ứng dụng giải bài tốn thiết kế FLRBC.