Studia Logica

, Volume 67, Issue 2, pp 153–165

Representing Meta-Knowledge in Poole-Systems


  • Gerhard Brewka
    • Universität Leipzig

DOI: 10.1023/A:1010527400940

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


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 reasoningmeta reasoningpreference handling
Download to read the full article text

Copyright information

© Kluwer Academic Publishers 2001