Studia Logica

, Volume 67, Issue 2, pp 153–165

Representing Meta-Knowledge in Poole-Systems

  • Gerhard Brewka

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 reasoning meta reasoning preference handling 

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Gerhard Brewka
    • 1
  1. 1.Universität LeipzigLeipzigGermany

Personalised recommendations