← Back to all news
arXiv AI By Adam Kostka (Warsaw University of Technology), Jaros{\l}aw A. Chudziak (Warsaw University of Technology)

Explainable Belief Harmonization under Dynamic Epistemic Partitions

Read the original on arXiv AI →

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.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

Related stories

arXiv AI
Sep 24

Preregistered Belief Revision Contracts

The paper introduces Preregistered Belief Revision Contracts (PBRC), a protocol that separates open communication from admissible epistemic change in deliberative multi-agent systems. PBRC fixes evidence triggers, revision operators, priority rules, and fallback policies, requiring that belief changes cite preregistered triggers and validated evidence tokens. The authors prove that PBRC prevents confidence inflation from conformity, preserves auditability, ensures epistemic accountability, and characterizes enforced belief trajectories under token-invariant contracts.

By Saad Alqithami
agents
More like this →
arXiv AI
Aug 25

An Information-Flow Perspective on Explainability Requirements: Specification and Verification

The paper proposes an information‑flow perspective on explainability, arguing that exposing reasons for observed effects is a positive flow of information that must be specified and verified. It introduces an epistemic temporal logic with counterfactual causes to formalize the requirement that agents gain knowledge about why an effect occurred, and presents an algorithm for checking finite‑state models against these specifications. A prototype implementation is evaluated on benchmarks, demonstrating the ability to distinguish explainable from unexplainable systems and to incorporate privacy constraints.

By Bernd Finkbeiner, Hadar Frenkel, Julian Siber
agentsbenchmarkssafety
More like this →
arXiv AI
Jul 1

Belief Contraction in Dynamic Epistemic Logic

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)
More like this →