, Volume 67, Issue 2, pp 153-165

Representing Meta-Knowledge in Poole-Systems

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We show how Poole-systems, a simple approach to nonmonotonic reasoning, can be extended to take meta-information into account adequately. The meta-information is used to guide the choice of formulas accepted by the reasoner as premises. Existence of a consistent set of conclusions is guaranteed by a least fixpoint construction. The proposed formalism has useful applications in defeasible reasoning, knowledge base fusion and belief revision.