A Constraint-Based Knowledge Compiler for Parametric Design Problems in Mechanical Engineering

スポンサーリンク

概要

• 論文の詳細を見る

• This paper describes a constraint-based knowledge compiler for parametric design problems in mechanical engineering. The purpose of our research is to realize tools which enable designers to build knowledge-based systems for parametric design in mechanical engineering simply by using a knowledge compilation approach. The knowledge compilation approach seeks to automate 1) the process of producing knowledge-based design systems from higher level design specifications, and 2) the process of restructuring existing software systems to produce new systems that exhibit a) an increase in efficiency or usability,b) a change in representation level, and c) a reduction of reasoning. Consequently, we realize knowledge compilation that adopts the advantages of the constraint-based formalization of parametric design systems; we define this technique as constraint-based knowledge compilation. Constraint-based knowledge compilation automates the process of producing knowledge-based design systems for each design object, from input design specifications, by regarding 1) a design problem in mechanical engineering as parametric design, 2) an explicit declarative knowledge of this design as a constraint, and 3) the design process as a constraint satisfaction problem. The advantage of this technique is that it is easy to modify and reuse this knowledge in order to realize problem-solving mechanisms (i.e. constraint satisfaction) for other design tasks. We have developed MECHANICOT, a tool which implements our constraint-based knowledge compilation technique for building knowledge-based systems for parametric design in mechanical engineering. MECHANICOT generates a design plan that embeds the constraint-incorporated problem-solving mechanisms realized using problem-solving primitives and that solves the parametric design problem in mechanical engineering. We have applied the constraint-based knowledge compilation technique to the following functional machine units : a gear unit and a main spindle head of a lathe. The results show that MECHANICOT can compile the main spindle head problem constraints derived from the input design specification and generate a design plan more efficiently than engineers employing conventional means. The significance of this work lies in demonstrating an improvement of the development of knowledge-based design systems and an enhancement of the productivity of designers and end users.

• 社団法人人工知能学会の論文
• 1996-01-01

著者

• Terasaki Satoshi

  Institute For New Generation Computer Technology:multimedia Systems Research Laboratory Matsushita E

• Nagai Yasuo

  Institute for New Generation Computer Technology

• Nagai Yasuo

  Institute For New Generation Computer Technology:systems And Software Engineering Laboratory Researc

関連論文

• A New Evaluation Method of Hydrogen Embrittlement Fracture for High Strength Steel by Local Approach
• Evaluation of hydrogen embrittlement susceptibility for high strength steels with Local Approach by considering hydrogen distribution : Examination for estimation of delayed fracture properties-11
• A Constraint-Based Knowledge Compiler for Parametric Design Problems in Mechanical Engineering

スポンサーリンク