Abstract
If efficient control knowledge is available, search in the state space is a practical way of solving non-toy problems. For many applications the structure of the state space itself offers a reliable means of control: Certain states called “needle’s eye” can be used as partial goals so that less complex problems remain to be solved. Originally, we formalized the “needle’s eye principle” for the acquisition and representation of control knowledge for a model-based planner. We show that it is equally useful for a highly complex configuration task arising in the material sciences. From the crystallographical problem setting a natural problem decomposition is derived, such that a hierarchical configuration procedure can be used as an implicit model of “disorder”. After a brief, informal review of the needle’s eye principle we show that the control knowledge inferred on the top level of our knowledge-based configuration program is, in essence, a chain of needle’s eyes.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Birkhoff, G.: Lattice Theory. Am. Math. Soc., Colloquium Publ. XXV (1961)
Gilli, G.: Molecules and molecular crystals. In: C. Giacovazzo (ed.), Fundaments of Crystallography. Oxford Univ. Press (1994)
Günter, A.: Flexible Kontrolle in Expertensystemen zur Planung und Konfigurierung in technischen Domänen. DISKI vol. 3, infix, St. Augustin (1992)
Hertzberg, J.: Planen-Einführung in die Planerstellungsmethoden der Künstlichen Intelligenz. BI Reihe Informatik 65, Mannheim (1989)
Knorr, K., Mädler, F., Papoular, R.: Model-free Density Reconstruction of Host-Guest-Compounds from High-Resolution Powder Diffraction Data. J. Micro-and Mesoporous Materials, Elsevier (in print)
Mädler, F.: Problemzerlegung durch Nadelöhrmengen-Ein modellbasierter Ansatz zur Akquisition von Kontrollwissen für Planungssysteme. DISKI vol. 74, infix, St. Augustin (1994)
Mädler, F.: Seriell-parallele Ordnung als Lösungsbegriff für Planungsaufgaben. In: A. Horz (ed.), 7. Workshop Planen und Konfigurieren: 74–85. Arbeitspapiere GMD 723, Inst. f. Angewandte Informationstechnologie, St. Augustin (1993)
Mädler, F.: Towards Structural Abstraction. In: J. Hendler (ed.), First Int. Conf. on AI Planning Systems (AIPS-92): 163–171. M. Kaufmann, San Mateo (1992)
Mädler, F.: Problemzerlegung als optimalitätserhaltende Operatorabstraktion. In: Th. Christaller (ed.), Proc. GWAI-91: 74–83. IFB 285, Springer (1991). Also in: KI 2/92: 37–41 (1992)
Möhring, R.H.: Computationally Tractable Classes of Ordered Sets. In: I. Rival (ed.), Algorithms and Order: 105–194, Kluwer, Dordrecht (1989)
Puppe, F.: Problemlösungsmethoden in Expertensystemen. Studienreihe Informatik, Springer (1990)
Russel, S., Norvig, P.: Artificial Intelligence—a Modern Approach. Prentice Hall, International Editions, Englewood Cliffs, NJ (1995)
Wilkins, D.E.: Practical Planning. Morgan Kaufmann, San Mateo, Ca (1988)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mädler, F., Knorr, K. (1998). Needle’s eyes—A general decomposition principle for practical uses. In: Herzog, O., Günter, A. (eds) KI-98: Advances in Artificial Intelligence. KI 1998. Lecture Notes in Computer Science, vol 1504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0095429
Download citation
DOI: https://doi.org/10.1007/BFb0095429
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65080-5
Online ISBN: 978-3-540-49656-4
eBook Packages: Springer Book Archive