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.

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