जिस तरह से मैं अंतर को समझता हूं वह यह है कि स्वामित्व प्रकार ऑब्जेक्ट ग्राफ के आकार को बाधित करता है , और सबस्ट्रक्चरल सिस्टम (जैसे जुदाई तर्क) ढेर तक पहुंचने के लिए अनुमतियों का प्रबंधन करते हैं ।
odododod
इसके विपरीत, रेखीय प्रकार और पृथक्करण तर्क जैसी उपप्रणाली प्रणालियां संसाधनों के विचार पर निर्भर करती हैं । ढेर का प्रत्येक क्षेत्र एक संसाधन है, और यदि आपके पास संसाधन नहीं हैं तो आप इसे छू नहीं सकते हैं। इससे फ्रेम की स्थिति बहुत आसान हो जाती है: वे हमेशा पकड़ते हैं।
एक सतही अंतर (जो मुझे लंबे समय तक भ्रमित करता था) यह था कि स्वामित्व प्रकार प्रकार थे, और जुदाई तर्क एक कार्यक्रम तर्क था। सौभाग्य से, जबकि स्वामित्व प्रकार एक प्रकार-सिद्धांतिक सेटिंग में पैदा हुए थे, लोगों ने इन विचारों को लॉजिक के रूप में भी लागू किया है।
इस पर मैं जो सैद्धांतिक काम करता हूं, उसके दो मुख्य अंश हैं कासियोस डायनामिक फ्रेम पर काम करते हैं , जो बनर्जी और नौमन (और उनके छात्रों) ने क्षेत्रीय तर्क पर अपने काम में व्यवस्थित रूप से शोषण किया ।
जैसा कि मैंने इसे समझा, उनका मूल तरीका होरे तर्क को लेना है, और फिर:
- एक नए प्रकार के क्षेत्र चर जोड़ें, जिसका उपयोग आप वस्तुओं और क्षेत्रों को जोड़ने के लिए करते हैं।
- होरे तर्क के लिए एक प्रभाव प्रणाली जोड़ें क्षेत्रों को पढ़ता है और स्पर्श लिखता है।
- यह निर्धारित करने के लिए प्रभावों का उपयोग करें कि क्या अभिकथन फ्रेम-सम्मानजनक है या नहीं। यदि यह है, तो आप इसे फ्रेम कर सकते हैं, और यदि यह नहीं है, तो आप नहीं कर सकते।
प्रत्येक दृष्टिकोण के लाभ और कमजोरियां हैं।
स्वामित्व ढांचा उप-निर्माण दृष्टिकोण की तुलना में उपयोग करने के लिए फ्रेम गुणों को काफी कम सुविधाजनक बनाता है, क्योंकि आपको फ्रेम की स्थिति की गणना करनी होगी।
दूसरी ओर, डीएजी पर एल्गोरिदम एक स्वामित्व शैली में प्रिटियर आगमनात्मक साक्ष्यों का समर्थन करते हैं, क्योंकि आप सूचक संरचना से पदचिह्न को हटा सकते हैं। पृथक्करण-शैली की कल्पना में, स्वाभाविक बात यह है कि एक फैले हुए पेड़ पर एक आगमनात्मक अशुद्धि देना। लेकिन अगर फैले हुए पेड़ का एल्गोरिथ्म गणना करता है, तो वह आपके आक्रमणकर्ता की तुलना में कभी अलग है, तो आप चोट की दुनिया के लिए हैं।
मेरी सामान्य समझ यह है कि स्वामित्व की तुलना में अलगाव का उपयोग करना आसान है, क्योंकि हमें एक अनिवार्य कार्यक्रम में लगभग हर कमांड के लिए फ्रेम गुणों की आवश्यकता होती है। (डेव नौमन का तर्क है कि क्षेत्र तर्क स्वचालन के लिए अधिक उत्तरदायी है, क्योंकि मुखर तर्क सादा पुराना FOL बना हुआ है, और इसलिए आप ऑफ-द-शेल्फ प्रमेय प्रोवर्स और श्रीमती सॉल्वर का उपयोग कर सकते हैं।)
संपादित करें: मुझे सिर्फ मैट पार्किंसंस और एलेक्स समर्स द्वारा निम्नलिखित पेपर मिला, द रिलेशनशिप फॉर सेपरेशन लॉजिक और इम्प्लिक्ट डायनामिक फ्रेम्स , जहां वे दो तरीकों को एकीकृत करने वाले तर्क देने का दावा करते हैं।