Compositional Belief Update

01/15/2014
by   James Delgrande, et al.
0

In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update sentences structure, and that may be reasonably implemented. In addressing update, we first provide a definition phrased in terms of the models of a knowledge base. While this operator satisfies a core group of the benchmark Katsuno-Mendelzon update postulates, not all of the postulates are satisfied. Other Katsuno-Mendelzon postulates can be obtained by suitably restricting the syntactic form of the sentence for update, as we show. In restricting the syntactic form of the sentence for update, we also obtain a hierarchy of update operators with Winsletts standard semantics as the most basic interesting approach captured. We subsequently give an algorithm which captures this approach; in the general case the algorithm is exponential, but with some not-unreasonable assumptions we obtain an algorithm that is linear in the size of the knowledge base. Hence the resulting approach has much better complexity characteristics than other operators in some situations. We also explore other compositional belief change operators: erasure is developed as a dual operator to update; we show that a forget operator is definable in terms of update; and we give a definition of the compositional revision operator. We obtain that compositional revision, under the most natural definition, yields the Satoh revision operator.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/17/2013

The Rise and Fall of Semantic Rule Updates Based on SE-Models

Logic programs under the stable model semantics, or answer-set programs,...
research
03/11/2000

A Consistency-Based Model for Belief Change: Preliminary Report

We present a general, consistency-based framework for belief change. Inf...
research
02/27/2020

Belief Base Revision for Further Improvement of Unified Answer Set Programming

A belief base revision is developed. The belief base is represented usin...
research
07/11/2023

System of Spheres-based Two Level Credibility-limited Revisions

Two level credibility-limited revision is a non-prioritized revision ope...
research
07/04/2012

A Revision-Based Approach to Resolving Conflicting Information

In this paper, we propose a revision-based approach for conflict resolut...
research
09/28/2011

Admissible and Restrained Revision

As partial justification of their framework for iterated belief revision...
research
11/21/2021

Surprise Minimization Revision Operators

Prominent approaches to belief revision prescribe the adoption of a new ...

Please sign up or login with your details

Forgot password? Click here to reset