Abstract
The interest in knowledge acquisition systems has especially been emphasized by the recent development of domain independent expert systems. The paper presents a method for automated organization of knowledge bases using the constructive formation of theories, starting from unstructured knowledge. The method has been developed in connection with the system Inkas (Interactive Knowledge Acquisition System), a project for a domain-independent knowledge acquisition system currently in progress at Institute for Computers and Informatics in Bucharest, Romania. Domain specific knowledge bases prepared by the INKAS system are supposed to support various implementations of our operational domain independent expert system Intexp [3].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chang C.C., Keisler H.J., Model theory. North Holland, 1973.
Bietterich T.G., Michalski R.S., A comparative review of selected methods for learning from examples. In: Michalski R.S., Carbonell J.G., Mitchell T.M. (eds.), Machine learning. Springer-Verlag, 1984.
Georgescu I., HotÇŽran A., Predescu R., Vlasiu M., Petrescu F., NicolÇŽiteÇŽ D., Nagy A., INTEXP: A domain-independent expert system. In: Bibel W., Petkoff B. (eds.), Artificial Intelligence Methodology Systems Applications. North Holland, 1985.
Georgescu I., The hypernets method for representing knowledge. In: Bibel W., Petkoff B. (eds.), Artificial Intelligence Methodology Systems Applications. North Holland, 1985.
Michalski R.S., A theory and methodology of inductive learning. In: Michalski R.S., Carbonell J.G., Mitchell T.M. (eds.), Machine learning. Springer-Verlag, 1984.
Michalski R.S., Stepp R.2., Learning from observation: conceptual clustering. In: Michalski R.S., Carbonell J.G., Mitchell T.M. (eds.), Machine learning. Springer-Verlag, 1984.
Thatcher J.W., Wagner E.G., Wright J.B., Notes on algebraic fundamentals for theoretical computer science In: de Bakker J.W., van Leeuwen J. (eds.), Foundations of computer science. Part 2: Languages, logic, semantics. Mathematical Centre Tracts l09, Amsterdam, 1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Georgescu, I. (1986). Constructive Theory Formation in Knowledge Based Systems. In: Stoyan, H. (eds) GWAI-85. Informatik-Fachberichte, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71145-9_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-71145-9_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16451-7
Online ISBN: 978-3-642-71145-9
eBook Packages: Springer Book Archive