- necessity and possibility in nLab🔍
- Reasoning about Probabilistic Programs🔍
- Affeldt Reynald🔍
- Journal of Functional Programming🔍
- Structured Probabilistic Reasoning🔍
- Approximate Relational Reasoning for Probabilistic Programs🔍
- Ash Asudeh University of Oxford & Carleton University May 6🔍
- A Programming Language for Probabilistic Computation🔍
A trustful monad for axiomatic reasoning with probability and ...
necessity and possibility in nLab
The above reasoning makes plausible that any operators expressing “necessity” and “possibility” should at least satisfy these (co)monad axioms.
Reasoning about Probabilistic Programs - Oregon PL Summer School
Under monadic semantics: mismatch! I P describes: a distribution over memories. I But input to program: a single memory ...
Affeldt Reynald | Researcher Information | J-GLOBAL
Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa. A trustful monad for axiomatic reasoning with probability and nondeterminism. Journal of ...
#8973 - No-Go Theorems for Distributive Laws
, Outstanding contributions to logic, Monadic Monadic Second Order Logic ... , 2021, A trustful monad for axiomatic reasoning with probability ...
Journal of Functional Programming
... A trustful monad for axiomatic reasoning with probability and nondeterminism . . e17 Robert Sison and Toby Murray Verified secure ...
Structured Probabilistic Reasoning
... probability dis- tributions has the structure of a monad, which was published in the early. 1 Informally, a logic is non-monotonic if adding assumptions may ...
Approximate Relational Reasoning for Probabilistic Programs
tistical distance is more convenient for reasoning about our monadic ... [1984] were among the first to develop axiomatic logics for probabilistic computations.
Ash Asudeh University of Oxford & Carleton University May 6, 2018
Gianluca Giorgolo, in which we have explored applications of a particular construction from category theory, the monad, to problems in linguistics and cognitive ...
A Programming Language for Probabilistic Computation
Keywords: Probabilistic language, Probability distribution, Sampling function, Robotics, Computa- tional effect, Monad, Modal logic. Page 3. Abstract. As ...
Logical Aspects of Probability and Quantum Computation - CORE
of various 'probability' monads has evolved and became part of a new branch ... the axioms of monads. Similarly, we have: g∗ = DM(id1+!Y) h∗ = DM(idX+!Y).
A Unifying Foundation for Correctness and Incorrectness Reasoning
We present Outcome Logic (OL), a novel generalization of Hoare Logic that is both monadic (to capture computational effects) and monoidal. (to reason about ...
Trustworthy, Useful Languages for Probabilistic Modeling and ...
Probability's habit of violating intuition makes any automation of probabilistic reasoning ... target language, and is often an axiomatic logic such as first- ...
Formal verification of probabilistic graphical models and its ... - KAKEN
[Journal Article] A trustful monad for axiomatic reasoning with probability and nondeterminism2021. Author(s). AFFELDT REYNALD、GARRIGUE JACQUES、NOWAK DAVID ...
The Hitchhiker's Guide to Logical Verification - Brown CS
Besides being a useful computer science concept, monads provide a nice example of axiomatic reasoning. The bind and pure operations are ...
Commutative Monads for Probabilistic Programming Languages
In general, not every valuation on a dcpo D is a directed supremum of simple valuations [36]. However, we can apply the reasoning above about simple valuations ...
T h èse d e d o cto rat - Alexandre Goy
In the last section, we define the Radon monad R, a probability monad which can be ... The top right triangle commutes by the monad axiom. 179. Page 190. µT ...
No-Go Theorems for Distributive Laws - Nottingham Repository
x ∗ x = x and (w ∗ x) ∗ (y ∗ z) = w ∗ z. These axioms generalize naturally to larger state spaces. Example 2.18. The distribution monad Example ...
We prove that any monad morphism between a computational monad and a specification monad gives rise to a Dijkstra monad, which provides great flexibility for ...
An axiomatization of information flow measures - Trustworthy Systems
“probability monad”, that is in effect a type constructor that obeys ... Kifer, Reasoning about privacy using axioms, in: M.B. Matthews ...
, such as monads, were utilized in semantics to organize constructions and reasoning. ... The following is a probability distribution monad on Set ...