Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds

• URL: http://arxiv.org/abs/2005.12713v1
• Date: Tue, 26 May 2020 13:32:00 GMT
• Title: Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds
• Authors: Christian Komo and Christoph Beierle
• Abstract summary: We introduce the preferred structure relation on worlds using conditionals in R. We show that system W exhibits desirable inference properties like satisfying system P and avoiding. In contrast to skeptical c-inference, it does not require to solve a complex constraint satisfaction problem, but is as tractable as system Z.
• Score: 3.42658286826597
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: A conditional knowledge base R is a set of conditionals of the form "If A, the usually B". Using structural information derived from the conditionals in R, we introduce the preferred structure relation on worlds. The preferred structure relation is the core ingredient of a new inference relation called system W inference that inductively completes the knowledge given explicitly in R. We show that system W exhibits desirable inference properties like satisfying system P and avoiding, in contrast to e.g. system Z, the drowning problem. It fully captures and strictly extends both system Z and skeptical c-inference. In contrast to skeptical c-inference, it does not require to solve a complex constraint satisfaction problem, but is as tractable as system Z.

Related papers

• Deep Regression Representation Learning with Topology [57.203857643599875]
  We study how the effectiveness of a regression representation is influenced by its topology. We introduce PH-Reg, a regularizer that matches the intrinsic dimension and topology of the feature space with the target space. Experiments on synthetic and real-world regression tasks demonstrate the benefits of PH-Reg.
  arXiv  Detail & Related papers  (2024-04-22T06:28:41Z)
• Generalization Guarantees via Algorithm-dependent Rademacher Complexity [33.408679482592426]
  We propose a measure to control generalization error, which is the empirical Rademacher complexity of an algorithm- and data-dependent hypothesis class. We obtain novel bounds based on the finite fractal dimension, which (a) extend previous fractal-type bounds from continuous to finite hypothesis classes, and (b) avoid a mutual information term.
  arXiv  Detail & Related papers  (2023-07-04T18:37:38Z)
• Contextuality with disturbance and without: Neither can violate substantive requirements the other satisfies [0.0]
  Contextuality was originally defined only for consistently connected systems of random variables. We show that no such set of requirements is possible, not only for CbD but for all possible CbD-like extensions of contextuality.
  arXiv  Detail & Related papers  (2023-02-23T13:18:11Z)
• Tensor Completion with Provable Consistency and Fairness Guarantees for Recommender Systems [5.099537069575897]
  We introduce a new consistency-based approach for defining and solving nonnegative/positive matrix and tensor completion problems. We show that a single property/constraint: preserving unit-scale consistency, guarantees the existence of both a solution and, under relatively weak support assumptions, uniqueness.
  arXiv  Detail & Related papers  (2022-04-04T19:42:46Z)
• Inference with System W Satisfies Syntax Splitting [3.42658286826597]
  System W is an inference system for nonmonotonic reasoning that captures and properly extends system Z as well as c-inference. We show that system W fulfils the syntax splitting postulates for inductive inference operators by showing that it satisfies the required properties of relevance and independence.
  arXiv  Detail & Related papers  (2022-02-11T08:59:41Z)
• Non-standard entanglement structure of local unitary self-dual models as a saturated situation of repeatability in general probabilistic theories [61.12008553173672]
  We show the existence of infinite structures of quantum composite system such that it is self-dual with local unitary symmetry. We also show the existence of a structure of quantum composite system such that non-orthogonal states in the structure are perfectly distinguishable.
  arXiv  Detail & Related papers  (2021-11-29T23:37:58Z)
• R\'enyi divergence inequalities via interpolation, with applications to generalised entropic uncertainty relations [91.3755431537592]
  We investigate quantum R'enyi entropic quantities, specifically those derived from'sandwiched' divergence. We present R'enyi mutual information decomposition rules, a new approach to the R'enyi conditional entropy tripartite chain rules and a more general bipartite comparison.
  arXiv  Detail & Related papers  (2021-06-19T04:06:23Z)
• Quantum Relativity of Subsystems [58.720142291102135]
  We show that different reference frame perspectives induce different sets of subsystem observable algebras, which leads to a gauge-invariant, frame-dependent notion of subsystems and entanglement. Such a QRF perspective does not inherit the distinction between subsystems in terms of the corresponding tensor factorizability of the kinematical Hilbert space and observable algebra. Since the condition for this to occur is contingent on the choice of QRF, the notion of subsystem locality is frame-dependent.
  arXiv  Detail & Related papers  (2021-03-01T19:00:01Z)
• Comment on "Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
  We show that the mathematical formulation of condition (b) is necessary but not sufficient to ensure the equivalence. We propose a simple counter-example, together with a strengthened formulation of condition (b)
  arXiv  Detail & Related papers  (2021-01-21T16:06:25Z)
• Faithful Embeddings for Knowledge Base Queries [97.5904298152163]
  deductive closure of an ideal knowledge base (KB) contains exactly the logical queries that the KB can answer. In practice KBs are both incomplete and over-specified, failing to answer some queries that have real-world answers. We show that inserting this new QE module into a neural question-answering system leads to substantial improvements over the state-of-the-art.
  arXiv  Detail & Related papers  (2020-04-07T19:25:16Z)
• The Contextuality-by-Default View of the Sheaf-Theoretic Approach to Contextuality [0.0]
  Sheaf-Theoretic Contextuality (STC) theory is a very general account of whether multiply overlapping subsets of a set can be viewed as inheriting this structure from a global structure imposed on the entire set. I show that when STC is applied to systems of random variables, it can be recast in the language of the Contextuality-by-Default (CbD) theory. I show that it can be resolved by considering systems with multiple possible deterministic realizations as quasi-probabilistic systems with Bayesian priors assigned to the realizations.
  arXiv  Detail & Related papers  (2019-06-06T17:38:54Z)

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.