Building a logical model in the machining domain for CAPP expert systems

International Journal of Production Research

Volumn 36, Issue 4, 1998, Pages 1075-1089

  Kryssanov, V V ^a   Kleshchev, A S ^a   Fukuda, Y ^b   Konishi, K ^c  

^a INSTITUTE OF AUTOMATION AND CONTROL PROCESSES   (Russian Federation)

^b HOSEI UNIVERSITY   (Japan)

^c Japan Society for the Promotion of Machine Industry   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; MACHINING; MATHEMATICAL MODELS; PLANNING; PROBLEM SOLVING;

COMPUTER AIDED PROCESS PLANNING; LOGICAL MODEL;

EXPERT SYSTEMS;

EID: 0032050391     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/002075498193525     Document Type: Article

References (28)

1. Artemjeva, I. L., Gavrilova, T. L., and Kleshchev, A. S., 1994, Models of the domains with elementary objects for expert systems. Scientific-Technical Information, series 2, N 12, 8-18 (in Russian).
2. Artemjeva, I. L., Gavrilova, T. L., and Kleshchev, A. S., 1995, Adaptation of logical models to complex domains. Report, Institute for Automation & Control Processes, FEBRAS, Vladivostok (in Russian).
3. Artemjeva, I. L., Gavrilova, T. L., and Kleshchev, A. S., 1996, Logical relationship systems of the second order. Report, Institute for Automation & Control Processes, FEBRAS, Vladivostok (in Russian).
4. Barr, A., and Feigenbaum, E. A., 1981, The Handbook of Artificial Intelligence (Los Angeles, CA: William Kaufmann).
5. Benjamin, P. C., Menzel, C. P., Mayer, R., and Padmanaban, N., 1995, Toward a method for acquiring CIM ontologies. International Journal of Computer Integrated Manufacturing, 8, 225-234.
6. Descotte, Y., and Latombe, J. C., 1981, GARI: a problem solver that plans how to machine mechanical parts. Proceedings of the 7th International Joint Conference on Artificial Intelligence, Vancouver, Canada, August 24-28, pp. 766-772.
7. Domazet, D. S., and Lu, S. C.-Y., 1992, Concurrent design and process planning of rotational parts. Annals of the CIRP, 41, 181-184.
8. Ehrig, H., and Mahr, B., 1985, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Berlin/New York: Springer).
9. Horvath, M., Markus, A., and Vancza, J., 1996, Process planning with genetic algorithms on results of knowledge based reasoning. International Journal of Computer Integrated Manufacturing, 9, 145-166.
10. ISO 10303-11, 1994, Industrial automation systems and integration - product data representation and exchange, Part 11: Description methods. (ISO: The EXPRESS language reference manual).
11. Iwata, K., and Fukuda, Y., 1989, A new proposal of dynamic process planning in machine shop. CIRP International Workshop on Computer Aided Process Planning (CAPP), Hannover, FRG, September 21-22, pp. 73-83.
12. Kiritsis, D., 1993, A review of knowledge-based expert systems for process planning, methods and problems. Report, Ecole Polytechnique Federale de Lausanne, France.
13. Kleshchev, A. S., 1994, Expert systems based on metaknowledge. Report, Institute for Automation & Control Processes, FEBRAS, Vladivostok, Russia.
14. Kruth, J.-P., Detand, J., Zeir, G. V., Kempenaers, J., and Pinte, J., 1994, Opportunistic process planning: a knowledge based technique for CAPP applications. Proceedings of 1994 ASME Computers in Engineering Conference, Minneapolis, 1, 227-233.
15. Mantyla, M., and Opas, J., 1988, HUTCAPP - a machining operations planner. Proceedings of the Second International Symposium on Robotics and Manufacturing, Albuquerque, New Mexico, Mexico, November 16-18, pp. 901-910.
16. Matsushima, K., Okada, N., and Sata, T., 1982, The integration of CAD and CAM by application of artificial intelligence techniques. Annals of the CIRP, 31, 329-332.
17. Mayer, R. J., Hari, U., Su, C. J., and Yen, J., 1995, Plan generation strategies for a knowledge-based automated process planning system. International Journal of Computer Integrated Manufacture, 8, 399-410.
18. MeCarthy, J., 1996, First order theories of individual concepts and propositions. Report, Stanford University, CA.
19. Nau, D. S., and Chang, T. C., 1985, A knowledge based approach to generative process planning. Proceedings of Winter Annual Meeting of the AS ME, Miami, FL, November 17-22, PED-21, pp. 65-72.
20. Nolen, J., 1989, Computer-Automated Process Planning for World-Class Manufacturing (New York: Marcel Dekker).
21. Opas, J., Bochnick, H., and Tuomi, J., 1994, Manufacturability analysis as a part of CAD/ CAM integration. In Intelligent Systems in Design and Manufacturing, C. H. Dagly and A. Kusiak (eds) (New York: ASME), pp. 261-292.
22. Saiedian, H., 1996, An invitation to formal methods. IEEE Computer, 29, 16-30.
23. Shapiro, S., 1985, Second-order languages and mathematical practice. Journal of Symbolic Logic, 50 (3), 714-742.
24. Tipnis, V. A., 1996, Problem solving methodologies: A critique for applications to design and manufacturing. Proceedings of the 3rd CIRP Workshop on Design and Implementation of Intelligent Manufacturing Systems, Tokyo, Japan, June 19- 22, 244-252.
25. TRI, 1996, Machining data file (for end mills). Report, Technical Research Institute, Japan Society for the Promotion of Machine Industry, Tokyo, Japan.
26. Wang, H.-P., and Li, J.-K., 1991, Computer-Aided Process Planning (Amsterdam: Elsevier Science).
27. Wang, H.-P., and Wysk, R., 1987, Intelligent reasoning for process planning. Computers in Industry, 8, 293-309.
28. Yut, G. A., and Chang, T. C., 1994, A five-step object-oriented architecture for process planning. International Journal of Production Research, 32, 545-562.