Declarative Representation of Revision Strategies

TL;DR

This paper presents a nonmonotonic, declarative framework for belief revision that incorporates meta-knowledge and entrenchment information, enabling reasoning about information reliability.

Contribution

It introduces a novel logical system combining default reasoning and belief revision with declarative strategy specification, ensuring consistency through fixed point inference.

Findings

Framework supports reasoning about information reliability.

Ensures theories have consistent conclusions.

Integrates meta-knowledge into belief revision processes.

Abstract

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can be described declaratively. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a monotone operator is used to make sure that all theories possess a consistent set of conclusions.