सूचना बीजगणित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Algebra describing information processing}}
{{Short description|Algebra describing information processing}}
शब्द <nowiki>''</nowiki>'''सूचना बीजगणित<nowiki>''</nowiki>''' सूचना प्रसंस्करण की गणितीय तकनीकों को संदर्भित करता है। मौलिक [[सूचना सिद्धांत]] [[क्लाउड शैनन]] पर वापस जाता है। यह संचार और संचय को देखते हुए सूचना प्रसारण का सिद्धांत है। चूंकि, अब तक इस तथ्य पर विचार नहीं किया गया है कि जानकारी विभिन्न स्रोतों से आती है और इसलिए यह सामान्यतः संयुक्त होती है। मौलिक सूचना सिद्धांत में इसकी भी उपेक्षा की गई है कि कोई व्यक्ति सूचना के टुकड़े से उन भागो को निकालना चाहता है जो विशिष्ट प्रश्नों के लिए प्रासंगिक हैं।
शब्द <nowiki>''</nowiki>'''सूचना बीजगणित<nowiki>''</nowiki>''' सूचना प्रसंस्करण की गणितीय तकनीकों को संदर्भित करता है। मौलिक [[सूचना सिद्धांत]] [[क्लाउड शैनन]] पर वापस जाता है। यह संचार और संचय को देखते हुए सूचना प्रसारण का सिद्धांत है। चूंकि, अब तक इस तथ्य पर विचार नहीं किया गया है कि जानकारी विभिन्न स्रोतों से आती है और इसलिए यह सामान्यतः संयुक्त होती है। मौलिक सूचना सिद्धांत में इसकी भी उपेक्षा की गई है कि कोई व्यक्ति सूचना के टुकड़े से उन भागो को निकालना चाहता है जो विशिष्ट प्रश्नों के लिए प्रासंगिक हैं।


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


जानकारी स्पष्ट प्रश्नों से संबंधित है, विभिन्न स्रोतों से आती है, एकत्रित की जानी चाहिए, और रुचि के प्रश्नों पर ध्यान केंद्रित किया जा सकता है। इन विचारों से शुरू होकर, सूचना बीजगणित {{Harv|Kohlas|2003}} संरचना (गणितीय तर्क) दो-क्रमबद्ध बीजगणित <math>(\Phi,D)</math>, जहां <math>\Phi</math> [[अर्धसमूह]] है, जो सूचना <math>D</math> के संयोजन या एकत्रीकरण का प्रतिनिधित्व करता है, [[डोमेन सिद्धांत|डोमेन सिद्धांतो]] (प्रश्नों से संबंधित) का जालक (क्रम) है जिसका आंशिक क्रम डोमेन या प्रश्न की ग्रैन्युलैरिटी को दर्शाता है, और मिश्रित ऑपरेशन जानकारी के फोकस या निष्कर्षण का प्रतिनिधित्व करता है।
जानकारी स्पष्ट प्रश्नों से संबंधित है, विभिन्न स्रोतों से आती है, एकत्रित की जानी चाहिए, और रुचि के प्रश्नों पर ध्यान केंद्रित किया जा सकता है। इन विचारों से शुरू होकर, सूचना बीजगणित {{Harv|Kohlas|2003}} संरचना (गणितीय तर्क) दो-क्रमबद्ध बीजगणित <math>(\Phi,D)</math>, जहां <math>\Phi</math> [[अर्धसमूह]] है, जो सूचना <math>D</math> के संयोजन या एकत्रीकरण का प्रतिनिधित्व करता है, [[डोमेन सिद्धांत|डोमेन सिद्धांतो]] (प्रश्नों से संबंधित) का जालक (क्रम) है जिसका आंशिक क्रम डोमेन या प्रश्न की ग्रैन्युलैरिटी को दर्शाता है, और मिश्रित ऑपरेशन जानकारी के फोकस या निष्कर्षण का प्रतिनिधित्व करता है।


== सूचना और उसके संचालन ==
== सूचना और उसके संचालन ==
Line 36: Line 36:


