Studia Logica

, Volume 67, Issue 2, pp 153–165 | Cite as

Representing Meta-Knowledge in Poole-Systems

  • Gerhard Brewka

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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Antoniou, G., Nonmonotonic Reasoning, MIT Press, 1997.Google Scholar
  2. [2]
    Baral, C., V. S. Subrahmanian, ‘Duality between alternative semantics of logic programs and nonmonotonic formalisms’, Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, 1991.Google Scholar
  3. [3]
    Benferhat, S., D. Dubois, S. Kaci, H. Prade, ‘encoding classical fusion in ordered knowledge bases framework’, proc. 8th intl. workshop on nonmonotonic reasoning, uncertainty frameworks track, breckenridge, 2000.Google Scholar
  4. [4]
    Brewka, G., ‘Well-founded semantics for extended logic programs with dynamic preferences’, Journal of Artificial Intelligence Research 4 (1996), 19–36.Google Scholar
  5. [5]
    Brewka, G., ‘Declarative representation of revision strategies’, Proc. European Conference on AI, ECAI, Berlin, 2000.Google Scholar
  6. [6]
    Brewka, G., J. Dix, K. Konolige, Nonmonotonic Reasoning — An Overview, CSLI Publications, Stanford, 1997.Google Scholar
  7. [7]
    Brewka, G., T. Eiter, ‘Prioritizing default logic’, Intellectics and Computational Logic: Festschrift 60th Anniversary of W. Bibel, Kluwer Academic Publishers, Applied Logic Series 19, 2000.Google Scholar
  8. [8]
    GÄrdenfors, P., Knowledge in Flux, MIT Press, Cambridge, MA, 1988.Google Scholar
  9. [9]
    Cholvy, L., ‘Reasoning about merging information’, in Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 3, 233–263, 1998.Google Scholar
  10. [10]
    Eiter, T., N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, ‘The KR System dlv: progress report, comparisons and benchmarks’, Proc. 6th Intl. Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1998. Representing Meta-Knowledge in Poole-Systems 165Google Scholar
  11. [11]
    Marek, W., M. Truszczyfinski, Nonmonotonic Logics — Context-Dependent Reasoning, Springer, 1993.Google Scholar
  12. [12]
    NiemelÄ, I., P. Simons, ‘Eficient implementation of the stable model and wellfounded semantics for normal logic programs’, Proc. 4th Intl. Conference on Logic Programming and Nonmonotonic Reasoning, Dagstuhl, Germany, Springer Verlag, 1997.Google Scholar
  13. [13]
    Poole, D., ‘A logical framework for default reasoning’, Artificial Intelligence 36, 1988.Google Scholar
  14. [14]
    Prakken, H., G. Sartor, ‘Argument-based extended logic programming with defeasible priorities’, Journal of Applied Nonclassical Logics 7 (1997), 25–75.Google Scholar
  15. [15]
    Reiter, R., ‘A logic for default reasoning’, Artificial Intelligence 13 (1980), 81–132.Google Scholar
  16. [16]
    Sagonas, K., T. Swift, and S. W. David, ‘An abstract machine for computing the well-founded semantics’, in Proceedings of the Joint International Conference and Symposium on Logic Programming Bonn, Germany, pages 274–288, MIT Press, 1996Google Scholar
  17. [17]
    Schaub, T., The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Eficient Computation, Springer Verlag, 1998.Google Scholar
  18. [18]
    Tarski, A., ‘A lattice-theoretical fix point theorem and its applications’, Pacific Journal of Mathematics 5 (1955), 285–309.Google Scholar

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

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

Personalised recommendations