DeepAI AI Chat
Log In Sign Up

Declarative Representation of Revision Strategies

03/08/2000
by   Gerhard Brewka, et al.
UNIVERSITÄT LEIPZIG
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/24/2021

Truth and Subjunctive Theories of Knowledge: No Luck?

The paper explores applications of Kripke's theory of truth to semantics...
01/28/1999

Representation Theory for Default Logic

Default logic can be regarded as a mechanism to represent families of be...
03/27/2013

Nonmonotonic Reasoning via Possibility Theory

We introduce the operation of possibility qualification and show how. th...
11/12/2022

Formalizing the presumption of independence

Mathematical proof aims to deliver confident conclusions, but a very sim...
02/22/2019

On Nominal Syntax and Permutation Fixed Points

We propose a new axiomatisation of the alpha-equivalence relation for no...
07/09/2002

Intuitions and the modelling of defeasible reasoning: some case studies

The purpose of this paper is to address some criticisms recently raised ...
06/05/2022

Situation Theory and Channel theory as a Unified Framework for Imperfect Information Management

This article argues that the Situation theory and the Channel theory can...