== जानकारी का क्रम ==
== जानकारी का क्रम ==
सूचना का आंशिक क्रम परिभाषित करके प्रस्तुत किया जा सकता है <math>\phi \leq \psi</math> यदि <math>\phi \otimes \psi = \psi</math>. इस का मतलब है कि <math>\phi</math> ,<math>\psi</math> की तुलना में कम जानकारीपूर्ण है यदि यह <math>\psi</math> में कोई नई जानकारी नहीं जोड़ी जाती है . अर्धसमूह <math>\Phi</math> इस आदेश के सापेक्ष अर्धजाल है, अर्थात <math>\phi \otimes \psi = \phi \vee \psi</math>. किसी भी डोमेन से संबंधित (प्रश्न) <math>x \in D</math> परिभाषित <math>\phi \leq_{x} \psi</math> यदि <math>\phi^{\Rightarrow x} \leq \psi^{\Rightarrow x}</math> करके आंशिक आदेश प्रस्तुत किया जा सकता है. यह डोमेन (प्रश्न) <math>x</math> के सापेक्ष <math>\phi</math> और <math>\psi</math> की सूचना सामग्री के क्रम का प्रतिनिधित्व करता है
सूचना का आंशिक क्रम परिभाषित करके प्रस्तुत किया जा सकता है <math>\phi \leq \psi</math> यदि <math>\phi \otimes \psi = \psi</math>. इस का मतलब है कि <math>\phi</math> ,<math>\psi</math> की तुलना में कम जानकारीपूर्ण है यदि यह <math>\psi</math> में कोई नई जानकारी नहीं जोड़ी जाती है . अर्धसमूह <math>\Phi</math> इस आदेश के सापेक्ष अर्धजाल है, अर्थात <math>\phi \otimes \psi = \phi \vee \psi</math>. किसी भी डोमेन से संबंधित (प्रश्न) <math>x \in D</math> परिभाषित <math>\phi \leq_{x} \psi</math> यदि <math>\phi^{\Rightarrow x} \leq \psi^{\Rightarrow x}</math> करके आंशिक आदेश प्रस्तुत किया जा सकता है. यह डोमेन (प्रश्न) <math>x</math> के सापेक्ष <math>\phi</math> और <math>\psi</math> की सूचना सामग्री के क्रम का प्रतिनिधित्व करता है


