Research map / Multi-agent systems and games / Human-AI and goal-conditioned
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Prefix the P-graph with the revision formula | P-graph belief revision · Lexicographic revision | operator representation | Helped |
| Require the transformation to satisfy the stated graph conditions | P-graph belief revision · DP-1 | postulate satisfaction | Helped |
| Require the transformation to satisfy the stated graph conditions | P-graph belief revision · DP-2 | postulate satisfaction | Helped |
| Require the transformation to satisfy the stated graph condition | P-graph belief revision · DP-3 | postulate satisfaction | Helped |
| Require the transformation to satisfy the stated graph condition | P-graph belief revision · DP-4 | postulate satisfaction | Helped |
| Require the revised graph's relevant minimal elements to imply the revision formula | P-graph belief revision · Recalcitrance | postulate satisfaction | Helped |
| Require the stated graph condition, including a preferred formula equivalent to the revision formula | P-graph belief revision · Independence | postulate satisfaction | Helped |
| Represent revision using any relevant P-graph transformation | Natural revision · Preference models | representability by P-graph transformation | Hurt |
| Require both Faith and Conditional Belief Change Minimisation | Relevant P-graph transformations · Preference models | joint postulate satisfaction | Hurt |
Closest papers by meaning
- On the Logic of Theory Base Change: Reformulation of Belief Bases (AAAI 2025 · similarity 0.90)
- BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change (AAAI 2024 · similarity 0.89)
- Minimal Change in Modal Logic S5 (AAAI 2025 · similarity 0.87)
- Towards Epistemic-Doxastic Planning with Observation and Revision (AAAI 2024 · similarity 0.85)
- An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (AAAI 2025 · similarity 0.85)
- Martingale Score: An Unsupervised Metric for Bayesian Rationality in LLM Reasoning (NeurIPS 2025 · similarity 0.85)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.