arXiv:2606. 02163v1 Announce Type: new Abstract: This article proposes a set-theoretic framework for belief change, called Abstract Worlds Semantics, in which no logical syntax is assumed.
arXiv:2608. 14567v1 Announce Type: new Abstract: This paper presents a targeted narrative review establishing the historical and theoretical foundations for computational belief change implementation.
arXiv:2605. 02249v2 Announce Type: replace Abstract: We investigate the belief revision problem in epistemic planning, i.
arXiv:2606. 31861v1 Announce Type: cross Abstract: Dynamic epistemic logic represents belief change via model transformations induced by epistemic events.
arXiv:2607. 21210v1 Announce Type: cross Abstract: Existing approaches to multi-agent belief combination have established mature foundations for combining uncertain beliefs under common assumptions: consensus methods use iterative averaging, logic-based methods resolve conflicting knowledge bases, and epistemic logic analyzes agents' information states.
arXiv:2607. 09729v1 Announce Type: new Abstract: In his 1996 doctoral thesis, Maurice Pagnucco created the first AGM-like abductive expansion operation.
arXiv:2609.00455v1 Announce Type: new Abstract: Large language models (LLMs) are being used as policies for autonomous decision-making and planning in many domains. Despite their strong reasoning cap...
Semantic Bayesian World Models (SBWMs) propose a shift from static knowledge graphs to a dynamic, probabilistic fabric of beliefs that can be updated via Bayesian conditioning and influenced by actions. The approach aims to bridge the gap between crisp factual assertions and the probabilistic reasoning of foundation models and autonomous agents, enabling richer inference in scenarios such as home‑security decisions, actuarial estimates, and planning tasks. Realizing SBWMs requires new tools for belief annotation, probabilistic entailment, semantic calibration, and protocols for belief exchange among agents.
arXiv:2606. 08503v1 Announce Type: new Abstract: In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of G\'omez \'Alvarez and Rudolph.
arXiv:2605.30219v2 Announce Type: replace Abstract: Long-horizon interactions require language models to manage accumulating information: when to update their state, when to preserve their state, and...
The paper introduces the Evidential-Based Higher-Order Set Argumentation Framework (EHSAF), a unified formalism that extends Dung’s abstract argumentation by incorporating evidential support, higher-order relations, and collective interactions. Two complete semantics are defined: an adjacent complete labelling semantics allowing multiple truth values for arguments in support cycles, and an extension-based complete semantics that accepts only well‑founded support chains. The authors provide a propositional encoding in three‑valued Łukasiewicz logic and extend it to continuous fuzzy logics, proving key properties and showing equivalence under support‑acyclicity.
arXiv:2608.30413v1 Announce Type: new Abstract: Defeasible reasoning is a type of reasoning where inferences are drawn from plausible current evidence, but can be retracted upon the introduction of n...
arXiv:2606. 11724v1 Announce Type: new Abstract: Theory of Mind (ToM) reasoning requires inferring agents' beliefs from partial and asymmetric observations, which remains an open challenge for LLMs.