We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of formulae, that is, a finite base. The focus on finiteness is crucial when we consider limited agents and reasoning algorithms. Moreover, having the input as arbitrary set of models is more general than the usual treatment of formulae as input. In this setting, we define new Belief Change operations akin to traditional expansion and contraction, and we identify the rationality postulates that emerge due to the finite representability requirement. We also analyse different logics concerning compatibility with our framework.

翻译：我们提出了一个新的信仰改变范式,其中新信息作为一套模型,而代理人的知识体则作为一套有限的公式,即一个有限的基数。当我们考虑有限的代理人和推理算法时,以限制为重点至关重要。此外,将投入作为任意的一套模型比通常将公式当作投入的做法更为笼统。在这个环境中,我们定义了类似于传统扩张和收缩的新信仰改变操作,我们确定了由于有限的代表性要求而产生的合理性假设。我们还分析了与我们框架兼容性的不同逻辑。</s>