Pith Number

pith:DU6WJ33I

pith:2026:DU6WJ33IQNWK5JWZY2YR3CXO33

not attested not anchored not stored refs pending

A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)

Michael Thielscher, Tran Cao Son

The classical AGM belief revision postulates can be generalized to multi-agent epistemic planning using Kripke models.

arxiv:2605.02249 v2 · 2026-05-04 · cs.AI

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{DU6WJ33IQNWK5JWZY2YR3CXO33}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

We generalize the classical AGM belief revision postulates to the multi-agent setting, with the aim to provide a formal framework for evaluating dynamic epistemic reasoning frameworks in which the beliefs of all agents as the result of actions are computed.

C2weakest assumption

That agents' beliefs in epistemic planning are adequately captured by a single multi-agent Kripke model, allowing the AGM postulates to be lifted without loss of essential properties.

C3one line summary

Generalizes AGM belief revision postulates to multi-agent systems via Kripke models, provides satisfying operators like generalized full-meet revision, and discusses challenges for iterated revision.

Receipt and verification

First computed	2026-06-12T01:08:25.516344Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

1d3d64ef68836caea6d9c6b11d8aeedef9ee48bb219f7e4144bc0483e058225b

Aliases

arxiv: 2605.02249 · arxiv_version: 2605.02249v2 · doi: 10.48550/arxiv.2605.02249 · pith_short_12: DU6WJ33IQNWK · pith_short_16: DU6WJ33IQNWK5JWZ · pith_short_8: DU6WJ33I

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/DU6WJ33IQNWK5JWZY2YR3CXO33 \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 1d3d64ef68836caea6d9c6b11d8aeedef9ee48bb219f7e4144bc0483e058225b

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "2c73510e0d85f2ec6baa833bb9fd1b68295454d6b7790c5ce51bffa65ec96e58",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2026-05-04T05:46:06Z",
    "title_canon_sha256": "84baad6e5c14bb325a8e13679e61ae6455490890752adada6d7e0c11165a3ef4"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2605.02249",
    "kind": "arxiv",
    "version": 2
  }
}