Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Về infimum, supremum của các cặp phần tử không sánh được trong đại số gia tử không thuần nhất. Tổ hợp các khái niệm hệ thống là bộ khung khái niệm khởi đầu, tạo ra sơ đồ nguyên tắc của sự phân chia khách thể nhận thức. Sự xuất hiện của "Lý thuyết chung của các hệ thống", một dạng những quan điểm khoa học chung mang tính hình thức và phổ quát, đã thúc đẩy mong muốn của cộng đồng khoa học muốn tiến tới phổ quát hoá các công cụ nhận thức khoa học và tiến đến nhận được. | Tạp chí Tin học và Đĩêu khiền học T.20 S.3 2004 242-256 VÊ INFIMUM SUPREMUM CỦA CÁC CẶP PHÂN TỬ KHÔNG SÁNH Được TRONG ĐẠI số GIA TỬ KHÔNG THUÂN NHAT1 LÊ XUÂN VINH Trường Đại học Sư phạm Quy Nhơn Abstract. In 9 10 non-homogenous hedge algebras and their properties are examined. This work is aimed to find infimum supremum of two incomparable elements. It is shown that in some cases these elements are determined directly in many other cases they are determined by some recursive formulars. The results found will be a basis to extend this an algebra to obtain an algebraic structure which is sufficient for studying a linguistic logic. Tóm tắt. Trong 9 10 đại số gia tử không thuần nhất và nhiều tính chất của nó đã được nghiên cứu. Bài báo khảo sát giá trị infimum supremum của các cặp phần tử không sánh được. Chúng ta thấy rằng một số trường hợp có thể xác định trực tiếp các giá trị này nhiều trường hợp khác chúng được tính thông qua một số công thức đệ quy. Các kết quả sẽ là cơ sở cho việc mở rộng đại số này để thu được một cấu trúc phong phú hơn có thể làm cơ sở cho một loại logic mờ giá trị ngôn ngữ. 1. GIỚI THIỆU Khi xem xét miền giá trị của biến ngôn ngữ theo quan điểm đại số mỗi giá trị của miền này được sinh ra từ các term nguyên thủy bởi việc tác động của các gia tử hedge . Miền giá trị này có cấu trúc như là một đại số. Như đã trình bày trong 9 cấu trúc đại số X. X G LH thỏa mãn một hệ tiên đề phù hợp với ngữ nghĩa của ngôn ngữ tự nhiên và đặc biệt là ngữ nghĩa của gia tử Not so được gọi là đại số gia tử không thuần nhất ĐSGTKTN . Bản thân cấu trúc này đã cho phép chúng ta biểu diln khá tốt một số giá trị ngôn ngữ có chứa liên từ đặc biệt là các giá trị ngôn ngữ có chứa gia tử Not so mà các phiên bản của các đại số gia tử trước đây chưa biểu diln được chẳng hạn phần tử AAlV i có thể biểu diln cho giá trị App.True or Not.True . Đáng tiếc ĐSGTKTN chưa phải là dàn tuy nhiên đối với những cặp phần tử không sánh được có dạng biểu diln nhất định chúng ta có thể thiết .
