रफ़ सेट: Difference between revisions

[[कंप्यूटर विज्ञान]] में, एक [[फजी सेट|रफ सेट]], जिसे पहली बार पोलिश कंप्यूटर वैज्ञानिक ज़डज़िस्लाव आई. पावलक द्वारा वर्णित किया गया था, सेट की एक जोड़ी के संदर्भ में एक [[ कुरकुरा सेट ]] (अर्थात , पारंपरिक सेट) का एक औपचारिक अनुमान है जो निचला और ऊपरी सन्निकटन देता है। मूल सेट रफ सेट थ्योरी (पावलक 1991) के मानक संस्करण में, निचले और ऊपरी-सन्निकटन सेट क्रिस्प सेट होते हैं, किन्तु अन्य विविधताओं में, अनुमानित सेट अस्पष्ट सेट हो सकते हैं।

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

===सूचना प्रणाली ढांचा===

होने देना <math>I = (\mathbb{U},\mathbb{A})</math> एक सूचना प्रणाली (विशेषता-मूल्य प्रणाली) बनें, जहां <math> \mathbb{U}</math> वस्तुओं (ब्रह्मांड) का एक गैर-रिक्त, सीमित सेट है <math> \mathbb{A}</math> ऐसी विशेषताओं का एक गैर-रिक्त, सीमित सेट है <math>I:\mathbb{U} \rightarrow V_a</math> हरएक के लिए <math>a \in \mathbb{A}</math>. <math>V_a</math> मानों का वह समूह है जो विशेषता देता है <math>a</math> लग सकता है। सूचना तालिका एक मान निर्दिष्ट करती है <math>a(x)</math> से <math>V_a</math> प्रत्येक विशेषता के लिए <math>a</math> और आपत्ति <math>x</math> ब्रह्मांड में <math>\mathbb{U}</math>.

 

किसी के साथ <math>P \subseteq \mathbb{A}</math> एक संबद्ध तुल्यता संबंध है <math>\mathrm{IND}(P)</math>:

रिश्ता <math>\mathrm{IND}(P)</math> ए कहा जाता है <math>P</math>- अविवेकपूर्ण संबंध. का विभाजन <math>\mathbb{U}</math> के सभी समतुल्य वर्गों का एक परिवार है <math>\mathrm{IND}(P)</math> और द्वारा दर्शाया गया है <math>\mathbb{U}/\mathrm{IND}(P)</math> (या <math>\mathbb{U}/P</math>).

यदि <math>(x,y)\in \mathrm{IND}(P)</math>, तब <math>x</math> और <math>y</math> गुणों के आधार पर अप्रभेद्य (या अप्रभेद्य) हैं <math>P</math> .

के समतुल्य वर्ग <math>P</math>-अविवेकी संबंध निरूपित किया जाता है <math>[x]_P</math>.

|+ Sample Information System

! Object !! <math>P_{1}</math> !! <math>P_{2}</math> !! <math>P_{3}</math> !! <math>P_{4}</math> !! <math>P_{5}</math>

जब गुणों का पूरा सेट <math>P = \{P_{1},P_{2},P_{3},P_{4},P_{5}\}</math> विचार करने पर, हम देखते हैं कि हमारे पास निम्नलिखित सात समतुल्य वर्ग हैं:

इस प्रकार, प्रथम तुल्यता वर्ग के भीतर दो वस्तुएँ, <math>\{O_{1},O_{2}\}</math>, उपलब्ध विशेषताओं और दूसरे समतुल्य वर्ग के भीतर तीन वस्तुओं के आधार पर एक दूसरे से भिन्न नहीं किया जा सकता है, <math>\{O_{3},O_{7},O_{10}\}</math>, उपलब्ध विशेषताओं के आधार पर एक दूसरे से भिन्न नहीं किया जा सकता। शेष पाँच वस्तुएँ अन्य सभी वस्तुओं से भिन्न हैं।

यह स्पष्ट है कि भिन्न-भिन्न विशेषता उपसमुच्चय चयन सामान्यतः भिन्न-भिन्न अविवेकपूर्णता वर्गों को जन्म देंगे। उदाहरण के लिए, यदि विशेषता <math>P =\{ P_{1}\}</math> अकेले चयनित होने पर, हमें निम्नलिखित, अधिक मोटे, तुल्यता-वर्ग संरचना प्राप्त होती है:

