Abstract
This paper discusses an important issue on the intelligent systems to solve large scale problem, especially on the way of making computer programs automatically. Since an activity that human beings design a problem solving system is a kind of problem solving, a new modeling scheme that can deal with multi-level structures is necessary for representing problem solving itself. A large scale system used repeatedly should be a procedural program and not exploratory one. A method of translating modeling results into a procedural program is proposed in this paper.
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
S. Ohsuga, Toward Truly Intelligent Information Systems, (to appear in knowledge based systems), 1998
J. McDermott, Preliminary Steps toward a Taxonomy of Problem Solving Methods, Automating Knowledge Acquisition for Expert Systems, (S. Marcus ed.)Kluwer Academic, 225–256, 1988
F. H. Ross, Artificial Intelligence — What Works and What Doesn't?, AI Magazine, Vol.18, No.2, 1997
S. J. Lee and D. A. Plaisted, Problem solving by searching for models with a theorem prover, Artificial Intelligence, Volume 69, pp205–233, 1994
H. Yamauchi and S. Ohsuga, Modeling Objects by Bxtensions and Intentions, Information Modeling and Knowledge Bases III, IOS Press, 1992
S. Ohsuga and H. Yamauchi, Multi-Layer Logic — A Predicate Logic Including Data Structure As Knowledge Representation Language, New Generation Computing, 1985
S. Ohsuga, A Way of Designing Knowledge Based Systems, Knowledge Based Systems, Vol.6, No.1, 1995
H. Yamauchi, KAUS User's Manual Version 6.49, ROAST, University of Tokyo, 1997
Geoffrey G. Towell, Jude W. Shavlik, Knowledge-Based Artificial Neural Networks, Artificial Intelligence, Volume 70, Issue 1–2, pp119–165, 1994
H. Eriksson, Y. Shahar, W.Tu, A.R.Puerta, M.A.Musen, Task modeling with reusable problem-solving methods, Artificial Intelligence 79, pp293–326, 1995
W. Ikeda, New Modeling Method for Using Large Knowledge Bases, (to appear in proceeding of IEA-98-AIE)
W. Wayt Gibbs, Software Chronic Crisis, Scientific American, Sept., 1994
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag
About this paper
Cite this paper
Aida, T., Ohsuga, S. (1998). Intelligent systems must be able to make programs automatically for assuring the practicality. In: Mira, J., del Pobil, A.P., Ali, M. (eds) Methodology and Tools in Knowledge-Based Systems. IEA/AIE 1998. Lecture Notes in Computer Science, vol 1415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64582-9_735
Download citation
DOI: https://doi.org/10.1007/3-540-64582-9_735
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64582-5
Online ISBN: 978-3-540-69348-2
eBook Packages: Springer Book Archive