LIPIcs.CALCO.2017.25.pdf
- Filesize: 0.52 MB
- 8 pages
Document
The EfProb Library for Probabilistic Calculations
Authors
-
Part of:
Volume:
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Conference on Algebra and Coalgebra in Computer Science (CALCO) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2017-11-17
Cite As Get BibTex
Kenta Cho and Bart Jacobs. The EfProb Library for Probabilistic Calculations. In 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 72, pp. 25:1-25:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.CALCO.2017.25
Abstract
EfProb is an abbreviation of Effectus Probability. It is the name of a library for probability calculations in Python. EfProb offers a uniform language for discrete, continuous and quantum probability. For each of these three cases, the basic ingredients of the language are states, predicates, and channels. Probabilities are typically calculated as validities of predicates in states. States can be updated (conditioned) with predicates. Channels can be used for state transformation and for predicate transformation. This short paper gives an overview of the use of EfProb.
Subject Classification
Keywords
- probability
- embedded language
- effectus theory
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
K. Cho, B. Jacobs, A. Westerbaan, and B. Westerbaan. An introduction to effectus theory. Preprint, 2015. arXiv:1512.05813 [cs.LO].
-
B. Cobb and P. Shenoy. Inference in hybrid Bayesian networks with mixtures of truncated exponentials. Int. J. Approx. Reasoning, 41(3):257-286, 2006.
-
N. Goodman, V. Mansinghka, D. Roy, K. Bonawitz, and J. Tenenbaum. Church: a language for generative models. In Uncertainty in Artificial Intelligence, 2008.
-
A. Green., P. LeF. Lumsdaine, N. Ross, P. Selinger, and B. Valiron. Quipper: A scalable quantum programming language. In Programming Language Design and Implementation, 2013.
- B. Jacobs. New directions in categorical logic, for classical, probabilistic and quantum logic. Logical Methods in Comp. Sci., 11(3):1-76, 2015. URL: http://dx.doi.org/10.2168/LMCS-11(3:24)2015.
- B. Jacobs and K. Cho. EfProb user manual. 2017. URL: https://efprob.cs.ru.nl.
-
B. Jacobs and F. Zanasi. A predicate/state transformer semantics for Bayesian learning. In L. Birkedal, editor, Math. Found. of Programming Semantics, number 325 in Elect. Notes in Theor. Comp. Sci., pages 185-200. Elsevier, Amsterdam, 2016.
-
B. Milch, B. Marthi, S. Russell, D. Sontag, D. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In L. Getoor and B. Taskar, editors, Introduction to Statistical Relational Learning. MIT Press, 2007.
-
M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge Univ. Press, 2000.
-
J. Paykin, R. Rand, and S. Zdancewic. QWIRE: A core language for quantum circuits. In Princ. of Programming Languages, pages 846-858. ACM Press, 2017.
-
F. Wood, J. W. van de Meent, and V. Mansinghka. A new approach to probabilistic programming inference. In Artificial Intelligence and Statistics, 2014.