औपचारिककरण प्रणाली I: मॉडल — एक गैर-मोडल स्थिरीकरण

Key Points

• उद्देश्य यह है कि पारंपरिक प्रतिनिधित्व ढांचों के बिना मॉडल का एक गैर-मोडल स्थिरीकरण खोजा जाए।
• गैर-मोडल स्थिरीकरण के लिए एक वैचारिक ढांचा प्रस्तुत किया।
• औपचारिक पठनीय पुनर्विकास के लिए परिस्थितियों को सीमित किया।
• परंपरागत शर्तों में मॉडल की चर्चा से बचा गया।
• स्थापित किया गया कि मॉडल प्रतिनिधित्व, अनुकरण या कारणता से स्वतंत्र मौजूद हो सकता है।
• प्रतिनिधित्व समानता के बिना पठनीयता बनाए रखने के लिए मापदंडों को परिभाषित किया।