Об этом проекте

Markovian — это экспериментальный пакет Haskell, ориентированный на конечные стохастические ядра, марковские процессы вознаграждения (MRP), марковские процессы принятия решений (MDP), стратегии и ограниченные интерпретаторы. Пакет обеспечивает точную оценку ожидаемой доходности на конечном горизонте с явными параметрами модели, стратегии, горизонта и дисконтирования. Он включает точную итерацию discounted value с границами остатка, ошибки значения и жадной стратегии, а также точную детерминированную итерацию стратегий. Пакет поддерживает байесовский вывод с каноническими точными конечными убеждениями, прогнозированием после перехода и кондиционированием. В нем реализованы представления схем с синтаксисом стохастических схем, индексированных по чистоте, явным разделением и точным выпуклым выбором. Для моделирования систем предлагаются конечные типизированные гиперграфы, структурированные коспаны и коммутирующие ячейки открытых систем. Markovian включает реализации для конечных открытых игр с точным перечислением чистых контекстуальных равновесий. Пакет организован в отдельные модули: корневая библиотека зависит только от 'base' и предоставляет конечную точную семантику, в то время как дополнительные пакеты отвечают за численные операции, сэмплирование, обучение, плотные точные представления и бенчмарки. Дополнительные опциональные пакеты предоставляют возможности для непрерывных процессов, autodiff, тензорных операций, GPU-ускорения и интеграции нейронных сетей, и все это с явно ограниченными областями применения. Пакет включает бенчмарки по управлению запасами и доказательства конкретных математических свойств и реализаций.