Sciweavers

Share
CORR
2000
Springer

Declarative Representation of Revision Strategies

8 years 10 months ago
Declarative Representation of Revision Strategies
Abstract. 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. 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.
Gerhard Brewka
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where CORR
Authors Gerhard Brewka
Comments (0)
books