सूचना बीजगणित
शब्द ''सूचना बीजगणित'' इनफार्मेशन प्रोसेसिंग की गणितीय तकनीकों को संदर्भित करता है। मौलिक सूचना सिद्धांत क्लाउड शैनन पर वापस जाता है। यह संचार और संचय को देखते हुए सूचना प्रसारण का सिद्धांत है। चूंकि, अब तक इस तथ्य पर विचार नहीं किया गया है कि जानकारी विभिन्न स्रोतों से आती है और इसलिए यह सामान्यतः संयुक्त होती है। मौलिक सूचना सिद्धांत में इसकी भी उपेक्षा की गई है कि कोई व्यक्ति सूचना के भाग से उन भागो को निकालना चाहता है जो विशिष्ट प्रश्नों के लिए प्रासंगिक हैं।
इन परिचालनों का गणितीय वाक्यांशीकरण सूचना के बीजगणित की ओर ले जाता है, जो इनफार्मेशन प्रोसेसिंग के मूलभूत विधियो का वर्णन करता है। इस प्रकार के बीजगणित में कंप्यूटर विज्ञान की कई औपचारिकताएँ सम्मिलित होती हैं, जो सतह पर भिन्न प्रतीत होती हैं: संबंधपरक डेटाबेस, औपचारिक तर्क की कई प्रणालियाँ या रैखिक बीजगणित की संख्यात्मक समस्याएं है। यह इनफार्मेशन प्रोसेसिंग की सामान्य प्रक्रियाओं के विकास की अनुमति देता है और इस प्रकार विशेष रूप से डिस्ट्रिब्यूटेड इनफार्मेशन प्रोसेसिंग के कंप्यूटर विज्ञान के मूलभूत विधियो के एकीकरण की अनुमति देता है।
जानकारी स्पष्ट प्रश्नों से संबंधित है, विभिन्न स्रोतों से आती है, एकत्रित की जानी चाहिए, और रुचि के प्रश्नों पर ध्यान केंद्रित किया जा सकता है। इन विचारों से प्रारंभ होकर, सूचना बीजगणित (कोहलास 2003) संरचना (गणितीय तर्क) दो-क्रमबद्ध बीजगणित , जहां अर्धसमूह है, जो सूचना के संयोजन या एकत्रीकरण का प्रतिनिधित्व करता है, डोमेन सिद्धांतो (प्रश्नों से संबंधित) का जालक (क्रम) है जिसका आंशिक क्रम डोमेन या प्रश्न की ग्रैन्युलैरिटी को दर्शाता है, और मिश्रित ऑपरेशन जानकारी के फोकस या निष्कर्षण का प्रतिनिधित्व करता है।
सूचना और उसके संचालन
अधिक स्पष्ट रूप से, दो-क्रम वाले बीजगणित में , निम्नलिखित परिचालन परिभाषित हैं
|
इसके अतिरिक्त, में सामान्य जालक संचालन (मिलना और जुड़ना) परिभाषित हैं।
अभिगृहीत और परिभाषा
जालक के स्वयंसिद्धों के अतिरिक्त दो क्रमबद्ध बीजगणित के स्वयंसिद्ध
डोमेन पर एक अन्य जानकारी के साथ संयुक्त रूप से पर ध्यान केंद्रित करने के लिए, पहले दूसरी जानकारी को पर केंद्रित किया जा सकता है और फिर संयोजित किया जा सकता है।
किसी सूचना को और पर केंद्रित करने के लिए उसे पर केंद्रित किया जा सकता है
कोई भी जानकारी अपने ही एक भाग के साथ मिलकर कुछ नया नहीं देती।
प्रत्येक जानकारी कम से कम एक डोमेन (प्रश्न) को संदर्भित करती है। |
दो प्रकार का बीजगणित इन सिद्धांतों को संतुष्ट करना सूचना बीजगणित कहलाता है।
जानकारी का क्रम
सूचना का आंशिक क्रम परिभाषित करके प्रस्तुत किया जा सकता है यदि . इस का अर्थ है कि , की तुलना में कम जानकारीपूर्ण है यदि यह में कोई नई जानकारी नहीं जोड़ी जाती है . अर्धसमूह इस आदेश के सापेक्ष अर्धजाल है, अर्थात . किसी भी डोमेन से संबंधित (प्रश्न) परिभाषित यदि करके आंशिक आदेश प्रस्तुत किया जा सकता है. यह डोमेन (प्रश्न) के सापेक्ष और की सूचना सामग्री के क्रम का प्रतिनिधित्व करता है
लेबल की गई जानकारी बीजगणित
जोड़े , जहां और ऐसा है कि लेबल सूचना बीजगणित बनाएं। अधिक स्पष्ट रूप से, दो-क्रम वाले बीजगणित में , निम्नलिखित परिचालन परिभाषित हैं
|
सूचना बीजगणित के मॉडल
यहां सूचना बीजगणित के उदाहरणों की अधूरी सूची दी गई है:
- संबंधपरक बीजगणित: संयोजन और सामान्य प्रक्षेपण के रूप में प्राकृतिक जुड़ाव के साथ एक संबंधपरक बीजगणित का घटाव एक लेबल सूचना बीजगणित है, उदाहरण देखें।।
- बाध्य प्रणालियाँ: बाधाएँ सूचना बीजगणित बनाती हैं (जाफर & माहेर 1994).
- सेमिरिंग मूल्यवान बीजगणित: सी-सेमिरिंग सूचना बीजगणित को प्रेरित करता है (बिस्टारेली, मोंटानारी & Rossi1997);(बिस्टारेली et al. 1999);(कोहलास & विल्सन 2006).
- तर्क: कई तर्क प्रणालियाँ सूचना बीजगणित को प्रेरित करती हैं (विल्सन & मेंगिन 1999). बेलनाकार बीजगणित का घटाव (