可信信息、可容信息与信念修正——扩展摘要
计算机科学中的逻辑
2019-07-23 v1 计算机科学与博弈论
摘要
在早前论文[Rational choice and AGM belief revision, Artificial Intelligence, 2009]中,揭示了显示偏好理论(源于经济学)的选择结构与AGM理论(源于哲学与计算机科学)的语法信念修正函数之间的对应。本文将(广义的)选择结构在信念修正下的重新解释加以扩展,加入:(1)一条“信息”可能因不可信而被丢弃的可能性(从而放弃AGM成功公理);(2)一条信息虽未被接受为完全可信、但仍可“严肃对待”的可能性(我们称此类信息为“可容信息”)。我们建立了广义选择结构(GCS)与AGM信念修正之间的对应;此外,我们对所提出的信念修正概念(称之为过滤信念修正)给出了语法分析。
引用
@article{arxiv.1907.09099,
title = {Credible Information, Allowable Information and Belief Revision -- Extended Abstract},
author = {Giacomo Bonanno},
journal= {arXiv preprint arXiv:1907.09099},
year = {2019}
}
备注
In Proceedings TARK 2019, arXiv:1907.08335