DeepAI AI Chat
Log In Sign Up

Finite Based Contraction and Expansion via Models

03/06/2023
by   Ricardo Guimarães, et al.
FernUniversität in Hagen
University of Bergen
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/03/2018

Choice revision on belief bases

In this contribution we explore choice revision, a sort of belief change...
01/23/2013

Probabilistic Belief Change: Expansion, Conditioning and Constraining

The AGM theory of belief revision has become an important paradigm for i...
07/10/2002

Some logics of belief and disbelief

The introduction of explicit notions of rejection, or disbelief, into lo...
07/11/2023

Characterization of AGM Belief Contraction in Terms of Conditionals

We provide a semantic characterization of AGM belief contraction based o...
04/20/2018

Choice Revision

Choice revision is a sort of non-prioritized multiple belief revision, i...
03/11/2017

A Java library to perform S-expansions of Lie algebras

The contraction method is a procedure that allows to establish non-trivi...
01/25/2020

On Expansion and Contraction of DL-Lite Knowledge Bases

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