幾何制約に基づく3次元形状の設計

概要

論文の詳細を見る
This paper proposes an ATMS-based geometric reasoning system for feature-based 3D solid modeling. Here, every feature is described by a set of geometric constraints such as distances between edges and angles between faces. The system has to evaluate the constraints to determine the attributes of all the geometric elements in the features. Therefore, the modeling process can be considered as a constraint satisfaction problem. Our ATMS-based approach overcomes two serious drawbacks of conventional rule-based approaches : inefficiency and poor conflict-handling. For the first problem, a state reduction method, represented as an ATMS justification, resolves the problem of combinatorial explosion in the rules' pattern matching. Here, intermediate states are defined by the degree of freedom : the determined geometric elements have zero degree, and free faces, edges, and vertices have three, four, three degrees, respectively. Each constraint invocation reduces the degree ; that is, it increases the level of determinacy of the status. For the second problem, the ATMS's label update propagation mechanism resolves conflicts of constraints. It distinguishes conflicting situations from redundant or underconstrained ones, and the minimum diagnosis technique detects which constraint causes the conflict. The use of an ATMS as a propositional reasoning function has various advantages over rule-based systems, such as avoidance of infinite loops and reasoning without pattern matching. The paper also considers the computational efficiency of our approach and proves its practicality by presenting data on an actual product.
社団法人人工知能学会の論文
1994-01-01

幾何制約に基づく3次元形状の設計

スポンサーリンク

概要

著者

関連論文

スポンサーリンク