用模态逻辑重写信念修正的AGM公理，建立形式对应关系。
A modal logic translation of the AGM axioms for belief revision
- 引入三种模态算子构建简单逻辑系统
- 每个AGM公理对应一个模态公理
- 适合逻辑与认知建模研究者阅读
基于Bonanno（Artificial Intelligence, 2025）的分析，我们提出一种包含三个模态算子的简单模态逻辑：单一模态信念算子、双模态条件算子和单一模态全局算子。针对每一个AGM信念修正公理，我们都给出了一个对应的模态公理。对应关系为：每个AGM公理由Bonanno（Artificial Intelligence, 2025）中考虑的Kripke-Lewis框架所具有的性质所刻画，而该性质又恰好刻画了所提出的模态公理。
原文摘要 · Abstract (English)
Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal global operator. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。