Abstract
This paper contributes to the state-of-the-art in two major ways. First, it improves on Wrobel's work on provably minimal specializations by presenting an operator which is provably minimal even in the case of iterated sequences of specializations. The operator also benefits from the advantages of lazy evaluation and deferred choice. Second, it provides a semantic basis for inducing default theories and presents an incremental learning algorithm which is sound with respect to these semantics. The only other approach to learning default theories that we are aware of is that of Dimopoulos and Kakas [3]. Our work differs significantly from their's because our setting is incremental while their's is not. The underlying default logic in their work also differs significantly from ours. We believe that our work will provide the starting point for implemented systems that learn default theories and thence, fielded practical applications.
Preview
Unable to display preview. Download preview PDF.
References
Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510–530, 1985.
J. P. Delgrande, T. Schaub, and W. K. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1–2), 1994.
Yannis Dimopooulos and Antonis Kakas. Learning non-monotonic logic programs: Learning exceptions. In Proc. of ECML-95, pages 122–137, 1995.
Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA, 1988.
Peter Gärdenfors and David Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proc. of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 83–95, 1988.
W. L. Harper. Rational belief change, popper functions and counterfactuals. Synthese, (30):221–262, 1975.
David Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27–47, 1988.
David Poole, Randy Goebel, and Romas Aleliunas. Theorist: a logical reasoning system for defaults and diagnosis. In N.J. Cercone and G. McCalla, editors, The Knowledge Frontier. Essays in the Representation of Knowledge, pages 331–352. Springer Verlag, 1987.
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13(1 and 2):81–132, 1980.
Stefan Wrobel. On the proper definition of minimality in specialization and theory revision. In Proc. of ECML-93, pages 65–82, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghose, A.K., Padmanabhuni, S., Goebel, R. (1998). The role of default representations in incremental learning. In: Antoniou, G., Ghose, A.K., Truszczyński, M. (eds) Learning and Reasoning with Complex Representations. PRICAI 1996. Lecture Notes in Computer Science, vol 1359. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-64413-X_30
Download citation
DOI: https://doi.org/10.1007/3-540-64413-X_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64413-2
Online ISBN: 978-3-540-69780-0
eBook Packages: Springer Book Archive