Gero, G. and Sudweeks, F. (eds.): 1993, Proc. IFIP WG 5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia.  Home/Search   Document Not in Database   Summary   Related Articles

....goals, no unspecified constraints, with completely described objects, relations and constraints between them, etc. This provides a suitable platform for a formal description of configuration knowledge (which is normally not achievable in many design problems in this way see for an overview Gero, 1992 1993). A comprehensive analysis of the typical knowledge structures in configuration problems revealed, that configuration knowledge can be represented within the following main KR categories: First, we have a clear distinction between object level knowledge and control knowledge. The object ....

....knowledge) and secondly the model generation approach, which formally describes, what is actually done in configuration problem solving. Quite a lot of work has been done to formalize problem solving in design (not so much in configuration) by various forms of grammars (for an overview see Gero, 1993). Though there are in a some of them similarities to our CPS approach, we feel that CPS reflects in a more appropriate way the logical foundations of configuration problem solving, especially the goal to generate a semantical model, which fulfills the constraints. Maybe, one can imagine grammars ....

Gero, G. and Sudweeks, F. (eds.): 1993, Proc. IFIP WG 5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC