A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)

• URL: http://arxiv.org/abs/2411.10197v1
• Date: Fri, 15 Nov 2024 13:53:05 GMT
• Title: A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
• Authors: Nico Roos,
• Abstract summary: This paper describes a logic for reasoning with inconsistent knowledge. A reliability relation is used to choose between incompatible assumptions. As long as no contradiction is derived, the knowledge is assumed to be consistent.
• Score: 0.0
• License:
• Abstract: In many situations humans have to reason with inconsistent knowledge. These inconsistencies may occur due to not fully reliable sources of information. In order to reason with inconsistent knowledge, it is not possible to view a set of premisses as absolute truths as is done in predicate logic. Viewing the set of premisses as a set of assumptions, however, it is possible to deduce useful conclusions from an inconsistent set of premisses. In this paper a logic for reasoning with inconsistent knowledge is described. This logic is a generalization of the work of N. Rescher [15]. In the logic a reliability relation is used to choose between incompatible assumptions. These choices are only made when a contradiction is derived. As long as no contradiction is derived, the knowledge is assumed to be consistent. This makes it possible to define an argumentation-based deduction process for the logic. For the logic a semantics based on the ideas of Y. Shoham [22, 23], is defined. It turns out that the semantics for the logic is a preferential semantics according to the definition S. Kraus, D. Lehmann and M. Magidor [12]. Therefore the logic is a logic of system P and possesses all the properties of an ideal non-monotonic logic.

Related papers

• G\"odel-Dummett linear temporal logic [0.0]
  We investigate a version of linear temporal logic whose propositional fragment is G"odel-Dummett logic. We define the logic using two natural semantics first a real-valued semantics, where statements have a degree of truth in the real unit interval. We show that these two semantics indeed define one and the same logic. This G"odel temporal logic does not have any form of the finite model property for these two semantics.
  arXiv  Detail & Related papers  (2023-06-27T21:19:52Z)
• MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
  We propose a benchmark to investigate models' logical reasoning capabilities in complex real-life scenarios. Based on the multi-hop chain of reasoning, the explanation form includes three main components. We evaluate the current best models' performance on this new explanation form.
  arXiv  Detail & Related papers  (2022-10-22T16:01:13Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  Passage-level logical relations represent entailment or contradiction between propositional units (e.g., a concluding sentence) We propose logic structural-constraint modeling to solve the logical reasoning QA and introduce discourse-aware graph networks (DAGNs) The networks first construct logic graphs leveraging in-line discourse connectives and generic logic theories, then learn logic representations by end-to-end evolving the logic relations with an edge-reasoning mechanism and updating the graph features.
  arXiv  Detail & Related papers  (2022-07-04T14:38:49Z)
• On the Paradox of Learning to Reason from Data [86.13662838603761]
  We show that BERT can attain near-perfect accuracy on in-distribution test examples while failing to generalize to other data distributions over the exact same problem space. Our study provides an explanation for this paradox: instead of learning to emulate the correct reasoning function, BERT has in fact learned statistical features that inherently exist in logical reasoning problems.
  arXiv  Detail & Related papers  (2022-05-23T17:56:48Z)
• Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning [1.6916260027701393]
  We introduce transfinite modal logic, which combines modal logic with ordinal arithmetic. We suggest that transfinite modal logic captures the essence of Bayesian reasoning in a rather clear and simple form.
  arXiv  Detail & Related papers  (2022-04-02T17:58:14Z)
• Logical Credal Networks [87.25387518070411]
  This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. We investigate its performance on maximum a posteriori inference tasks, including solving Mastermind games with uncertainty and detecting credit card fraud.
  arXiv  Detail & Related papers  (2021-09-25T00:00:47Z)
• A natural deduction system for orthomodular logic [0.0]
  Orthomodular logic is a weakening of quantum logic in the sense of Birkhoff and von Neumann. It is shown to be a nonlinear noncommutative logic. It is extended to two systems of predicate logic: the first is sound for Takeuti's quantum set theory, and the second is sound for a variant of Weaver's quantum logic.
  arXiv  Detail & Related papers  (2021-09-11T22:28:17Z)
• Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic [0.0]
  probabilistic and fuzzy logic correspond to two different assumptions regarding the combination of propositions whose evidence bases are not currently available. It is shown that these two sets of formulas provide a natural grounding for the multiplicative and additive operator-sets in linear logic. The concept of linear logic as a logic of resources" is manifested here via the principle of conservation of evidence"
  arXiv  Detail & Related papers  (2020-09-28T00:19:42Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  We give a sound and strongly complete axiomatization that can be parametrized to cover essentially every real-valued logic. Our class of sentences are very rich, and each describes a set of possible real values for a collection of formulas of the real-valued logic.
  arXiv  Detail & Related papers  (2020-08-06T02:13:11Z)
• Logical Neural Networks [51.46602187496816]
  We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning) Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation. Inference is omni rather than focused on predefined target variables, and corresponds to logical reasoning.
  arXiv  Detail & Related papers  (2020-06-23T16:55:45Z)

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.