View source for विवृत-संसार की धारणा

{{Short description|Assumption in formal logic}}
ज्ञान प्रतिनिधित्व के लिए उपयोग किए जाने वाले [[गणितीय तर्क|'''गणितीय तर्क''']] में, '''विवृत-संसार की धारणा''' यह धारणा है कि किसी [[कथन (तर्क)|'''कथन (तर्क)''']] का सत्य मान सत्य हो सकता है, यद्यपि वह सत्य होने के लिए ''ज्ञात'' हो या नहीं। अतः यह [[बंद दुनिया की धारणा|'''संवृत-संसार की धारणा''']] के विपरीत है, जो यह मानती है कि कोई भी कथन जो सत्य है उसे भी सत्य माना जा सकता है।

==उत्पत्ति==
इस प्रकार से एक विवृत-संसार की धारणा पहली बार प्राचीन यूनानी दार्शनिकों द्वारा स्थापना के समय प्रस्तावित गणितीय और दार्शनिक अवधारणाओं के बीच वैधता के अलग-अलग परिमाणों को समझाने के साधन के रूप में विकसित की गई थी।

==तार्किक निहितार्थ==
अतः विवृत-संसार की धारणा (ओडब्ल्यूए) अनौपचारिक धारणा को पूर्ण रूप से संहिताबद्ध करती है कि सामान्यतः किसी भी कारक या पर्यवेक्षक के निकट पूर्ण ज्ञान नहीं होता है, और इसलिए वह संवृत-संसार की धारणा नहीं बना सकता है। इस प्रकार से ओडब्ल्यूए उन अनुमानों और कटौतियों के प्रकार को सीमित करता है जो कारक उन कथनों से कर सकता है जो कारक को सत्य के रूप में ज्ञात हैं। अतः इसके विपरीत, संवृत-संसार की धारणा कारक को किसी कथन के पूर्ण रूप से सत्य होने के ज्ञान की कमी से यह अनुमान लगाने की अनुमति देती है कि कथन असत्य है।

अनुमानतः, विवृत-संसार की धारणा तब लागू होती है जब हम प्रणाली के भीतर ज्ञान का प्रतिनिधित्व करते हैं जैसा कि हम खोजते हैं, और जहां हम गारंटी नहीं दे सकते कि हमने पूर्ण सूचना खोज ली है या खोज लेंगे। अतः ओडब्ल्यूए में, ज्ञान के विषय में जो कथन पद्धति में स्पष्ट रूप से अधिसूचित किए गए ज्ञान में सम्मिलित नहीं हैं या उनसे अनुमानित नहीं हैं, उन्हें असत्य या असत्य के अतिरिक्त अज्ञात माना जा सकता है।

==[[सेमांटिक वेब|अर्थगत वेब]] भाषाएँ==
इस प्रकार से [[वेब ओन्टोलॉजी भाषा|'''वेब ओन्टोलॉजी भाषा''']] जैसी अर्थगत वेब भाषाएँ विवृत-संसार की धारणा बनाती हैं। अतः वेब के भीतर किसी विशेष कथन की अनुपस्थिति का अर्थ है, सैद्धांतिक रूप से, यह कथन अभी तक स्पष्ट रूप से नहीं दिया गया है, यद्यपि यह सत्य होगा या नहीं, और यद्यपि हम मानते हैं कि यह सत्य होगा या नहीं। संक्षेप में, मात्र कथन की अनुपस्थिति से, निगमनात्मक तर्ककर्ता यह अनुमान नहीं लगा सकता (और नहीं लगाना चाहिए) कि कथन असत्य है।

==प्रक्रियात्मक प्रोग्रामन==
इस प्रकार से कई [[प्रक्रियात्मक प्रोग्रामिंग भाषा|'''प्रक्रियात्मक प्रोग्रामन भाषाएं''']] और [[डेटाबेस|'''डेटाबेस''']] संवृत-संसार की धारणा पूर्ण रूप से बनाते हैं। उदाहरण के लिए, यदि किसी सामान्य वायु-मार्ग डेटाबेस में किसी यात्री के लिए सीट निर्धारित नहीं है, तो यह माना जाता है कि यात्री ने चेक-इन नहीं किया है। अतः संवृत-संसार की धारणा सामान्यतः तब लागू होती है जब किसी पद्धति का सूचना पर पूर्ण नियंत्रण होता है; यह कई डेटाबेस अनुप्रयोगों की स्थिति है जहां [[डेटाबेस लेनदेन|'''डेटाबेस विनिमय''']] प्रणाली केंद्रीय मध्यस्थ और कई स्वतंत्र ग्राहकों (जैसे, वायु-मार्ग बुकिंग कारकों) द्वारा समवर्ती अनुरोधों के मध्यस्थ के रूप में पूर्ण रूप से कार्य करती है। यद्यपि, अपूर्ण सूचना वाले कई डेटाबेस हैं: इस प्रकार से उदाहरण के लिए, कोई यह नहीं मान सकता है कि क्योंकि रोगी के किसी विशेष एलर्जी के इतिहास में कोई उल्लेख नहीं है, कि रोगी उस एलर्जी से पीड़ित नहीं है।

