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.
By Daniel Grimaldi, M. Vanina Martinez, Ricardo O. Rodriguez
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.
By Adam Kostka (Warsaw University of Technology), Jaros{\l}aw A. Chudziak (Warsaw University of Technology)
arXiv:2607. 25094v1 Announce Type: cross Abstract: Human language is driven by unspoken beliefs and belief updates, making these critical to model for successful communication between large language models (LLMs) and their users.
By Cesare Spinoso-Di Piano, Verna Dankers, Marius Mosbach, Jackie Chi Kit Cheung
arXiv:2605. 02249v2 Announce Type: replace Abstract: We investigate the belief revision problem in epistemic planning, i.
By Michael Thielscher, Tran Cao Son
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...
By Haoming Xu, Weihong Xu, Zongrui Li, Mengru Wang, Yunzhi Yao, Chiyu Wu, Jin Shang, Yu Gong, Shumin Deng
arXiv:2606. 31861v1 Announce Type: cross Abstract: Dynamic epistemic logic represents belief change via model transformations induced by epistemic events.
By Gaia Belardinelli (Stanford University), Snow Zhang (University of Berkeley, California)
Defeasible reasoning is a type of reasoning where inferences are drawn from plausible current evidence, but can be retracted upon the introduction of newer evidence. Although recent studies have exami...
The paper introduces a decision‑theoretic framework that splits a large language model’s decision loss into belief formation and action selection components. Using a synthetic benchmark, it evaluates how reinforcement‑learning interventions on beliefs, decisions, or both affect these components across three domains. The study finds that targeting a single component improves that part but may not transfer to others, while jointly targeting both improves both only when training and evaluation formats match.
By Huaman Sun, Dingcheng Wang, Jason Hartline, Jessica Hullman
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...
By Jayanta Sadhu, Sayem Shahad, Kenneth Marino
The paper introduces an adaptive triggering mechanism for bias correction in large language model (LLM) reasoning. By framing bias intervention as an online change‑point detection problem, the authors update a CUSUM statistic at each step using either a white‑box next‑token probability signal or a black‑box LLM judge signal, and inject corrective prompts only when the accumulated evidence exceeds a calibrated threshold. Experiments on gpt‑4o‑mini and six open‑weight models show that adaptive black‑box triggering restores most of the accuracy lost by fixed‑interval interventions while reducing the number of corrections, whereas the white‑box signal improves ambiguous‑item accuracy but can hurt disambiguated‑item accuracy due to difficulty distinguishing stereotype reliance from correct evidence.
By Nayoung Kim, Mickey Mancenido, Huan Liu
arXiv:2606.12721v3 Announce Type: replace
Abstract: Inferring another person's beliefs requires reconstructing their information access history: what they encountered, in what order, from whom, and w...
By Nikolos Gurney, Stacy Marsella
arXiv:2609.01526v1 Announce Type: new
Abstract: Scientific agents must learn not only how to reason, but also what to believe. However, existing LLM agents typically express scientific hypotheses in...
By Qing Zhao, Haowei Li, Weijian Deng, Pengxu Wei, Liang Lin