== लेबल की गई जानकारी बीजगणित ==
== लेबल की गई जानकारी बीजगणित ==
Line 54: Line 54:
*बाध्य प्रणालियाँ: बाधाएँ सूचना बीजगणित बनाती हैं {{Harv|जाफर|माहेर|1994}}.
*बाध्य प्रणालियाँ: बाधाएँ सूचना बीजगणित बनाती हैं {{Harv|जाफर|माहेर|1994}}.
*सेमिरिंग मूल्यवान बीजगणित: सी-सेमिरिंग सूचना बीजगणित को प्रेरित करता है {{Harv|बिस्टारेली|मोंटानारी|Rossi1997}};{{Harv|बिस्टारेली|फ़ार्गियर|मोंटानारी|रॉसी|शिएक्स|वेरफैली|1999}};{{Harv|कोहलास |विल्सन|2006}}.
*सेमिरिंग मूल्यवान बीजगणित: सी-सेमिरिंग सूचना बीजगणित को प्रेरित करता है {{Harv|बिस्टारेली|मोंटानारी|Rossi1997}};{{Harv|बिस्टारेली|फ़ार्गियर|मोंटानारी|रॉसी|शिएक्स|वेरफैली|1999}};{{Harv|कोहलास |विल्सन|2006}}.
*[[तर्क]]: कई तर्क प्रणालियाँ सूचना बीजगणित को प्रेरित करती हैं {{Harv|Wilson|Mengin|1999}}. [[बेलनाकार बीजगणित]] का घटाव {{Harv|Henkin|Monk|Tarski|1971}} या पॉलीएडिक बीजगणित [[विधेय तर्क]] {{Harv|Halmos|2000}} से संबंधित सूचना बीजगणित हैं।
*[[तर्क]]: कई तर्क प्रणालियाँ सूचना बीजगणित को प्रेरित करती हैं {{Harv|Wilson|Mengin|1999}}. [[बेलनाकार बीजगणित]] का घटाव {{Harv|Henkin|Monk|Tarski|1971}} या पॉलीएडिक बीजगणित [[विधेय तर्क]] {{Harv|Halmos|2000}} से संबंधित सूचना बीजगणित हैं।
*[[मॉड्यूल (गणित)]]: {{Harv|Bergstra|Heering|Klint|1990}};{{Harv|de Lavalette|1992}}.
*[[मॉड्यूल (गणित)]]: {{Harv|Bergstra|Heering|Klint|1990}};{{Harv|de Lavalette|1992}}.
*रैखिक प्रणालियाँ: रैखिक समीकरणों या रैखिक असमानताओं की प्रणालियाँ सूचना बीजगणित को प्रेरित करती हैं {{Harv|Kohlas|2003}}.
*रैखिक प्रणालियाँ: रैखिक समीकरणों या रैखिक असमानताओं की प्रणालियाँ सूचना बीजगणित को प्रेरित करती हैं {{Harv|Kohlas|2003}}.
Line 61: Line 61:
मान लीजिए <math>{\mathcal A}</math> प्रतीकों का एक समूह है, जिसे विशेषताएँ (या स्तंभ नाम) कहा जाता है। प्रत्येक <math>\alpha\in{\mathcal A}</math> के लिए <math>U_\alpha</math> को एक गैर-रिक्त सेट होने दें, विशेषता <math>\alpha</math> के सभी संभावित मानों का सेट उदाहरण के लिए, यदि <math>{\mathcal A}= \{\texttt{name},\texttt{age},\texttt{income}\}</math> है तो <math>U_{\texttt{name}}</math> जबकि, स्ट्रिंग्स का सेट हो <math>U_{\texttt{age}}</math> और <math>U_{\texttt{income}}</math> दोनों गैर-ऋणात्मक पूर्णांकों का समुच्चय हैं।
मान लीजिए <math>{\mathcal A}</math> प्रतीकों का एक समूह है, जिसे विशेषताएँ (या स्तंभ नाम) कहा जाता है। प्रत्येक <math>\alpha\in{\mathcal A}</math> के लिए <math>U_\alpha</math> को एक गैर-रिक्त सेट होने दें, विशेषता <math>\alpha</math> के सभी संभावित मानों का सेट उदाहरण के लिए, यदि <math>{\mathcal A}= \{\texttt{name},\texttt{age},\texttt{income}\}</math> है तो <math>U_{\texttt{name}}</math> जबकि, स्ट्रिंग्स का सेट हो <math>U_{\texttt{age}}</math> और <math>U_{\texttt{income}}</math> दोनों गैर-ऋणात्मक पूर्णांकों का समुच्चय हैं।


मान लीजिए <math>x\subseteq{\mathcal A}</math> . एक <math>x</math> टुपल एक फ़ंक्शन <math>f</math> है जिससे प्रत्येक <math>x</math>-टुपल्स के लिए <math>\hbox{dom}(f)=x</math> और <math>f(\alpha)\in U_\alpha</math> हो। सभी <math>E_x</math> टुपल्स का सेट <math>x</math>-टुपल द्वारा दर्शाया गया है। <math>f</math> टुपल <math>y\subseteq x</math> और एक उपसमुच्चय <math>f[y]</math> के लिए प्रतिबंध <math>y</math>-टुपल को <math>g</math> जिससे <math>g(\alpha)=f(\alpha)</math> सभी के लिए <math>\alpha\in y</math> में परिभाषित किया गया है.
मान लीजिए <math>x\subseteq{\mathcal A}</math> . एक <math>x</math> टुपल एक फ़ंक्शन <math>f</math> है जिससे प्रत्येक <math>x</math>-टुपल्स के लिए <math>\hbox{dom}(f)=x</math> और <math>f(\alpha)\in U_\alpha</math> हो। सभी <math>E_x</math> टुपल्स का सेट <math>x</math>-टुपल द्वारा दर्शाया गया है। <math>f</math> टुपल <math>y\subseteq x</math> और एक उपसमुच्चय <math>f[y]</math> के लिए प्रतिबंध <math>y</math>-टुपल को <math>g</math> जिससे <math>g(\alpha)=f(\alpha)</math> सभी के लिए <math>\alpha\in y</math> में परिभाषित किया गया है.