होने देना <math>X \subseteq \mathbb{U}</math> एक लक्ष्य सेट हो जिसे हम विशेषता उपसमुच्चय का उपयोग करके प्रस्तुत करना चाहते हैं <math>P</math>; अर्थात्, हमें बताया गया है कि वस्तुओं का एक मनमाना सेट <math>X</math> इसमें एक एकल वर्ग सम्मिलित है, और हम विशेषता उपसमुच्चय द्वारा प्रेरित समतुल्य वर्गों का उपयोग करके इस वर्ग (अर्थात , इस उपसमुच्चय) को व्यक्त करना चाहते हैं <math>P</math>. सामान्य रूप में, <math>X</math> सटीक रूप से व्यक्त नहीं किया जा सकता है, क्योंकि सेट में उन वस्तुओं को सम्मिलित और बाहर किया जा सकता है जो विशेषताओं के आधार पर अप्रभेद्य हैं <math>P</math>.

उदाहरण के लिए, निर्धारित लक्ष्य पर विचार करें <math>X = \{O_{1},O_{2},O_{3},O_{4}\}</math>, और विशेषता उपसमुच्चय दें <math>P = \{P_{1}, P_{2}, P_{3}, P_{4}, P_{5}\}</math>, सुविधाओं का पूरा उपलब्ध सेट। सेट <math>X</math> सटीक रूप से व्यक्त नहीं किया जा सकता, क्योंकि में <math>[x]_P,</math>, वस्तुएं <math>\{O_{3}, O_{7}, O_{10}\}</math> अविवेकी हैं. इस प्रकार, किसी भी सेट का प्रतिनिधित्व करने का कोई विधिनहीं है <math>X</math> जो भी सम्मिलित है <math>O_{3}</math> किन्तु वस्तुओं को छोड़ देता है <math>O_{7}</math> और <math>O_{10}</math>.

हालाँकि, लक्ष्य निर्धारित है <math>X</math> केवल उसमें उपस्थित जानकारी का उपयोग करके अनुमान लगाया जा सकता है <math>P</math> का निर्माण करके <math>P</math>-निचला और <math>P</math>-ऊपरी सन्निकटन <math>X</math>:

====ऊपरी सन्निकटन और ऋणात्मक क्षेत्र==== <math>P</math>वें>-ऊपरी सन्निकटन सभी समतुल्य वर्गों का मिलन है <math>[x]_P</math> जिनका लक्ष्य निर्धारित के साथ गैर-रिक्त प्रतिच्छेदन है - उदाहरण में, <math>{\overline P}X = \{O_{1}, O_{2}\} \cup \{O_{4}\} \cup \{O_{3}, O_{7}, O_{10}\}</math>, तीन समतुल्य वर्गों का मिलन <math>[x]_P</math> जिनका निर्धारित लक्ष्य के साथ गैर-रिक्त प्रतिच्छेदन है। ऊपरी सन्निकटन वस्तुओं का पूरा सेट है <math>\mathbb{U}/P</math> जिसे सकारात्मक रूप से (अर्थात, स्पष्ट रूप से) पूरक के रूप में वर्गीकृत नहीं किया जा सकता (<math>\overline X</math>) निर्धारित लक्ष्य का <math>X</math>. दूसरे शब्दों में, ऊपरी सन्निकटन वस्तुओं का पूरा सेट है जो संभवतः लक्ष्य सेट के सदस्य हैं <math>X</math>.

सेट <math>\mathbb{U}-{\overline P}X</math> इसलिए नकारात्मक क्षेत्र का प्रतिनिधित्व करता है, जिसमें वस्तुओं का समूह सम्मिलित है जिन्हें लक्ष्य सेट के सदस्यों के रूप में निश्चित रूप से खारिज किया जा सकता है।

सीमा क्षेत्र, निर्धारित अंतर द्वारा दिया गया <math>{\overline P}X - {\underline P}X</math>, इसमें वे वस्तुएं सम्मिलित हैं जिन्हें लक्ष्य निर्धारित के सदस्यों के रूप में न तो खारिज किया जा सकता है और न ही खारिज किया जा सकता है <math>X</math>.