==उदाहरण==
  '''Statement: "Mary" "is a citizen of" "France"'''

  '''Question: Is Paul a citizen of France?'''

  '''"Closed world" (for example SQL) answer: No.
  "Open world" answer: Unknown.'''

इस प्रकार से ओडब्ल्यूए के अंतर्गत, किसी तथ्य को प्राप्त करने में विफलता का अर्थ विपरीत नहीं है। उदाहरण के लिए, मान लीजिए कि हम मात्र यह जानते हैं कि मैरी फ्रांस की नागरिक है। अतः इस सूचना से हम न तो यह निष्कर्ष निकाल सकते हैं कि पॉल फ्रांस का नागरिक नहीं है, न ही वह है। इसलिए, हम इस तथ्य को स्वीकार करते हैं कि संसार के विषय में हमारा ज्ञान पूर्ण रूप से अधूरा है। इस प्रकार से विवृत-संसार की धारणा [[प्रथम-क्रम तर्क|'''प्रथम-क्रम तर्क''']] की संलग्नता प्रकृति की एकरसता से निकटता से संबंधित है: इस प्रकार से नवीन सूचना जोड़ने से कभी भी पूर्व निष्कर्ष को असत्य नहीं ठहराया जा सकता है। अर्थात्, यदि हमें बाद में ज्ञात होता है कि पॉल भी फ्रांस का नागरिक है, तो इससे पूर्व के किसी भी सकारात्मक या नकारात्मक निष्कर्ष में कोई परिवर्तन नहीं आता है।

==मध्यम मैदान==
अतः स्थिर मॉडल शब्दार्थ दृढ निषेध के साथ तर्क प्रोग्रामों की भाषा हमें कुछ कथनों के लिए संवृत-संसार की धारणा को मानने और अन्य कथनों को विवृत-संसार की धारणा के अंतर्गत पूर्ण रूप से छोड़ने की अनुमति देती है।<ref>Russell, Stuart J.; Norvig, Peter (2010). [[Artificial Intelligence: A Modern Approach]] (3rd ed.). Upper Saddle River: Prentice Hall.</ref> इस प्रकार ओडब्लूए और सीडब्लूए के बीच मध्यवर्ती आधार {{visible anchor|आंशिक-संवृत विश्व धारणा}} (पीसीडब्ल्यूए) द्वारा प्रदान किया जाता है। अतः पीसीडब्ल्यूए के अंतर्गत, ज्ञान के आधार को सामान्यतः विवृत-संसार के शब्दार्थ के अंतर्गत माना जाता है, फिर भी उन भागों पर बल देना संभव है जिन्हें पूर्णता के अनुरोध के माध्यम से संवृत-संसार के शब्दार्थ के अंतर्गत माना जाना चाहिए। इस प्रकार से पीसीडब्ल्यूए की विशेष रूप से उन स्थितियों के लिए आवश्यकता होती है, अतः जहां विवृत प्रांत के कारण सीडब्ल्यूए लागू नहीं होता है, फिर भी ओडब्ल्यूए किसी भी वस्तु को संभवतः सत्य होने की अनुमति देने में बहुत विश्वसनीय है।<ref name="Motro1989">{{cite journal|last1=Motro|title=Integrity = Validity + Completeness|year=1989}}</ref><ref name="Razniewskietal2015">{{cite journal|last1=Razniewski|first1=Simon|last2=Savkovic|first2=Ognjen|last3=Nutt|first3=Werner|title=आंशिक रूप से बंद विश्व धारणा को उल्टा करना|year=2015|url=http://ceur-ws.org/Vol-1644/paper3.pdf}}</ref>
==यह भी देखें==
* संवृत-संसार की धारणा
* [[अद्वितीय नाम धारणा]]
* [[निश्चित उत्तर]]

==संदर्भ==
{{Reflist}}

{{DEFAULTSORT:Open-world assumption}}

[[Category:CS1 errors]]
[[Category:Created On 07/07/2023|Open-world assumption]]
[[Category:Lua-based templates|Open-world assumption]]
[[Category:Machine Translated Page|Open-world assumption]]
[[Category:Pages with script errors|Open-world assumption]]
[[Category:Templates Vigyan Ready|Open-world assumption]]
[[Category:Templates that add a tracking category|Open-world assumption]]
[[Category:Templates that generate short descriptions|Open-world assumption]]
[[Category:Templates using TemplateData|Open-world assumption]]
[[Category:ज्ञान निरूपण|Open-world assumption]]
[[Category:तर्क प्रोग्रामिंग|Open-world assumption]]