Iterated Belief Change, Computationally

• URL: http://arxiv.org/abs/2202.08856v1
• Date: Thu, 17 Feb 2022 19:01:20 GMT
• Title: Iterated Belief Change, Computationally
• Authors: Kai Sauerwald and Christoph Beierle
• Abstract summary: Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In particular, we show that iterative belief revision is Turing complete, even under the condition that broadly accepted principles like the Darwiche-Pearl postulates for iterated revision hold.
• Score: 3.42658286826597
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we demonstrate how iterated belief change is connected to computation. In particular, we show that iterative belief revision is Turing complete, even under the condition that broadly accepted principles like the Darwiche-Pearl postulates for iterated revision hold.

Related papers

• On Lockean beliefs that are deductively closed and minimal change [1.4624458429745086]
  Lockean belief sets are not generally closed under (classical) logical deduction.<n>We show how we can deductively close a belief set via a minimal revision.
  arXiv  Detail & Related papers  (2025-07-08T14:44:01Z)
• Is Lindblad for me? [56.71474844967995]
  The Lindblad master equation is a foundational tool for modeling the dynamics of open quantum systems.<n>We re-examine the folklore surrounding its three standard approximations.<n>We offer a checklist that contrasts common lore with refined expectations.
  arXiv  Detail & Related papers  (2025-06-27T17:59:59Z)
• On Definite Iterated Belief Revision with Belief Algebras [19.073043690553867]
  We propose a novel framework for iterated belief revision by characterizing belief information through preference relations.<n>We prove that the revision result is uniquely determined given the current belief state and new evidence.<n>We argue that this approach may offer a more predictable and principled method for belief revision, making it suitable for real-world applications.
  arXiv  Detail & Related papers  (2025-05-10T04:34:43Z)
• Beyond Progress Measures: Theoretical Insights into the Mechanism of Grokking [50.465604300990904]
  Grokking refers to the abrupt improvement in test accuracy after extended overfitting. In this work, we investigate the grokking mechanism underlying the Transformer in the task of prime number operations.
  arXiv  Detail & Related papers  (2025-04-04T04:42:38Z)
• Transferable Belief Model on Quantum Circuits [18.733294090807995]
  The transferable belief model is a semantic interpretation of Dempster-Shafer theory. This paper introduces a new perspective on basic information representation for quantum AI models.
  arXiv  Detail & Related papers  (2024-10-11T16:17:20Z)
• On the evolution of expected values in open quantum systems [44.99833362998488]
  We identify three factors contributing to the evolution of expected values. In some cases, the non-thermal contributions to the energy rate of change can be expressed as the expected value of a Hermitian operator.
  arXiv  Detail & Related papers  (2024-02-29T06:47:28Z)
• Relaxation of first-class constraints and the quantization of gauge theories: from "matter without matter" to the reappearance of time in quantum gravity [72.27323884094953]
  We make a conceptual overview of an approach to the initial-value problem in canonical gauge theories. We stress how the first-class phase-space constraints may be relaxed if we interpret them as fixing the values of new degrees of freedom.
  arXiv  Detail & Related papers  (2024-02-19T19:00:02Z)
• An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update [11.363254633032023]
  We present a modification of the original KM postulates based on belief states. We migrate several well-known postulates for iterated belief revision to iterated belief update.
  arXiv  Detail & Related papers  (2023-10-28T14:21:21Z)
• Belief Revision from Probability [0.0]
  We develop a question-relative, probabilistic account of belief. We show that the principles it validates are much weaker than those of orthodox theories of belief revision like AGM. We conclude by arguing that the present framework compares favorably to the rival probabilistic accounts of belief developed by Leitgeb and by Lin and Kelly.
  arXiv  Detail & Related papers  (2023-07-11T07:11:30Z)
• Belief propagation generalizes backpropagation [0.0]
  In spite of their importance, the connection between backpropagation and belief propagation is poorly characterized. We show that when an input to backpropagation is converted into an input to belief propagation so that (loopy) belief propagation can be run on it, then the result of belief propagation encodes the result of backpropagation. In other words, we prove for apparently the first time that belief propagation generalizes backpropagation.
  arXiv  Detail & Related papers  (2022-10-02T20:02:41Z)
• A dialog on the fate of information in black hole evaporation [77.34726150561087]
  We present two alternative perspectives for the resolution of Hawking's information puzzle in black hole evaporation. One of them is the central role played by the existence of the interior singularity that we expect to be replaced by a more fundamental quantum gravity formulation. Both views rely on the notion that the standard effective quantum field theoretic perspective would require some deep modifications.
  arXiv  Detail & Related papers  (2022-05-17T16:21:22Z)
• Quantum realism: axiomatization and quantification [77.34726150561087]
  We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory. We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
  arXiv  Detail & Related papers  (2021-10-10T18:08:42Z)
• On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope [2.7071541526963805]
  We introduce the concept of dynamic-limited revision, which are revisions expressible by a total preorder over a limited set of worlds. For a belief change operator, we consider the scope, which consists of those beliefs which yield success of revision. We show that for each set satisfying single sentence closure and disjunction completeness there exists a dynamic-limited revision having the union of this set with the beliefs set as scope.
  arXiv  Detail & Related papers  (2021-08-17T17:22:29Z)
• Quantum indistinguishability through exchangeable desirable gambles [69.62715388742298]
  Two particles are identical if all their intrinsic properties, such as spin and charge, are the same. Quantum mechanics is seen as a normative and algorithmic theory guiding an agent to assess her subjective beliefs represented as (coherent) sets of gambles. We show how sets of exchangeable observables (gambles) may be updated after a measurement and discuss the issue of defining entanglement for indistinguishable particle systems.
  arXiv  Detail & Related papers  (2021-05-10T13:11:59Z)

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.