Declarative Representation of Revision Strategies
Gerhard Brewka

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Bayesian Modeling and Causal Inference · Multi-Agent Systems and Negotiation
