सूचना बीजगणित

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

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

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

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

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

अभिगृहीत और परिभाषा
द्वि-क्रमित बीजगणित के अभिगृहीत $$(\Phi,D)$$, जाली के सिद्धांतों के अलावा $$D$$:

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

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

लेबल की गई जानकारी बीजगणित
जोड़े $$(\phi,x) \ $$, कहाँ $$\phi \in \Phi$$ और $$x \in D$$ ऐसा है कि $$\phi^{\Rightarrow x} = \phi$$ एक लेबल सूचना बीजगणित बनाएं। अधिक सटीक रूप से, दो-क्रम वाले बीजगणित में $$(\Phi,D) \ $$, निम्नलिखित परिचालन परिभाषित हैं

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

कार्यान्वित उदाहरण: संबंधपरक बीजगणित
होने देना $${\mathcal A}$$ प्रतीकों का एक समूह हो, जिसे विशेषताएँ (या स्तंभ नाम) कहा जाता है। प्रत्येक के लिए $$\alpha\in{\mathcal A}$$ होने देना $$U_\alpha$$ एक गैर-रिक्त सेट हो, विशेषता के सभी संभावित मानों का सेट $$\alpha$$. उदाहरण के लिए, यदि $${\mathcal A}= \{\texttt{name},\texttt{age},\texttt{income}\}$$, तब $$U_{\texttt{name}}$$ सकना जबकि, स्ट्रिंग्स का सेट हो $$U_{\texttt{age}}$$ और $$U_{\texttt{income}}$$ दोनों गैर-ऋणात्मक पूर्णांकों का समुच्चय हैं।

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

एक रिश्ता $$R$$ ऊपर $$x$$का एक सेट है $$x$$-ट्यूपल्स, यानी का एक उपसमुच्चय $$E_x$$. गुणों का समुच्चय $$x$$ का डोमेन कहा जाता है $$R$$ और द्वारा निरूपित किया गया $$d(R)$$. के लिए $$y\subseteq d(R)$$ का प्रक्षेपण $$R$$ पर $$y$$ परिभाषित किया गया निम्नलिखित नुसार:
 * $$\pi_y(R):=\{f[y]\mid f\in R\}.$$

किसी रिश्ते का जुड़ना $$R$$ ऊपर $$x$$ और एक रिश्ता $$S$$ ऊपर $$y$$ है इस प्रकार परिभाषित:
 * $$R\bowtie S:=\{f\mid f \quad (x\cup y)\hbox{-tuple},\quad f[x]\in R,

\;f[y]\in S\}.$$ उदाहरण के तौर पर, आइए $$R$$ और $$S$$ निम्नलिखित संबंध बनें:
 * $$R=

\begin{matrix} \texttt{name} & \texttt{age} \\ \texttt{A} & \texttt{34} \\ \texttt{B} & \texttt{47} \\ \end{matrix}\qquad S=  \begin{matrix} \texttt{name} & \texttt{income} \\ \texttt{A} & \texttt{20'000} \\ \texttt{B} & \texttt{32'000} \\ \end{matrix}$$ फिर का जोड़ $$R$$ और $$S$$ है:
 * $$R\bowtie S=

\begin{matrix} \texttt{name} & \texttt{age} & \texttt{income} \\ \texttt{A} & \texttt{34} & \texttt{20'000} \\ \texttt{B} & \texttt{47} & \texttt{32'000} \\ \end{matrix}$$ प्राकृतिक जुड़ाव के साथ एक संबंधपरक डेटाबेस $$\bowtie$$ संयोजन और सामान्य प्रक्षेपण के रूप में $$\pi$$ एक सूचना बीजगणित है. तब से संचालन अच्छी तरह से परिभाषित हैं यह देखना आसान है कि रिलेशनल डेटाबेस किसी लेबल के सिद्धांतों को संतुष्ट करते हैं सूचना बीजगणित:
 * $$d(R\bowtie S)=d(R)\cup d(S)$$
 * अगर $$x\subseteq d(R)$$, तब $$d(\pi_x(R))=x$$.
 * अर्धसमूह : $$(R_1\bowtie R_2)\bowtie R_3=R_1\bowtie(R_2\bowtie R_3)$$ और $$R\bowtie S=S\bowtie R$$
 * परिवर्तनशीलता : यदि $$x\subseteq y\subseteq d(R)$$, तब $$\pi_x(\pi_y(R))=\pi_x(R)$$.
 * संयोजन : यदि $$d(R)=x$$ और $$d(S)=y$$, तब $$\pi_x(R\bowtie S)=R\bowtie\pi_{x\cap y}(S)$$.
 * नपुंसकता : यदि $$x\subseteq d(R)$$, तब $$R\bowtie\pi_x(R)=R$$.
 * समर्थन : यदि $$ x = d(R)$$, तब $$\pi_x(R)=R$$.

कनेक्शन

 * मूल्यांकन बीजगणित: निष्क्रियता सिद्धांत को छोड़ने से मूल्यांकन बीजगणित होता है। इन सिद्धांतों का परिचय किसके द्वारा दिया गया है? स्थानीय संगणना योजनाओं को सामान्य बनाने के लिए बायेसियन नेटवर्क से लेकर अधिक सामान्य औपचारिकताओं तक, जिसमें विश्वास कार्य, संभावना क्षमताएं आदि शामिल हैं। . विषय पर पुस्तक-लंबाई प्रदर्शनी के लिए देखें.
 * डोमेन और सूचना प्रणाली: संक्षिप्त सूचना बीजगणित स्कॉट डोमेन और स्कॉट सूचना प्रणाली से संबंधित हैं  ;;.
 * अनिश्चित जानकारी: सूचना बीजगणित में मूल्यों के साथ यादृच्छिक चर संभाव्य तर्क प्रणालियों का प्रतिनिधित्व करते हैं.
 * अर्थ संबंधी जानकारी: सूचना बीजगणित फोकस और संयोजन के माध्यम से जानकारी को प्रश्नों से जोड़कर शब्दार्थ का परिचय देते हैं ;.
 * सूचना प्रवाह : सूचना बीजगणित, विशेष वर्गीकरण में, सूचना प्रवाह से संबंधित हैं.
 * वृक्ष अपघटन: सूचना बीजगणित को एक पदानुक्रमित वृक्ष संरचना में व्यवस्थित किया जाता है, और छोटी समस्याओं में विघटित किया जाता है।
 * अर्धसमूह सिद्धांत : ...
 * संरचनागत मॉडल: ऐसे मॉडल को सूचना बीजगणित के ढांचे के भीतर परिभाषित किया जा सकता है: https://arxiv.org/abs/1612.02587
 * सूचना और मूल्यांकन बीजगणित की विस्तारित स्वयंसिद्ध नींव: सशर्त स्वतंत्रता की अवधारणा सूचना बीजगणित के लिए बुनियादी है और सशर्त स्वतंत्रता के आधार पर सूचना बीजगणित की एक नई स्वयंसिद्ध नींव, पुराने का विस्तार (ऊपर देखें) उपलब्ध है: https://arxiv। org/abs/1701.02658

ऐतिहासिक जड़ें
सूचना बीजगणित के लिए अभिगृहीत प्राप्त होते हैं (शेनॉय और शैफर, 1990) में प्रस्तावित स्वयंसिद्ध प्रणाली, यह भी देखें (शेफर, 1991)।