Abstract
[6] have introduced a contextual probability theory called Contextuality-by-Default (C-b-D) which is based on three principles. The first of these principles states that each random variable should be automatically labeled by all condition under which it is recorded. The aim of this article is to relate this principle to block structured computer programming languages where variables are declared local to a construct called a “scope”. In this way a variable declared in two scopes can be safely overloaded meaning that they can have the same label but preserve two distinct identities without the need for the modeller to label each variable in each condition as advocated by C-b-D. A core issue addressed is how to construct a single probabilistic model from the various interim probability distributions returned by each syntactic scope. For this purpose, a probabilistic variant of the natural join operator of relational algebra is used to “glue” together interim distributions into a single distribution. The semantics of this join operator are related to contextual semantics [1].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abramsky, S.: Contextual semantics: from quantum mechanics to logic, databases, constraints, and complexity. Bull. EATCS 2(113) (2015)
Abramsky, S., Barbosa, R., Mansfield, S.: Quantifying contextuality via linear programming. In: Proceedings of the 13th Interational Conference on Quantum Physics and Logic (QPL 2016) (2016)
Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys. 13(11), 113036 (2011)
Benazson, J., Karpinski, S., Shah, V., Edelman, A.: Julia: a fast dynamic language for technical computing. arXiv:1209.5145 (2012)
Bruza, P.D.: Syntax and operational semantics of a probabilistic programming language with scopes. J. Math. Psychol. (2016, in press). doi:10.1016/j.jmp.2016.06.006
Dzhafarov, E., Kujala, J.: Probabilistic contextuality in EPR/Bohm-type systems with signaling allowed. In: Dzhafarov, E. (ed.) Contextuality from Quantum Physics to Psychology, chap. 12, pp. 287–308. World Scientific Press, New Jersey (2015)
Dzhafarov, R., Kujala, J.: Selectivity in probabilistic causality: where psychology runs into quantum physics. J. Math. Psychol. 56(1), 54–63 (2012)
Gyssens, M., Paredaens, J.: A decomposition methodology for cyclic databases. In: Gallaire, H., Minker, J., Nicolas, J.M. (eds.) Advances in Database Theory, vol. 2, pp. 85–122. Springer, New York (1984)
Liu, W., Yue, K., Li, W.: Constructing the Bayesian network structure from dependencies implied in multiple relational schemas. Expert Syst. Appl. 38, 7123–7134 (2011)
Wong, S.: An extended relational model for probabilistic reasoning. J. Intell. Inf. Syst. 9, 181–202 (1997)
Wong, S.: The relational structure of belief networks. J. Intell. Inf. Syst. 16, 117–148 (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Bruza, P.D., Abramsky, S. (2017). Probabilistic Programs: Contextuality and Relational Database Theory. In: de Barros, J., Coecke, B., Pothos, E. (eds) Quantum Interaction. QI 2016. Lecture Notes in Computer Science(), vol 10106. Springer, Cham. https://doi.org/10.1007/978-3-319-52289-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-52289-0_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-52288-3
Online ISBN: 978-3-319-52289-0
eBook Packages: Computer ScienceComputer Science (R0)