ساختارهاي توپولوژيكي حاصل از اتوماتاي فازي عمومي براساس تكوارۀ مشبكه مرتب

نقش اساسي خواص جبري در توسعۀ مباني علم كامپيوتر موجب شده تا پژوهش‌گران مفاهيم تفكيك­پذيري، هم‌بندي و معكوس­پذيري اتوماتاي فازي را در سطح وسيعي بررسي كنند. در اين مقاله، اتوماتاي فازي عمومي را از ديدگاه جبري و توپولوژيكي بررسي كرده و خواص جبري اتوماتاي مذكور را براساس تكوارۀ مشبكۀ مرتب بررسي مي­كنيم. از طرف ديگر، اتوماتاي فازي عمومي را با استفاده از مفاهيم عملگرها بررسي مي­كنيم. اين عملگرها به ما در بررسي جبري اتوماتاي فازي عمومي كمك كرده و بستر لازم را براي استفاده از مفاهيم توپولوژيكي فراهم مي­آورند. بدين منظور، با در­نظر گرفتن تعريف اتوماتاي فازي عمومي، اتوماتاي فازي عمومي LB– ارزشي را كه در آن B يك تكوارۀ مشبكۀ مرتب متشكل از گزاره­هاي مربوط به اتوماتاي فازي عمومي است، تعريف مي­كنيم. سپس، عملگرهاي دروني و بستار كوراتوفسكي LB-ارزشي را روي مجموعه حالت‌هاي اتوماتاي مذكور تعريف كرده و ساختارهاي توپولوژيكي حاصل از اين عملگرها را معرفي مي­كنيم. نكتۀ قابل توجه در اين پژوهش، پيدا كردن مفاهيم جبري و توپولوژيكي براي اتوماتاي فازي عمومي بر اساس تكوارۀ مشبكه مرتب است كه به ساختارهاي تكواره­اي وابسته، بستگي دارد. در پايان، برخي خواص هم‌بندي و تفكيك­پذيري اتوماتاي فازي عمومي LB–ارزشي را بررسي مي­كنيم و با ارائۀ مثال اين مفاهيم را روشن مي‌سازيم.

no abstract