A Qualitative Theory of Cognitive Attitudes and their Change

• URL: http://arxiv.org/abs/2102.11025v1
• Date: Tue, 16 Feb 2021 10:28:49 GMT
• Title: A Qualitative Theory of Cognitive Attitudes and their Change
• Authors: Emiliano Lorini
• Abstract summary: 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.
• Score: 8.417971913040066
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type. We show that it allows us to express a variety of relevant concepts for qualitative decision theory including the concepts of knowledge, belief, strong belief, conditional belief, desire, conditional desire, strong desire and preference. 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, and we apply the former to the analysis of single-stage games under incomplete information. We provide sound and complete axiomatizations for the basic logic and for its two extensions. The paper is under consideration in Theory and Practice of Logic Programming (TPLP).

Related papers

• 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)
• From Heuristic to Analytic: Cognitively Motivated Strategies for Coherent Physical Commonsense Reasoning [66.98861219674039]
  Heuristic-Analytic Reasoning (HAR) strategies drastically improve the coherence of rationalizations for model decisions. Our findings suggest that human-like reasoning strategies can effectively improve the coherence and reliability of PLM reasoning.
  arXiv  Detail & Related papers  (2023-10-24T19:46:04Z)
• 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)
• Strengthening Consistency Results in Modal Logic [0.0]
  A fundamental question in modal logic is whether a given theory is consistent, but consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. This paper introduces generic theories for propositional modal logic to address consistency results in a more robust way.
  arXiv  Detail & Related papers  (2023-07-11T07:05:37Z)
• Disentangling Reasoning Capabilities from Language Models with Compositional Reasoning Transformers [72.04044221898059]
  ReasonFormer is a unified reasoning framework for mirroring the modular and compositional reasoning process of humans. The representation module (automatic thinking) and reasoning modules (controlled thinking) are disentangled to capture different levels of cognition. The unified reasoning framework solves multiple tasks with a single model,and is trained and inferred in an end-to-end manner.
  arXiv  Detail & Related papers  (2022-10-20T13:39:55Z)
• 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)
• A Quantitative Symbolic Approach to Individual Human Reasoning [0.0]
  We take findings from the literature and show how these, formalized as cognitive principles within a logical framework, can establish a quantitative notion of reasoning. We employ techniques from non-monotonic reasoning and computer science, namely, a solving paradigm called answer set programming (ASP) Finally, we can fruitfully use plausibility reasoning in ASP to test the effects of an existing experiment and explain different majority responses.
  arXiv  Detail & Related papers  (2022-05-10T16:43:47Z)
• Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization [6.329584233209157]
  AGM's belief revision is one of the main paradigms in the study of belief change operations. Several logics for belief and information change have been proposed in the literature. This work investigates how Dynamic Preference Logic can be used to study properties of dynamic belief change operators.
  arXiv  Detail & Related papers  (2021-01-05T17:47:18Z)
• Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
  We extend the notion of a causal model with a representation of the state of an agent. On the side of the object language, we add operators to express knowledge and the act of observing new information. We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.
  arXiv  Detail & Related papers  (2020-10-30T12:16:45Z)
• 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)
• Cognitive Argumentation and the Suppression Task [1.027974860479791]
  This paper addresses the challenge of modeling human reasoning, within a new framework called Cognitive Argumentation. The framework relies on cognitive principles, based on empirical and theoretical work in Cognitive Science, to adapt a general and abstract framework of computational argumentation from AI. We argue that Cognitive Argumentation provides a coherent and cognitively adequate model for human conditional reasoning.
  arXiv  Detail & Related papers  (2020-02-24T10:30:39Z)

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.