संक्षेप में, लक्ष्य सेट का निचला सन्निकटन एक रूढ़िवादी सन्निकटन है जिसमें केवल वे वस्तुएं सम्मिलित होती हैं जिन्हें सकारात्मक रूप से सेट के सदस्यों के रूप में पहचाना जा सकता है। (इन वस्तुओं में कोई अदृश्य क्लोन नहीं है जिन्हें लक्ष्य सेट से बाहर रखा गया है।) ऊपरी सन्निकटन एक उदार सन्निकटन है जिसमें वे सभी वस्तुएँ सम्मिलित हैं जो लक्ष्य निर्धारित के सदस्य हो सकते हैं। (ऊपरी सन्निकटन में कुछ वस्तुएं लक्ष्य निर्धारित की सदस्य नहीं हो सकती हैं।) के परिप्रेक्ष्य से <math>\mathbb{U}/P</math>, निचले सन्निकटन में वे वस्तुएँ सम्मिलित हैं जो निश्चितता (संभावना = 1) के साथ निर्धारित लक्ष्य के सदस्य हैं, जबकि ऊपरी सन्निकटन में वे वस्तुएँ सम्मिलित हैं जो गैर-शून्य संभावना (संभावना> 0) के साथ निर्धारित लक्ष्य के सदस्य हैं।

टुपल <math>\langle{\underline P}X,{\overline P}X\rangle</math> निचले और ऊपरी सन्निकटन से बना रफ सेट कहलाता है; इस प्रकार, एक रफ सेट दो क्रिस्प सेटों से बना होता है, जिनमें से एक लक्ष्य सेट की निचली सीमा का प्रतिनिधित्व करता है <math>X</math>, और दूसरा लक्ष्य निर्धारित की ऊपरी सीमा का प्रतिनिधित्व करता है <math>X</math>.

अर्थात्, किसी न किसी सेट प्रतिनिधित्व की सटीकता <math>X</math>, <math>\alpha_{P}(X)</math>, <math>0 \leq \alpha_{P}(X) \leq 1</math>, उन वस्तुओं की संख्या का अनुपात है जिन्हें सकारात्मक रूप से रखा जा सकता है <math>X</math> उन वस्तुओं की संख्या तक जिन्हें संभवतः रखा जा सकता है <math>X</math> - यह इस बात का माप प्रदान करता है कि रफ सेट लक्ष्य सेट के कितनी करीब है। स्पष्ट रूप से, जब ऊपरी और निचले सन्निकटन बराबर होते हैं (अर्थात, सीमा क्षेत्र खाली होता है), तो <math>\alpha_{P}(X) = 1</math>, और सन्निकटन एकदम सही है; दूसरे चरम पर, जब भी निचला सन्निकटन खाली होता है, सटीकता शून्य होती है (ऊपरी सन्निकटन के आकार की परवाह किए बिना)।

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

सामान्यतः, ऊपरी और निचले सन्निकटन समान नहीं होते हैं; ऐसे मामलों में, हम कहते हैं कि लक्ष्य निर्धारित है <math>X</math> विशेषता सेट पर अपरिभाषित या मोटे तौर पर परिभाषित नहीं है <math>P</math>. जब ऊपरी और निचला सन्निकटन बराबर हो (अर्थात, सीमा खाली हो),  <math>{\overline P}X = {\underline P}X</math>, फिर लक्ष्य निर्धारित किया गया <math>X</math> विशेषता सेट पर निश्चित है <math>P</math>. हम अपरिभाषितता के निम्नलिखित विशेष मामलों को भिन्न कर सकते हैं:

* तय करना <math>X</math> यदि आंतरिक रूप से अपरिभाषित है <math>{\underline P}X = \emptyset</math> और <math>{\overline P}X \neq \mathbb{U}</math>. इसका मतलब है कि विशेषता सेट पर <math>P</math>, ऐसी कोई वस्तु नहीं है जिसके बारे में हम निश्चित हो सकें कि वह लक्ष्य निर्धारित से संबंधित है <math>X</math>, किन्तु ऐसी वस्तुएं हैं जिन्हें हम निश्चित रूप से सेट से बाहर कर सकते हैं <math>X</math>.

* तय करना <math>X</math> यदि बाह्य रूप से अपरिभाषित है <math>{\underline P}X \neq \emptyset</math> और <math>{\overline P}X = \mathbb{U}</math>. इसका मतलब है कि विशेषता सेट पर <math>P</math>, ऐसी वस्तुएं हैं जिनके बारे में हम निश्चित हो सकते हैं कि वे लक्ष्य निर्धारित से संबंधित हैं <math>X</math>, किन्तु ऐसी कोई वस्तु नहीं है जिसे हम निश्चित रूप से सेट से बाहर कर सकें <math>X</math>.

