基于条件句的AGM信念收缩的刻画
人工智能
2023-07-13 v1 计算机科学中的逻辑
摘要
我们基于由克里普克信念关系和Stalnaker-Lewis选择函数构成的框架，给出了AGM信念收缩的语义刻画。核心思想如下。设K为初始信念集，K-A为K对公式A的收缩；则B属于集合K-A，当且仅当在实际状态下，主体相信B且相信若非-A成立（曾成立）则B成立（本会成立）。
引用
@article{arxiv.2307.05629,
title = {Characterization of AGM Belief Contraction in Terms of Conditionals},
author = {Giacomo Bonanno},
journal= {arXiv preprint arXiv:2307.05629},
year = {2023}
}
备注
In Proceedings TARK 2023, arXiv:2307.04005