Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics

• URL: http://arxiv.org/abs/2209.13082v1
• Date: Tue, 27 Sep 2022 00:16:05 GMT
• Title: Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
• Authors: Xinyu Wang, Momoka Fujieda
• Abstract summary: We argue that knowledge is essentially dynamic, and draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power" We propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power"
• Score: 1.6916260027701393
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, not just in a superficial way but to thoroughly disclose the intrinsic relevance between knowledge and argumentation. Specifically, we define epistemic Kripke models and argument Kripke models as a dual pair, and then work out a two-way generation method between these two types of Kripke models. Such generation is rigorously justified by a duality theorem on modal formulae's invariance. We also provide realistic examples to demonstrate our generation, through which our framework's practical utility gets strongly advocated. We finally propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power".

Related papers

• Realism and Ontology in Quantum Mechanics and String Theory [0.0]
  Dualities in physics have challenged traditional forms of scientific realism.<n>We argue that ontological commitment should be treated as tied to specific empirical contexts.<n>We show how our view accommodates ontological pluralism while preserving a robust form of structural realism.
  arXiv  Detail & Related papers  (2025-12-18T23:31:13Z)
• An Epistemic Perspective on Agent Awareness [61.364879462585186]
  The paper proposes to treat agent awareness as a form of knowledge, breaking the tradition in the existing literature on awareness.<n>The work introduces two modalities capturing these forms and formally specifies their meaning using a version of 2D-semantics.
  arXiv  Detail & Related papers  (2025-11-08T11:50:25Z)
• Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model [64.31242163019242]
  Deductive and abductive reasoning are critical paradigms for analyzing knowledge graphs.<n>We propose a unified framework for Deductive and Abductive Reasoning in Knowledge graphs, called DARK.<n>We show that DARK achieves state-of-the-art performance on both deductive and abductive reasoning tasks.
  arXiv  Detail & Related papers  (2025-10-13T14:34:57Z)
• If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics [8.34369101796875]
  We provide an elementary theorem connecting the relevant notions of "distinguishing power"<n>We discuss machine learning and data science contexts in which these theorems, and more generally the theme of links between distinguishing power and expressive power, appear.
  arXiv  Detail & Related papers  (2025-10-10T22:26:57Z)
• Interpretability Needs a New Paradigm [49.134097841837715]
  Interpretability is the study of explaining models in understandable terms to humans. At the core of this debate is how each paradigm ensures its explanations are faithful, i.e., true to the model's behavior. This paper's position is that we should think about new paradigms while staying vigilant regarding faithfulness.
  arXiv  Detail & Related papers  (2024-05-08T19:31:06Z)
• Conceptual and Unbiased Reasoning in Language Models [98.90677711523645]
  We propose a novel conceptualization framework that forces models to perform conceptual reasoning on abstract questions. We show that existing large language models fall short on conceptual reasoning, dropping 9% to 28% on various benchmarks. We then discuss how models can improve since high-level abstract reasoning is key to unbiased and generalizable decision-making.
  arXiv  Detail & Related papers  (2024-03-30T00:53:53Z)
• Learning Interpretable Concepts: Unifying Causal Representation Learning and Foundation Models [51.43538150982291]
  We study how to learn human-interpretable concepts from data. Weaving together ideas from both fields, we show that concepts can be provably recovered from diverse data.
  arXiv  Detail & Related papers  (2024-02-14T15:23:59Z)
• Crystal: Introspective Reasoners Reinforced with Self-Feedback [118.53428015478957]
  We propose a novel method to develop an introspective commonsense reasoner, Crystal. To tackle commonsense problems, it first introspects for knowledge statements related to the given question, and subsequently makes an informed prediction that is grounded in the previously introspected knowledge. Experiments show that Crystal significantly outperforms both the standard supervised finetuning and chain-of-thought distilled methods, and enhances the transparency of the commonsense reasoning process.
  arXiv  Detail & Related papers  (2023-10-07T21:23:58Z)
• 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)
• Dual Box Embeddings for the Description Logic EL++ [16.70961576041243]
  Similar to Knowledge Graphs (KGs), Knowledge Graphs are often incomplete, and maintaining and constructing them has proved challenging. Similar to KGs, a promising approach is to learn embeddings in a latent vector space, while additionally ensuring they adhere to the semantics of the underlying DL. We propose a novel ontology embedding method named Box$2$EL for the DL EL++, which represents both concepts and roles as boxes.
  arXiv  Detail & Related papers  (2023-01-26T14:13:37Z)
• Towards Unifying Perceptual Reasoning and Logical Reasoning [0.6853165736531939]
  Recent study of logic presents a view of logical reasoning as Bayesian inference. We show that the model unifies the two essential processes common in perceptual and logical systems.
  arXiv  Detail & Related papers  (2022-06-27T10:32:47Z)
• Truth and Subjunctive Theories of Knowledge: No Luck? [0.0]
  The paper explores applications of Kripke's theory of truth to semantics for anti-luck, that is, to subjunctive theories of knowledge. The paper shows that Kripke's theory of truth can be successfully applied in the framework of subjunctive theories of knowledge.
  arXiv  Detail & Related papers  (2021-03-24T16:40:42Z)
• A Qualitative Theory of Cognitive Attitudes and their Change [8.417971913040066]
  We show that it allows us to express a variety of relevant concepts for qualitative decision theory. We also present two extensions of the logic, one by the notion of choice and the other by dynamic operators for belief change and desire change.
  arXiv  Detail & Related papers  (2021-02-16T10:28:49Z)
• Social Commonsense Reasoning with Multi-Head Knowledge Attention [24.70946979449572]
  Social Commonsense Reasoning requires understanding of text, knowledge about social events and their pragmatic implications, as well as commonsense reasoning skills. We propose a novel multi-head knowledge attention model that encodes semi-structured commonsense inference rules and learns to incorporate them in a transformer-based reasoning cell.
  arXiv  Detail & Related papers  (2020-10-12T10:24:40Z)
• Language Generation with Multi-Hop Reasoning on Commonsense Knowledge Graph [124.45799297285083]
  We argue that exploiting both the structural and semantic information of the knowledge graph facilitates commonsense-aware text generation. We propose Generation with Multi-Hop Reasoning Flow (GRF) that enables pre-trained models with dynamic multi-hop reasoning on multi-relational paths extracted from the external commonsense knowledge graph.
  arXiv  Detail & Related papers  (2020-09-24T13:55:32Z)

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.