Studia Logica

, Volume 67, Issue 2, pp 153–165

Representing Meta-Knowledge in Poole-Systems

Authors

  • Gerhard Brewka
    • Universität Leipzig
Article

DOI: 10.1023/A:1010527400940

Cite this article as:
Brewka, G. Studia Logica (2001) 67: 153. doi:10.1023/A:1010527400940

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.

nonmonotonic reasoning meta reasoning preference handling

Copyright information

© Kluwer Academic Publishers 2001