References
- ALLEN , J. F. , KAUTZ , H. A. , PELAVIN , R. N. , and TENENBERG , J. D. , 1991 , Reasoning About Plans ( Morgan Kaufmann , San Mateo ),
- ANDERSON , D. C. , and CHANG , T.-C. , 1990 , Geometric reasoning in feature-based design and process planning . Computers and Graphics 14 ( 2 ), 225 – 235 .
- BELL , J. , 1990 , Why the frame problem is not a problem . AI Communications , 3 ( 1 ), 3 – 10 .
- BROWN , F. (ed.), 1987 , The Frame Problem in Artifical Intelligence, Proceedings of the 1987 Workshop ( Morgan Kaufmann , San Mateo ).
- CHANG , T.-C. , 1990 , Expert Process Planning for Manufacturing ( Addison-Wesley , Reading ).
- CHAPMAN , D. , 1987 , Planning for conjunctive goals . Artificial Intelligence , 32 , 333 – 377 .
- DA SILVA , R. E. , WOOD , K. L. , and BEAMAN , J. J. , 1990 , Representing and manipulating interacting and interfeature relationships in engineering design for manufacture . In B. Ravani, (ed.) Advances in Design Automation-1990 ( ASME , New York ) Vol. 1 , 1 – 8 .
- DAVIDOR , Y. , 1990 , Genetic Algorithms and Robotics A Heuristic Strategy for Optimization ( World Scientific , Singapore ).
- DESCOITE , Y. , and LATOMBE , J.-C. , 1985 , Making compromises among antagonist constraints in a planner . Artificial Intelligence , 27 , 183 – 217 .
- DIXON , J. R. , CUNNINGHAM , J. J. , and SIMMONS , M. K. , 1989 , Research in designing with features . In H. Yoshikawa and D. Gossard (eds) Intelligent CAD-I ( North-Holland ), 137 – 148 .
- DONG , X. , DEVRIES , R. , and WOZNY , M. J. , 1991 , Feature-based reasoning in fixture design . Annals of the CIRP , 40 ( 1 ), 111 – 114 .
- FlKES , R. , and NlLSSON , N. , 1971 , STRIPS a new approach to the application of theorem proving to problem solving . Artificial Intelligence , 2 , 189 – 208 .
- GINSBERG , M. , and SMITH , D. , 1988 , Reasoning about action II the qualification problem . Artificial Intelligence , 35 , 311 – 342 .
- GOLDBERG , D. E. , 1989 , Genetic Algorithms in Search, Optimization, and Machine Learning ( Addison-Wesley , Reading ).
- HAM , I. , and Lu , S. C.-Y. , 1988 , Computer-aided process planning the present and the future . Annals of tke CIRP , 37 ( 2 ), 591 – 601 .
- HAYES , C. , 1989 , A model of planning for plan efficiency taking advantage of operator overlap . In Proceedings of the IJCAI-39 Conference ( Morgan Kaufmann , San Mateo ), 949 – 953 .
- HAYES , C. , and WRIGHT , P. , 1988 , Automating process planning using feature interactions to guide search . Journal of Manufacturing Systems , 8 ( 1 ), 1 – 15 .
- HENDLER , J. , TATE , A. , and DRUMMOND , M. , 1990 , AI planning systems and techniques . AI Magazine , Summer 1990 , 61 – 77 .
- HORVATH , M. , and MARKUS , A. , 1984 , Operation sequence planning using optimization concepts and logic programming . In Proceedings of the IFAC 9th World Congress, Budapest , Vol. VI , 153 – 156 .
- HUSBANDS , P. , and MILL , F. , 1991 , Simulated co-evolution as the mechanism for emergent planning and scheduling . In Proceedings of tke International Conference on Genetic Algorithms '91 ( Morgan Kaufmann , San Mateo ), 264 – 270 .
- HUSBANDS , P. , MILL , F. , and WARRINGTON , S. 1990 , Generating optimal process plans from first principles . In E. Balagurasamy and J. Howe (eds) Expert Systems for Management and Engineering ( Ellis Horwood , Chichester ), 130 – 153 .
- IHARA , T. , and ITO , Y. , 1991 , A new concept of CAPP based on flair of experienced engineers - analyses of decisionmaking processes of experienced process engineers . Annals of the CIRP , 40 ( 1 ), 437 – 440 .
- INUI , M. , and KIMURA , F. , 1988 , Representation of design and manufacturing processes by data dependency . Preprints of Intelligent CAD-II, Cambridge, UK , 214 – 242 .
- KAMBHAMPATI , S. , CUTKOSKY , M. , TENENBAUM , M. , and LEE , S. H. , 1991 , Combining specialized reasoners and general purpose planners a case study . In Proceedings of the AAAI-91 Conference ( AAAl Press , Cambridge ), 199 – 205 .
- KANUMURY , M. , and CHANG , T.-C. , 1993 , Process planning in an automated manufacturing environment . Journal of Manufacturing Systems , 10 ( 1 ), 67 – 78 .
- KARINTHI , R. R. , and NAU , D. S. , 1989 , Using a feature algebra for reasoning about geometric feature interactions . In Proceedings of the IJCAI-89 Conference ( Morgan Kaufmann , San Mateo ), 1219 – 1224 .
- KUSIAK , A. , 1990 , Optimal selection of machinable volumes . HE Transactions , 22 ( 2 ), 151 – 160 .
- LANSKY , A. L. , 1991 , Localized search for multiagent planning . In Proceedings of the IJCAI-91 Conference ( AAAI Press , Cambridge ), 252 – 258 .
- LANSKY , A. L. , and FOGELSONG , D. S. , 1987 , Localized representation and planning methods for parallel domains . In Proceedings of the AAAI-87 Conference ( Morgan Kaufmann , San Mateo ), 240 – 245 .
- LlFSCHITZ , V. , 1990 , Frames in the space of situations . Artificial Intelligence , 46 , 365 – 376 .
- MCCARTHY , J. , 1977 , Epistemological problems of artificial intelligence . In Proceedings of the IJCAI-77 Conference ( Morgan Kaufmann , San Mateo ), 1038 – 1044 .
- MCCARTHY , J. , and HAYES , P. , 1969 , Some philosophical problems from the standpoint of artifical intelligence . In B. Meltzer and D. Michie (eds) Machine Intelligence 4 ( Elsevier ), 463 – 502 .
- NAU , D. S. , IDE , N. , KARINTHI , R. , VANACEK , G. , and YANG , Q. , 1988 , Solid modeling and geometric reasoning for design and process planning . In Preprints of Intelligent CAD-II, Cambridge, UK , 326 – 332 .
- RAWLINS , D.J. E. (ed), 1991 , Foundations of Genetic Algorithms ( Morgan Kaufmann , San Mateo ).
- ROSSIGNAC , J. R. , 1990 , Issues on feature-based editing and interrogation of solid models . Computers and Graphics , 14 ( 2 ), 149 – 172 .
- ROY , U. , LIU , C. R. , and Woo , T. C. , 1991 , Review of dimensioning and tolerancing representation and processing . Computer-Aided Design , 23 ( 7 ), 466 – 483 .
- SHAH , J. J. , 1991 , Assessment of feature technology . Computer Aided Design , 23 ( 5 ), 331 – 343 .
- SMITHERS , T. , 1989 , AI-based design versus geometry-based design or why design cannot be supported by geometry alone . Computer Aided Design , 21 ( 3 ), 141 – 150 .
- VANCZA , J. , and MARKUS , A. , 1991 , Genetic algorithms in process planning . Computers in Industry , 14 ( 2-3 ), 181 – 194 .
- WANG , H.-P. , and WYSK , R. A. , 1989 , Expert systems methods for process planning . In S. T. Kumara, A. L. Soyster and R. L. Kashyap (eds) AI Manufacturing Theory and Practice ( Ind. Eng. and Manag. Press , Norcross ), 535 – 564 .
- WlLKINS , D. E. , 1988 , Practical Planning ( Morgan Kaufmann , San Mateo ).
- WITTGENSTEIN , L. , 1922/1961 , Tractatus Logico-Philosophicus ( Routledge & Kegan Paul , London ).