Abstract
In most expert systems for constructional tasks, the knowledge base consists of a set of facts or object definitions and a set of rules. These rules contain knowledge about correct or ideal solutions as well as knowledge on how to control the construction process. In this paper, we present an approach that avoids this type of rules and thus the disadvantages caused by them.
We propose a static knowledge base consisting of a set of object definitions interconnected by is-a and part-of links. This conceptual hierarchy declaratively defines a taxonomy of domain objects and the aggregation of components to composite objects. Thus, the conceptual hierarchy describes the set of all admissible solutions to a constructional problem. Interdependencies between objects are represented by constraints. A solution is a syntactically complete and correct instantiation of the conceptual hierarchy.
No control knowledge is included in the conceptual hierarchy. Instead, the control mechanism will use the conceptual hierarchy as a guideline. Thus it is possible to determine in which respects a current partial solution is incomplete simply by syntactical comparison with the conceptual hierarchy. The control architecture proposed here has the following characteristics: separation of control and object knowledge, declarative representation of control knowledge, and explicit control decisions in the problem solving process. Thus, a flexible control mechanism can be realized that supports interactive construction, integration of case-based approaches and simulation methods.
This control method is part of an expert system kernel for planning and configuration tasks in technical domains. This kernel has been developed at the University of Hamburg and is currently applied to several domains.
Similar content being viewed by others
References
J. McDermott, “R1: A rule-based configurer of computer systems,” Artificial Intelligence, Vol. 19(1), pp. 39–88, 1982.
E. Soloway, et al., “Assessing the maintainability of XCON-in-RIME: Coping with the problem of very large rule-bases,” in Proc. AAAI-87, pp. 824–829, 1987.
W. Coy and L. Bonsiepen, Experience and Computation—Critic of Expert System Technology (in German), Springer, Informatik Fachberichte, 1989.
A. Günter, R. Cunis, and I. Syska, “Separating control from structural knowledge in construction expert systems,” in Proc. 3. IEA/AIE, Charleston, USA, pp. 601–610, ACM-Press, 1990.
A. Günter, “Flexible control in expert systems for planning and configuration in technical domains” (in German), Univ. Hamburg, Dissertation Thesis, 1991.
P. Harmon, “How DEC is living with XCON,” Expert Systems Strategies, Vol. 5, No. 12, pp. 1–5, 1989.
L. Steels, “Components of expertise,” AI Magazine, Summer 90, 1990.
N. J. Nilsson, Principles of Artificial Intelligence, Springer, 1982.
S. Marcus, J. Stout, and J. McDermott, “VT: An expert elevator designer that uses knowledge-based backtracking,” AI Magazine, Spring 88, pp. 95–112, 1988.
L. Aiello, C. Cecchi, and D. Sartini, “Representation and use of metaknowledge,” IEEE Expert Systems, Vol. 74, No. 10, pp. 1304–1321, 1986.
M. Beetz, “Specifying meta-level architectures for rule-based system,” in Proc. German Workshop on Artificial Intelligence, Springer, pp. 149–160, 1987.
W. J. Clancey and C. Bock, “Representing control knowledge as abstract task and metarules,” Stanford University, Report No. STAN-CS-87-1168, 1987.
R. Davis, “Applications of meta-knowledge to the construction, maintenance and use of large knowledge bases,” in Knowledge based Systems in AI, edited by R. Davis, McGraw-Hill, 1982.
S. Fickas and S. Novick, “Control knowledge in expert systems: Relaxing restrictive assumptions,” in Proc. Expert Systems 85, Avignon, Vol. II, pp. 981–993, 1985.
R. Sauers, “Controlling expert systems,” in Expert System Applications, edited by L. Bolc and M. J. Coombs, pp. 79–197, Springer, 1988.
M. R. Genesereth, “An overview of meta-level architecture,” in Proc. AAAI-83, pp. 119–123, 1983.
B. Hayes-Roth, “A blackboard architecture for control,” Artificial Intelligence, Vol. 26, pp. 251–321, 1985.
M. J. Stefik, “Planning and meta-planning,” Artificial Intelligence, Vol. 16, pp. 141–170, 1981.
R. Cunis, A. Günter, I. Syska, H. Peters, and H. Bode, “PLAKON—An approach to domain-independent construction,” in Proc. 2. IEA/AIE, Tennessee, USA, ACM-Press, pp. 866–874, 1989.
R. Cunis, A. Günter, and H. Strecker (eds.), The PLAKON-Book (in German), Springer, Informatik Fachberichte, 1991.
W. Baginsky, H. Endres, G. Geissing, and L. Philipp, “Basic architectural features of configuration expert systems for automation engineering,” in Proc. IEEE Conf. “Int. Workshop on AI for Industrial Applications,” Japan, 1988.
M. Kopisch, “Configuration of aircraft cabin layout” (in German), Univ. Hamburg, Diploma Thesis, 1991.
H. Strecker, “Configuration using PLAKON—An applications perspective,” in Proc. 3. Int. GI-Workshop Knowledge-Based Systems, pp. 352–362, Springer, 1989.
H. Strecker, “Simulation-based system configuration applied to automatic X-ray inspection” (in German), Univ. Hamburg, Dissertation Thesis, 1991.
I. Syska, A. Günter, R. Cunis, H. Peters, and H. Bode, “Solving construction tasks with a cooperating constraint system,” in Proc. Expert Systems 88, Brighton, pp. 199–209, 1988.
V. Dhar, “An approach to dependence directed backtracking using domain specific knowledge,” in Proc. IJCAI 85, Vol. 1, pp. 188–190, 1985.
R. Alterman, “An adaptive planner,” in Proc. AAAI-86, pp. 65–69, 1986.
K. Pfitzner and A. Günter, “Library solutions for support of problem solving in construction expert systems” (in German), in Proc. 2 Workshop Planen und Konfigurieren, Bonn, pp. 175–190, 1988.
K. Pfitzner, “Selection, integration, and decomposition of library solutions in construction problems” (in German), in Proc. 3 Workshop Planen und Konfigurieren, Berlin, pp. 165–182, 1989.
P. E. Friedland and Y. Iwasaki, “The concept and implementation of skeletal plans,” Journal of Automated Reasoning, No. 1, pp. 161–208, 1985.
L. S. H. DeMello, “And/or graph representation of assembly plans,” Carnegie Mellon University, Report CMU-RI-TR-86-8, 1986.
B. Hayes-Roth and F. Hayes-Roth, “Modeling planning as an incremental opportunistic process,” in Proc. IJCAI 79, pp. 375–383, 1979.
M. J. Stefik, “Planning and constraints,” Artificial Intelligence, Vol. 16, pp. 111–140, 1981.
K. Hammond, Case-Based Planning, Academic Press, 1989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Günter, A., Cunis, R. Flexible control in expert systems for construction tasks. Appl Intell 2, 369–385 (1992). https://doi.org/10.1007/BF00058652
Issue Date:
DOI: https://doi.org/10.1007/BF00058652