DeepAI AI Chat
Log In Sign Up

Finite Based Contraction and Expansion via Models

by   Ricardo Guimarães, et al.
FernUniversität in Hagen
University of Bergen

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.


page 1

page 2

page 3

page 4


Choice revision on belief bases

In this contribution we explore choice revision, a sort of belief change...

Probabilistic Belief Change: Expansion, Conditioning and Constraining

The AGM theory of belief revision has become an important paradigm for i...

Some logics of belief and disbelief

The introduction of explicit notions of rejection, or disbelief, into lo...

Characterization of AGM Belief Contraction in Terms of Conditionals

We provide a semantic characterization of AGM belief contraction based o...

Choice Revision

Choice revision is a sort of non-prioritized multiple belief revision, i...

A Java library to perform S-expansions of Lie algebras

The contraction method is a procedure that allows to establish non-trivi...

On Expansion and Contraction of DL-Lite Knowledge Bases

Knowledge bases (KBs) are not static entities: new information constantl...