Showing 1–6 of 6 results for author: Vignudelli, V

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

Authors: Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Abstract: We present a generalisation of the theory of quantitative algebras of Mardare, Panangaden and Plotkin where (i) the carriers of quantitative algebras are not restricted to be metric spaces and can be arbitrary fuzzy relations or generalised metric spaces, and (ii) the interpretations of the algebraic operations are not required to be nonexpansive. Our main results include: a novel sound and comple… ▽ More We present a generalisation of the theory of quantitative algebras of Mardare, Panangaden and Plotkin where (i) the carriers of quantitative algebras are not restricted to be metric spaces and can be arbitrary fuzzy relations or generalised metric spaces, and (ii) the interpretations of the algebraic operations are not required to be nonexpansive. Our main results include: a novel sound and complete proof system, the proof that free quantitative algebras always exist, the proof of strict monadicity of the induced Free-Forgetful adjunction, the result that all monads (on fuzzy relations) that lift finitary monads (on sets) admit a quantitative equational presentation. △ Less

Submitted 5 July, 2024; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: Implemented the revisions suggested by anonymous reviewers

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning

Authors: Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Abstract: The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed with generalised metric space structures, and operations being nonexpansive up to a lifting. We apply our results to the algebraic axiomatisation of the Łukaszy… ▽ More The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed with generalised metric space structures, and operations being nonexpansive up to a lifting. We apply our results to the algebraic axiomatisation of the Łukaszyk--Karmowski distance on probability distributions, which has recently found application in the field of representation learning on Markov processes. △ Less

Submitted 22 January, 2022; originally announced January 2022.

Combining nondeterminism, probability, and termination: equational and metric reasoning

Authors: Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Abstract: We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equational reasoning tools for establishing equivalences and distances of programs. We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads, providing equational reasoning tools for establishing equivalences and distances of programs. △ Less

Submitted 21 April, 2021; v1 submitted 1 December, 2020; originally announced December 2020.

Monads and Quantitative Equational Theories for Nondeterminism and Probability

Authors: Matteo Mio, Valeria Vignudelli

Abstract: The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category of metric spaces, by means of the Hausdorff and Kantorovich metric liftings. Our main result is the presentation of this lifted monad in terms of the quantitati… ▽ More The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category of metric spaces, by means of the Hausdorff and Kantorovich metric liftings. Our main result is the presentation of this lifted monad in terms of the quantitative equational theory of convex semilattices, using the framework of quantitative algebras recently introduced by Mardare, Panangaden and Plotkin. △ Less

Submitted 15 May, 2020; originally announced May 2020.

Presenting convex sets of probability distributions by convex semilattices and unique bases

Authors: Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Abstract: We prove that every finitely generated convex set of finitely supported probability distributions has a unique base, and use this result to show that the monad of convex sets of probability distributions is presented by the algebraic theory of convex semilattices. We prove that every finitely generated convex set of finitely supported probability distributions has a unique base, and use this result to show that the monad of convex sets of probability distributions is presented by the algebraic theory of convex semilattices. △ Less

Submitted 4 May, 2020; originally announced May 2020.

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination

Authors: Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

Abstract: This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the generalised powerset construction. We characterise and compare the resulting semantics to known definitions of trace equivalences appearing in the literature. Most of ou… ▽ More This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the generalised powerset construction. We characterise and compare the resulting semantics to known definitions of trace equivalences appearing in the literature. Most of our results are based on the exciting interplay between monads and their presentations via algebraic theories. △ Less

Submitted 16 June, 2022; v1 submitted 2 August, 2018; originally announced August 2018.

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 2 (June 17, 2022) lmcs:6261