Syntax and operational semantics of a probabilistic programming language with scopes

DOI10.1016/J.JMP.2016.06.006MaRDI QIDQ334454zbMATH OpenOpenAlexFDO

Authors P. D. Bruza

Publication date 1 November 2016

Published in Journal of Mathematical Psychology (Search for Journal in Brave)

Full work available at URL https://eprints.qut.edu.au/221610/1/JMP-15_148-revised-v2.pdf

zbMATH Keywords

contextualityprobabilistic programmingcontextuality-by-defaultprobabilistic modellingprogramming language semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• Modelling contextuality by probabilistic programs with hypergraph semantics
• Linking theories in probabilistic programming
• Context-content systems of random variables: the contextuality-by-default theory
• Contextual equivalence for probabilistic programs with continuous random variables and scoring
• Understanding probabilistic programs

Cites work

• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3319996 (Why is no real title available?)
• Contextuality in three types of quantum-mechanical systems
• Selectivity in probabilistic causality: where psychology runs into quantum physics
• The relational structure of belief networks
• The sheaf-theoretic structure of non-locality and contextuality

Cited in

(5)

• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Data fusion using Hilbert space multi-dimensional models
• Modelling contextuality by probabilistic programs with hypergraph semantics
• Beginner's luck: a language for property-based generators
• Preparation and measurement in quantum memory models

This page was built for publication: Syntax and operational semantics of a probabilistic programming language with scopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q334454)