Conditioning Accept-Desirability models in the context of AGM-like belief change
- URL: http://arxiv.org/abs/2512.19096v1
- Date: Mon, 22 Dec 2025 07:07:34 GMT
- Title: Conditioning Accept-Desirability models in the context of AGM-like belief change
- Authors: Kathelijne Coussement, Gert de Cooman, Keano De Vos,
- Abstract summary: We discuss conditionalisation for Accept-Desirability models in an abstract decision-making framework.<n>We introduce a new conditioning rule for our Accept-Desirability models, based on the idea that observing an event introduces new indifferences between options.<n>We investigate two interesting special cases where all of these axioms are shown to still hold: classical propositional logic and full conditional probabilities.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We discuss conditionalisation for Accept-Desirability models in an abstract decision-making framework, where uncertain rewards live in a general linear space, and events are special projection operators on that linear space. This abstract setting allows us to unify classical and quantum probabilities, and extend them to an imprecise probabilities context. We introduce a new conditioning rule for our Accept-Desirability models, based on the idea that observing an event introduces new indifferences between options. We associate a belief revision operator with our conditioning rule, and investigate which of the AGM axioms for belief revision still hold in our more general framework. We investigate two interesting special cases where all of these axioms are shown to still hold: classical propositional logic and full conditional probabilities.
Related papers
- Causal Rigidity of Born-Type Probability Rules in Infinite-Dimensional Operational Theories [0.0]
We show that under three operationally motivated requirements, any admissible rule within this class must reduce to the identity.<n>Within this class of probability rules, the Born rule emerges as the only assignment compatible with no signaling in operational theories admitting normal steering.<n>We discuss the scope of the assumptions and implications for proposed post quantum modifications in continuous variable and quantum field theoretic regimes.
arXiv Detail & Related papers (2026-02-07T11:04:12Z) - EPR Revisited: Context-Indexed Elements of Reality and Operational Completeness [0.0]
We reframe the EPR argument through an operational lens, replacing the notion of fixed "elements of reality"<n>This move deliberately sidesteps the assumption of context-independent values for incompatible observables.<n>We offer examples: the qubit singlet scenario using Pauli settings and CJWR thresholds, a continuous-variable case based on the Reid criteria, and a counterexample in the spirit of the PR box.
arXiv Detail & Related papers (2025-11-02T14:11:20Z) - Conditioning and AGM-like belief change in the Desirability-Indifference framework [0.0]
We show how the AGM framework for belief change can be extended to deal with conditioning in the so-called Desirability-Indifference framework.<n>This level of abstraction allows us to deal simultaneously with classical and quantum probability theory.
arXiv Detail & Related papers (2025-02-10T08:11:00Z) - Deterministic Underlying States are incompatible with a Counterfactual account of Lüders' rule [0.0]
We argue that a counterfactual account of L"uders' rule rules out underlying-state models of quantum mechanics.<n>This incompatibility arises because the counterfactual update requires ontological models to update their states according to conditional probability.
arXiv Detail & Related papers (2025-02-01T20:26:37Z) - Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
We consider logical coherence norms as well as coherence norms tied to the strength of belief in language models.
We argue that rational norms tied to coherence do apply to some language models, but not to others.
arXiv Detail & Related papers (2024-06-05T16:36:21Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
We use a novel semantic approach to achieve decidability.
Specifically, we augment the logic of knowledge S5$_n$ and with an interaction axiom called (knowledge) commutativity.
We prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest.
arXiv Detail & Related papers (2023-07-28T11:26:26Z) - Logic meets Wigner's Friend (and their Friends) [49.1574468325115]
We take a fresh look at Wigner's Friend thought-experiment and some of its more recent variants and extensions.
We discuss various solutions proposed in the literature, focusing on a few questions.
arXiv Detail & Related papers (2023-07-04T13:31:56Z) - Invariant Causal Set Covering Machines [48.169632766444906]
Rule-based models, such as decision trees, appeal to practitioners due to their interpretable nature.<n>However, the learning algorithms that produce such models are often vulnerable to spurious associations and thus, they are not guaranteed to extract causally-relevant insights.<n>We propose Invariant Causal Set Covering Machines, an extension of the classical Set Covering Machine algorithm for conjunctions/disjunctions of binary-valued rules that provably avoids spurious associations.
arXiv Detail & Related papers (2023-06-07T20:52:01Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
We argue in favour of taking Kolmogorov's measure-theoretic axiomatisation of probability as the starting point towards an axiomatisation of causality.
Our proposed framework is rigorously grounded in measure theory, but it also sheds light on long-standing limitations of existing frameworks.
arXiv Detail & Related papers (2023-05-19T13:15:48Z) - Self-adjoint extension schemes and modern applications to quantum
Hamiltonians [55.2480439325792]
monograph contains revised and enlarged materials from previous lecture notes of undergraduate and graduate courses and seminars delivered by both authors over the last years on a subject that is central both in abstract operator theory and in applications to quantum mechanics.
A number of models are discussed, which are receiving today new or renewed interest in mathematical physics, in particular from the point of view of realising certain operators of interests self-adjointly.
arXiv Detail & Related papers (2022-01-25T09:45:16Z) - Compositional Semantics for Probabilistic Programs with Exact
Conditioning [0.0]
We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct.
We show that the good properties of our language are not particular to Gaussians, but can be derived from universal properties.
arXiv Detail & Related papers (2021-01-27T12:31:18Z)
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.