Causal qualitative reasoning is aimed to explore the causalities betweencomDonents in a system by analyzing the descriptions for physical behaviors and relation-shiDs of the system.This paper presents a model and algorithms of causal qualitative reasoning based 0n constraint and variable analysis.The result can be widely applied to many aspects of product design systems,such as parametric design by geometric reason-ing,decomposition of complex design tasks and dependency analysis of design parameters.The algorithms have advantages in applicability,efficiency,robustness and ability to deal with 11nder-constrained conditions in a constraint system.
1 Light L,Gossard D.Modification of geometric models through variational geometry.Computer-Aided Design,
1982,14(4):209~214.
2 Lee K,AndrewS G.Inference of the positions of components in an assembly:part 2.Computer Aided Design,
1985,17(1):20~24.
3 Rocheleau D N,Lee K.Systern for interactive assembly modeling.Computer-Aided Design,1982,14(4):65~72·
4 Aidefeld B.Variation of geometries based on a geometric-reasoning method.Computer-Aided Design,1988,20
(3):117~126.
5 Sunde G.Specification of shape by dimensions and other geometric constraints.In:Wozny M J,Encarnacao J L
eds.Geometric Modeling for CAD Applications,North Holland,1988.199~213.
6 Suzuki H,Ando H, Kimura F.Geometric constraints and reasoning for geometrical CAD systems. Computer &
Graphics,1990,14(2):211~224.
7 Verroust A,Schonek F,Roller D. Rule-oriented method for parameterized computer-aided design. Computer-
Aided Design,1992,24(10):531~540.
8 Yamaguchi Y,Kimura F.A constraint modeling system for variational geometry.In:Wozny M J, Turner J U.
Preiss K eds.Geometric Modeling for Product Engineering,North Holland,1990.221~223.
9 K0ndo K.A1gebraic method for manipulation of dimensional relationships in geometric models. Computer-Aided
Design,1992,24(3):141~147.
10 Buchanan S A,Pennington A de.Constraint definition system:a computer-algebra based approach to solving
geometric-constraint problems.Computer-Aided Design,1993,25(12):741~750.
11 Dechter R,Peal J.Network-based heuristics for constraint-satisfaction problems.Artificial Intelligence,1987,34
(1):1~38.
12 葛建新,彭群生,董金祥等.基于约束的形状自动求解新算法.计算机学报,1995,18(2):114~126.
13 石纯一,陈见,赵永等.定性推理进展.第二届中国人工智能联合学术会议,1992,128~133.
14 蔡勇,石纯一.定性推理中一种因果分析方法.模式识别与人工智能,1995,8(3):33~42.
15 Base S.Computer aIgorithms:introduction to design and analysis.New York:Addison-Wesley Company,1978.