BriefGPT.xyz
Feb, 2019
迭代信念库修正:一种动态认知逻辑方法
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
HTML
PDF
Marlo Souza, Álvaro Moreira, Renata Vieira
TL;DR
研究AGM信念修正,通过构造优先量图实现对iterated信念修正理论的很好的特征化,并提出在动态认识逻辑中的信念变化运算符的一种新的句法表示。
Abstract
agm's belief revision
is one of the main paradigms in the study of belief change operations. In this context,
belief bases
(prioritised bases) have been largely used to specify the agent's belief state - whether
→