An approach to product modeling by using a reason maintenance system to reduce the amount of search required for the identification of feasible designs is described. An assumption-based truth maintenance system and multiple worlds are used to discover and store information about feasible designs and to avoid further consideration of infeasible design alternatives. An object-oriented computer program for product modeling is presented.

1.
Biswas, G., Hagins, W. J., and Debelak, K. A., 1989, “Qualitative Modeling in Engineering Applications,” Proceedings of the 1989 IEEE Conference on Man, Systems, and Cybernetics, pp. 997–1002.
2.
Bradshaw, J. A., and Young, R. M., 1991, “Evaluating Design Using Knowledge of Purpose and Knowledge of Structure,” IEEE Expert, April, pp. 33–40.
3.
de Kleer
J.
, and
Brown
J.
,
1984
, “
A Qualitative Physics Based on Confluences
,”
Artificial Intelligence
, Vol.
24
, pp.
7
83
.
4.
de Kleer, J., and Forbus, K. D., 1991, “Truth Maintenance Systems,” Tutorial on the Ninth National Conference on Artificial Intelligence, Los Angeles, CA, July, pp. 14–19.
5.
Filman
R. E.
,
1988
, “
Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environment
,”
Communications of the ACM
, Vol.
31
, No.
4
, pp.
382
401
.
6.
Hundal
M. S.
,
1990
, “
A Systematic Method for Developing Functional Structures, Solutions and Concept Variants
,”
Mechanisms and Machine Theory
, Vol.
25
, No.
3
, pp.
243
256
.
7.
Joskowitz, L., 1987, “Shape and Function in Mechanical Devices,” Proceedings of the Sixth National Conference on Artificial Intelligence, July 13–17, pp. 611–615.
8.
Longenecker, S., and Fitzhorn, P. A., 1990, “A Shape Grammar for Modeling Solids,” Proceedings of the First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly, P. A. Fitzhorn, ed., Colorado Springs, CO, pp. 50–68.
9.
Morris, P. H., and Nado, R. A., 1986, “Representing Actions with an Assumption-based Truth Maintenance System,” Proceedings of the 5th National Conference on Artificial Intelligence, Philadelphia, pp. 13–17.
10.
Nardi, B. A., and Paulson, E. A., 1986, “Multiple Worlds with Truth Maintenance in AI Applications,” Proceedings of the 7th European Conference on Artificial Intelligence, B. du Boulay and D. Hogg, eds., North-Holland, Amsterdam, pp. 563–572.
11.
Oren, T. I., Zeigler, B. P., and Elzas, M. S., eds., 1984, Simulation and Model-Based Methodologies: An Integrative View, North-Holland, Amsterdam.
12.
Pahl, G., and Beitz, W., 1988, Engineering Design, Springer-Verlag, New York.
13.
Pu
P.
,
1990
, “
Intelligent Computer-Aided Design Systems: A Synergical Approach of Artificial Intelligence and Engineering
,”
Computing Intelligence
, Vol.
6
, pp.
81
90
.
14.
Ranta, M., Inui, M., and Kimura, F., 1989, “A Process Planning Systems for Producibility Feedback to Designers,” Proceedings of the Third International IFIP Conference on Computer Applications in Production and Engineering, Tokyo, Japan, Elsevier Science Publishers, New York, pp. 373–382.
15.
Rinderle, J. R., and Finger, S. A., 1990, “Transformational Approach to Mechanical Synthesis,” Proceedings of the NSF Design and Manufacturing Systems Conference, Society of Manufacturing Engineers, Dearborn, Michigan, pp. 67–75.
16.
Stallman
R.
, and
Sussman
G. J.
,
1977
, “
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
,”
Artificial Intelligence
, Vol.
9
, pp.
135
196
.
17.
Steele, R. L., 1987, “An Expert System Application in Semicustom VLSI Design,” Proceedings of the 24th ACM/IEEE Design Automation Conference, pp. 679–686.
18.
Zeigler
B. P.
,
1987
, “
Hierarchical, Modular Discrete-event Modeling in an Object-Oriented Environment
,”
Simulation
, Vol.
49
, No.
5
, pp.
219
230
.
This content is only available via PDF.
You do not currently have access to this content.