Algebras of Sets and Coherent Sets of Gambles
- URL: http://arxiv.org/abs/2105.12986v1
- Date: Thu, 27 May 2021 08:14:38 GMT
- Title: Algebras of Sets and Coherent Sets of Gambles
- Authors: Juerg Kohlas, Arianna Casanova, Marco Zaffalon
- Abstract summary: We show how to construct an information algebra of coherent sets of gambles defined on general possibility spaces.
This paper also details how propositional logic is naturally embedded into the theory of imprecise probabilities.
- Score: 1.697342683039794
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In a recent work we have shown how to construct an information algebra of
coherent sets of gambles defined on general possibility spaces. Here we analyze
the connection of such an algebra with the set algebra of subsets of the
possibility space on which gambles are defined and the set algebra of sets of
its atoms. Set algebras are particularly important information algebras since
they are their prototypical structures. Furthermore, they are the algebraic
counterparts of classical propositional logic. As a consequence, this paper
also details how propositional logic is naturally embedded into the theory of
imprecise probabilities.
Related papers
- An algebraic formulation of nonassociative quantum mechanics [0.0]
We develop a version of quantum mechanics that can handle nonassociative algebras of observables.
Our approach is naturally probabilistic and is based on using the universal enveloping algebra of a general nonassociative algebra.
arXiv Detail & Related papers (2023-11-07T01:36:23Z) - Enriching Diagrams with Algebraic Operations [49.1574468325115]
We extend diagrammatic reasoning in monoidal categories with algebraic operations and equations.
We show how this construction can be used for diagrammatic reasoning of noise in quantum systems.
arXiv Detail & Related papers (2023-10-17T14:12:39Z) - Algebras of actions in an agent's representations of the world [51.06229789727133]
We use our framework to reproduce the symmetry-based representations from the symmetry-based disentangled representation learning formalism.
We then study the algebras of the transformations of worlds with features that occur in simple reinforcement learning scenarios.
Using computational methods, that we developed, we extract the algebras of the transformations of these worlds and classify them according to their properties.
arXiv Detail & Related papers (2023-10-02T18:24:51Z) - The tilted CHSH games: an operator algebraic classification [77.34726150561087]
This article introduces a general systematic procedure for solving any binary-input binary-output game.
We then illustrate on the prominent class of tilted CHSH games.
We derive for those an entire characterisation on the region exhibiting some quantum advantage.
arXiv Detail & Related papers (2023-02-16T18:33:59Z) - Learning Algebraic Representation for Systematic Generalization in
Abstract Reasoning [109.21780441933164]
We propose a hybrid approach to improve systematic generalization in reasoning.
We showcase a prototype with algebraic representation for the abstract spatial-temporal task of Raven's Progressive Matrices (RPM)
We show that the algebraic representation learned can be decoded by isomorphism to generate an answer.
arXiv Detail & Related papers (2021-11-25T09:56:30Z) - Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
We propose LeAR, an end-to-end neural model to learn algebraic recombination for compositional generalization.
Key insight is to model the semantic parsing task as a homomorphism between a latent syntactic algebra and a semantic algebra.
Experiments on two realistic and comprehensive compositional generalization demonstrate the effectiveness of our model.
arXiv Detail & Related papers (2021-07-14T07:23:46Z) - Information algebras of coherent sets of gambles in general possibility
spaces [1.697342683039794]
We show that coherent sets of gambles can be embedded into the algebraic structure of information algebra.
This leads to a new perspective of the algebraic and logical structure of desirability.
arXiv Detail & Related papers (2021-05-25T16:18:39Z) - Hilbert Spaces of Entire Functions and Toeplitz Quantization of
Euclidean Planes [0.0]
We extend the theory of Toeplitz quantization to include diverse and interesting non-commutative realizations of the classical Euclidean plane.
The Toeplitz operators are geometrically constructed as special elements from this algebra.
Various illustrative examples are computed.
arXiv Detail & Related papers (2021-05-18T09:52:48Z) - An Algebraic Framework for Multi-Qudit Computations with Generalized
Clifford Algebras [0.0]
We develop a framework of axioms which abstracts various high-level properties of multi-qudit representations of generalized Clifford algebras.
This framework opens the way for developing a graphical calculus for multi-qudit representations of generalized Clifford algebras.
arXiv Detail & Related papers (2021-03-29T04:32:59Z) - Information algebras of coherent sets of gambles [1.697342683039794]
We show that coherent sets of gambles can be embedded into the algebraic structure of information algebra.
This leads to a new perspective of the algebraic and logical structure of desirability.
arXiv Detail & Related papers (2021-02-26T09:36:39Z) - Algebraic Neural Networks: Stability to Deformations [179.55535781816343]
We study algebraic neural networks (AlgNNs) with commutative algebras.
AlgNNs unify diverse architectures such as Euclidean convolutional neural networks, graph neural networks, and group neural networks.
arXiv Detail & Related papers (2020-09-03T03:41:38Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.