* तय करना <math>X</math> यदि पूरी तरह से अपरिभाषित है <math>{\underline P}X = \emptyset</math> और <math>{\overline P}X = \mathbb{U}</math>. इसका मतलब है कि विशेषता सेट पर <math>P</math>, ऐसी कोई वस्तु नहीं है जिसके बारे में हम निश्चित हो सकें कि वह लक्ष्य निर्धारित से संबंधित है <math>X</math>, और ऐसी कोई वस्तु नहीं है जिसे हम निश्चित रूप से सेट से बाहर कर सकें <math>X</math>. इस प्रकार, विशेषता सेट पर <math>P</math>, हम यह तय नहीं कर सकते कि कोई वस्तु इसका सदस्य है या नहीं <math>X</math>.

===रिडक्ट और कोर===

एक रोचक सवाल यह है कि क्या सूचना प्रणाली (विशेषता-मूल्य तालिका) में ऐसी विशेषताएं हैं जो अन्य विशेषताओं की तुलना में समतुल्य वर्ग संरचना में दर्शाए गए ज्ञान के लिए अधिक महत्वपूर्ण हैं। प्रायः, हमें आश्चर्य होता है कि क्या विशेषताओं का एक उपसमूह है, जो अपने आप में, डेटाबेस में ज्ञान को पूरी तरह से चित्रित कर सकता है; ऐसे विशेषता सेट को रिडक्ट कहा जाता है।

औपचारिक रूप से, रिडक्ट विशेषताओं का एक उपसमूह है <math>\mathrm{RED} \subseteq P</math> ऐसा है कि

* <math>[x]_{\mathrm{RED}}</math> = <math>[x]_P</math>, अर्थात्, कम विशेषता सेट द्वारा प्रेरित समतुल्य वर्ग <math>\mathrm{RED}</math> पूर्ण विशेषता सेट द्वारा प्रेरित समतुल्य वर्ग संरचना के समान हैं <math>P</math>.

* विशेषता सेट <math>\mathrm{RED}</math> न्यूनतम है, इस अर्थ में <math>[x]_{(\mathrm{RED}-\{a\})} \neq [x]_P</math> किसी भी विशेषता के लिए <math>a \in \mathrm{RED}</math>; दूसरे शब्दों में, किसी भी विशेषता को सेट से हटाया नहीं जा सकता <math>\mathrm{RED}</math> समतुल्य वर्गों को बदले बिना <math>[x]_P</math>.

कमी को सुविधाओं के पर्याप्त सेट के रूप में सोचा जा सकता है - पर्याप्त, अर्थात श्रेणी संरचना का प्रतिनिधित्व करने के लिए। उपरोक्त उदाहरण तालिका में, विशेषता सेट <math>\{P_3,P_4,P_5\}</math> एक कमी है - केवल इन विशेषताओं पर प्रक्षेपित सूचना प्रणाली में समान समतुल्य वर्ग संरचना होती है जो पूर्ण विशेषता सेट द्वारा व्यक्त की जाती है:

विशेषता सेट <math>\{P_3,P_4,P_5\}</math> एक कमी है क्योंकि इनमें से किसी भी विशेषता को समाप्त करने से तुल्यता-वर्ग संरचना का पतन हो जाता है, जिसके परिणामस्वरूप <math>[x]_{\mathrm{RED}} \neq [x]_P</math>.

किसी सूचना प्रणाली की कमी अद्वितीय नहीं है: विशेषताओं के कई उपसमूह हो सकते हैं जो सूचना प्रणाली में व्यक्त समतुल्य-वर्ग संरचना (अर्थात , ज्ञान) को संरक्षित करते हैं। उपरोक्त उदाहरण सूचना प्रणाली में, एक और कमी है <math>\{P_1,P_2,P_5\}</math>, समान तुल्यता-वर्ग संरचना का निर्माण करता है <math>[x]_P</math>.

गुणों का वह सेट जो सभी रिडक्ट्स के लिए सामान्य है, कोर कहलाता है: कोर उन गुणों का सेट है जो हर रिडक्ट के पास होता है, और इसलिए इसमें ऐसे गुण होते हैं जिन्हें तुल्यता-वर्ग के पतन