इस प्रोजेक्ट के बारे में

Markovian एक प्रयोगात्मक Haskell पैकेज है जो परिमित स्टोकेस्टिक कर्नेल, Markov reward processes (MRP), Markov decision processes (MDP), पॉलिसियों और बाउंडेड इंटरप्रिटर्स पर केंद्रित है। यह पैकेज स्पष्ट मॉडल, पॉलिसी, होराइजन और डिस्काउंट मापदंडों के साथ सटीक फाइनाइट-होराइजन एक्सपेक्टेड-रिटर्न मूल्यांकन प्रदान करता है। इसमें रेजिडुअल, वैल्यू-एरर और ग्रीडी-पॉलिसी बाउंड्स के साथ सटीक डिस्काउंटेड वैल्यू इटरेशन, साथ ही सटीक डिटरमिनिस्टिक पॉलिसी इटरेशन शामिल है। यह पैकेज कैनोनिकल सटीक फाइनाइट बिलीफ्स, पोस्ट-ट्रांज़िशन प्रेडिक्शन और कंडीशनिंग के साथ बायेसियन अनुमान (Bayesian inference) का समर्थन करता है। यह प्योरिटी-इंडेक्स्ड स्टोकेस्टिक-सर्किट सिंटैक्स, स्पष्ट शेयरिंग और सटीक कॉनवेक्स चॉइस के साथ सर्किट रिप्रेजेंटेशन लागू करता है। सिस्टम मॉडलिंग के लिए, यह फाइनाइट टाइप्ड हाइपरग्राफ, स्ट्रक्चर्ड कोस्पैन और कम्यूटिंग ओपन-सिस्टम सेल्स प्रदान करता है। Markovian में सटीक प्योर कॉन्टेक्स्टुअल इक्विलिब्रियम एनुमेरेशन के साथ फाइनाइट ओपन गेम्स के कार्यान्वयन शामिल हैं। पैकेज को अलग-अलग मॉड्यूल में व्यवस्थित किया गया है: रूट लाइब्रेरी केवल 'base' पर निर्भर करती है और फाइनाइट सटीक सिमेंटिक्स को एक्सपोज़ करती है, जबकि वैकल्पिक पैकेज न्यूमेरिकल ऑपरेशन्स, सैंपलिंग, लर्निंग, डेंस सटीक रिप्रेजेंटेशन और बेंचमार्क को संभालते हैं। अतिरिक्त वैकल्पिक पैकेज निरंतर प्रक्रियाओं (continuous processes), autodiff, टेंसर ऑपरेशन्स, GPU त्वरण और न्यूरल नेटवर्क एकीकरण के लिए क्षमताएं प्रदान करते हैं, जो सभी स्पष्ट रूप से सीमित स्कोप के साथ हैं। पैकेज में इन्वेंट्री कंट्रोल बेंचमार्क और विशिष्ट गणितीय गुणों और कार्यान्वयनों के प्रमाण शामिल हैं।