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.

翻译：我们提出了一种新的信念变化范式，其中新信息以模型集合表示，而智能体的知识主体则以有限公式集——即有限基——表示。当考虑有限智能体与推理算法时，有限性这一关注点至关重要。此外，将输入设定为任意模型集合比通常将公式作为输入的处理方式更具一般性。在此框架下，我们定义了类似传统扩展与收缩的新信念变化操作，并识别出因有限可表示性要求而产生的理性公设。我们还分析了不同逻辑体系与本框架的兼容性。