Representing Meta-Knowledge in Poole-Systems
- Gerhard Brewka
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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.
- Antoniou, G., Nonmonotonic Reasoning, MIT Press, 1997.
- Baral, C., V. S. Subrahmanian, ‘Duality between alternative semantics of logic programs and nonmonotonic formalisms’, Intl. Workshop on Logic Programming and Nonmonotonic Reasoning, 1991.
- 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.
- Brewka, G. (1996) Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research 4: pp. 19-36
- Brewka, G. (2000) Declarative representation of revision strategies. Proc. European Conference on AI. ECAI, Berlin
- Brewka, G., Dix, J., Konolige, K. (1997) Nonmonotonic Reasoning — An Overview. CSLI Publications, Stanford
- 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.
- GÄrdenfors, P. (1988) Knowledge in Flux. MIT Press, Cambridge, MA
- Cholvy, L. (1998) Reasoning about merging information. Handbook of Defeasible Reasoning and Uncertainty Management Systems 3: pp. 233-263
- 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 165
- Marek, W., M. Truszczyfinski, Nonmonotonic Logics — Context-Dependent Reasoning, Springer, 1993.
- NiemelÄ, I., Simons, P. (1997) Eficient implementation of the stable model and wellfounded semantics for normal logic programs. Proc. 4th Intl. Conference on Logic Programming and Nonmonotonic Reasoning. Springer Verlag, Dagstuhl, Germany
- Poole, D., ‘A logical framework for default reasoning’, Artificial Intelligence 36, 1988.
- Prakken, H., Sartor, G. (1997) Argument-based extended logic programming with defeasible priorities. Journal of Applied Nonclassical Logics 7: pp. 25-75
- Reiter, R. (1980) A logic for default reasoning. Artificial Intelligence 13: pp. 81-132
- 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, 1996
- Schaub, T., The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Eficient Computation, Springer Verlag, 1998.
- Tarski, A. (1955) A lattice-theoretical fix point theorem and its applications. Pacific Journal of Mathematics 5: pp. 285-309
- Representing Meta-Knowledge in Poole-Systems
Volume 67, Issue 2 , pp 153-165
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- nonmonotonic reasoning
- meta reasoning
- preference handling
- Gerhard Brewka (1)
- Author Affiliations
- 1. Universität Leipzig, Augustusplatz 10–11, 04109, Leipzig, Germany