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

ज्ञान प्रतिनिधित्व के लिए उपयोग किए जाने वाले गणितीय तर्क में, खुली दुनिया की धारणा यह धारणा है कि किसी कथन (तर्क) का सत्य मान सत्य हो सकता है, भले ही वह सत्य होने के लिए ज्ञात हो या नहीं। यह बंद दुनिया की धारणा के विपरीत है, जो मानती है कि कोई भी कथन जो सत्य है उसे भी सत्य माना जाता है।

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

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

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

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

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

उदाहरण
कथन: मैरी फ्रांस की नागरिक है

प्रश्न: क्या पॉल फ्रांस का नागरिक है?

बंद दुनिया (उदाहरण के लिए SQL) उत्तर: नहीं। खुली दुनिया उत्तर: अज्ञात.

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

मध्यम मैदान
स्थिर मॉडल शब्दार्थ#मजबूत निषेध के साथ तर्क कार्यक्रमों की भाषा हमें कुछ बयानों के लिए बंद दुनिया की धारणा को मानने और अन्य बयानों को खुली दुनिया की धारणा के दायरे में छोड़ने की अनुमति देती है। OWA और CWA के बीच एक मध्यवर्ती आधार प्रदान किया जाता है (पीसीडब्ल्यूए)। पीसीडब्ल्यूए के तहत, ज्ञान के आधार को आम तौर पर खुली दुनिया के शब्दार्थ के तहत माना जाता है, फिर भी उन हिस्सों पर जोर देना संभव है जिन्हें पूर्णता के दावे के माध्यम से बंद दुनिया के शब्दार्थ के तहत माना जाना चाहिए। पीसीडब्ल्यूए की विशेष रूप से उन स्थितियों के लिए आवश्यकता होती है जहां खुले डोमेन के कारण सीडब्ल्यूए लागू नहीं होता है, फिर भी ओडब्ल्यूए किसी भी चीज़ को संभवतः सत्य होने की अनुमति देने में बहुत विश्वसनीय है।

यह भी देखें

 * बंद दुनिया की धारणा
 * अद्वितीय नाम धारणा
 * निश्चित उत्तर