एक संबंध <math>R</math> बटा <math>x</math>, <math>x</math>-ट्यूपल्स, का एक सेट है, अर्थात <math>E_x</math> का एक उपसमुच्चय गुण <math>x</math> के सेट को <math>R</math> का डोमेन कहा जाता है और <math>d(R)</math> द्वारा दर्शाया जाता है <math>y\subseteq d(R)</math> के लिए <math>R</math> से <math>y</math> का प्रक्षेपण निम्नानुसार परिभाषित किया गया है:
एक संबंध <math>R</math> बटा <math>x</math>, <math>x</math>-ट्यूपल्स, का एक सेट है, अर्थात <math>E_x</math> का एक उपसमुच्चय गुण <math>x</math> के सेट को <math>R</math> का डोमेन कहा जाता है और <math>d(R)</math> द्वारा दर्शाया जाता है <math>y\subseteq d(R)</math> के लिए <math>R</math> से <math>y</math> का प्रक्षेपण निम्नानुसार परिभाषित किया गया है:
Line 81: Line 81:
     \texttt{B} & \texttt{32'000} \\
     \texttt{B} & \texttt{32'000} \\
   \end{matrix}</math>
   \end{matrix}</math>
फिर <math>R</math> और <math>S</math> का जोड़ है:
फिर <math>R</math> और <math>S</math> का जोड़ है:
:<math>R\bowtie S=
:<math>R\bowtie S=
   \begin{matrix}
   \begin{matrix}

Revision as of 00:33, 8 December 2023

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

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

जानकारी स्पष्ट प्रश्नों से संबंधित है, विभिन्न स्रोतों से आती है, एकत्रित की जानी चाहिए, और रुचि के प्रश्नों पर ध्यान केंद्रित किया जा सकता है। इन विचारों से शुरू होकर, सूचना बीजगणित (Kohlas 2003) संरचना (गणितीय तर्क) दो-क्रमबद्ध बीजगणित , जहां अर्धसमूह है, जो सूचना के संयोजन या एकत्रीकरण का प्रतिनिधित्व करता है, डोमेन सिद्धांतो (प्रश्नों से संबंधित) का जालक (क्रम) है जिसका आंशिक क्रम डोमेन या प्रश्न की ग्रैन्युलैरिटी को दर्शाता है, और मिश्रित ऑपरेशन जानकारी के फोकस या निष्कर्षण का प्रतिनिधित्व करता है।

सूचना और उसके संचालन

अधिक स्पष्ट रूप से, दो-क्रम वाले बीजगणित में , निम्नलिखित परिचालन परिभाषित हैं

संयोजन
ध्यान केंद्रित
            

इसके अतिरिक्त, में सामान्य जालक संचालन (मिलना और जुड़ना) परिभाषित हैं।

अभिगृहीत और परिभाषा

जालक के स्वयंसिद्धों के अतिरिक्त दो क्रमबद्ध बीजगणित के स्वयंसिद्ध

Semigroup
एक तटस्थ तत्व (रिक्त जानकारी का प्रतिनिधित्व) के साथ संयोजन के अधीन एक क्रमविनिमेय अर्धसमूह है
संयोजन पर ध्यान केंद्रित करने का वितरण

डोमेन पर एक अन्य जानकारी के साथ संयुक्त रूप से पर ध्यान केंद्रित करने के लिए, पहले दूसरी जानकारी को पर केंद्रित किया जा सकता है और फिर संयोजित किया जा सकता है।

ध्यान केंद्रित परिवर्तनशीलता

किसी सूचना को और पर केंद्रित करने के लिए उसे पर केंद्रित किया जा सकता है

निरर्थकता

कोई भी जानकारी अपने ही एक भाग के साथ मिलकर कुछ नया नहीं देती।

सहायता
such that

प्रत्येक जानकारी कम से कम एक डोमेन (प्रश्न) को संदर्भित करती है।

            

दो प्रकार का बीजगणित इन सिद्धांतों को संतुष्ट करना सूचना बीजगणित कहलाता है।

जानकारी का क्रम

सूचना का आंशिक क्रम परिभाषित करके प्रस्तुत किया जा सकता है यदि . इस का मतलब है कि , की तुलना में कम जानकारीपूर्ण है यदि यह में कोई नई जानकारी नहीं जोड़ी जाती है . अर्धसमूह इस आदेश के सापेक्