Skip to main content

Artificial intelligence in CIM

  • Conference paper
  • First Online:
Computer Aided Systems Theory — EUROCAST '91 (EUROCAST 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 585))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barnichon D., Caux C., Gourgand, H.:. Methodology for Manufacturing System Analysis Using a Siman-Petri Nets Coupling. In Proceedings of ESS'90, pages 148–152, Ghent, Belgium, 1990.

    Google Scholar 

  2. Bjorke O. (editor):. Advanced Production System. Tapir Publishers, Trondheim, Norway, 1987.

    Google Scholar 

  3. Bond, A. H., Les Gasser, A., editor. Readings in Distributed Artificial Intelligence, Los Altos, 1988. Morgan Kaufman Publ.

    Google Scholar 

  4. Bray, O. H.:. CIM: The Data Management Strategy. Digital Press, 1988.

    Google Scholar 

  5. Červeňák, D., Cichý, J., Boržík, J. The Diagnostics of Industrial Robots Making Use of an Expert System. In Proc. of Czechoslovak National AI'88 Conf., pages 143–150, Prague, 1988. (in Slovak).

    Google Scholar 

  6. Dilts, D. M.:. Integration of Computer Integrated Manufacturing Data Bases Using Artificial Intelligence. In D.M. Oliff, editor, Expert Systems and Intelligent Manufacturing, pages 277–284. Elsevier Science Publ. Co., 1988.

    Google Scholar 

  7. Fox, M. S.:. Constrained-Directed Search: A case Study of Job-Shop Scheduling. PhD thesis, Carnegie Mellon University, Pittsburgh, 1983.

    Google Scholar 

  8. Fox, S. M.:. Constraint-Directed Search: A Case Study of Job-Shop Scheduling. Pitman, London, 1987.

    Google Scholar 

  9. Horowitz, E., Sahni, S.:. Fundamentals of Computer Algorithms. Computer Science Press, Rockville, 1978.

    Google Scholar 

  10. Kopacek, P.:. CAST Methods in Control. In Proc. of EUROCAST'89, pages 367–370. Springer Verlag, 1990. LNCS No. 410.

    Google Scholar 

  11. Kopecký, P., Lažanský, J., Mařík, V., Zdráhal, Z.:. Knowledge Based System for Computer Aided Process Planning. In Proceedings of Int. IFAC Conference CSTD'85, vol. I, pages 245–251, Beijing, China, 1985.

    Google Scholar 

  12. Kouba, Z., Lažanský, J.:. A Knowledge-based System for CAPP. In Mařík, V., Štěpánková, O., Zdráhal, Z., editor, Artificiall Intelligence in Higher Education, pages 89–93. Springer Verlag, LNAI No. 451, 1990.

    Google Scholar 

  13. Krause, F. L., Altmann, C.:. Arbeitsplanung alternativer Prozesse für flexible Fertigungssysteme. ZWF, 84(5):228–232, 1989.

    Google Scholar 

  14. Mařík, V.:. Blackboard Control in Diagnostic Expert Systems. In Proceedings of IFAC/IFORS/IMACS Symposium ”Large Scale Systems '89”, pages 353–358, Berlin, 1989.

    Google Scholar 

  15. Mařík, V. and others:. Application of the FEL-EXPERT System in the Diagnosis of Genetic Diseases. In Carson, R. E., Kneppo, P., Krekule, I., editor, Advances in Biomedical Measurement, pages 465–475, New York, 1988. Plenum Press.

    Google Scholar 

  16. Mařík, V., Zdráhal, Z.:. The FEL-EXPERT and MIFELEX Empty Expert Systems and Their Applications. In Working Paper WP-86-61, pages 47–56, Laxenburg, Austria, 1986. IIASA.

    Google Scholar 

  17. Norsk Data (editor):. Integrierte Datenverarbeitung für Konstruktion und Arbeitsplanung. Hanser Verlag, München, 1986.

    Google Scholar 

  18. Panskus, G.:. CIM-Begriffe — Verwirrende Schlagwörter in der Welt der neuen Technologien. In CAT'86, pages 29–32, Stuttgart, 1986.

    Google Scholar 

  19. Pichler, F.:. From Systems Theory to CAST. In Proc. of EUROCAST'89, pages 2–6. Springer Verlag, 1990. LNCS No. 410.

    Google Scholar 

  20. Pichler, F., Schwärtzel, H.:. CAST — Computerunterstützte Systemtheorie. Springer Verlag, Heidelberg, 1990.

    Google Scholar 

  21. Rickel, J.:. Issues in the Design of Scheduling Systems. In D.M. Oliff, editor, Expert Systems and Intelligent Manufacturing, pages 70–89. Elsevier Science Publ. Co., 1988.

    Google Scholar 

  22. Spur, G., Germer H. J., Lehmann, C. M.:. Impact of Geometric Modelling for Computer Integrated Manufacturing. In Krause, F. L., Jansen, H., editor, Advanced Geometric Modelling for Engineeirng Applications, pages 3–24. North Holland, 1990.

    Google Scholar 

  23. Spur, G., Krause, F. L., Lehmann, C.:. Wissensbasierter Entwurf von Drehmaschinen. ZWF, 82(5):266–270, 1987.

    Google Scholar 

  24. Spur, G., Krause, F. L., Lehmann, C. M.:. Integration of Methods for Knowledge Processing and Geometric Modelling. In Proceedings of the 4th European Conf. on Effective CADCAM'89, London, 1989.

    Google Scholar 

  25. Steele, G. L.:. The Definition and Implementation of a Computer Programming Language Based on Constraints. Technical Report AI-TR-595, MIT, Cambridge, 1980.

    Google Scholar 

  26. Stefik, M.:. Planning with Constraints (Molgen: Part 1). Artificial Intelligence, 16:111–140, 1981.

    Google Scholar 

  27. Van Hentenryck P.:. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, 1989.

    Google Scholar 

  28. Wang, K. K.:. Numerical and Graphical Simulation of Manufacturing. In Krause, F. L., Jansen H., editor, Advanced Geometric Modelling for Engineeirng Applications, pages 277–294. North Holland, 1990.

    Google Scholar 

  29. Waterman, O.E.:. A Guide to Expert Systems. Addison Wesley, Reading, Mass., 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Franz Pichler Roberto Moreno Díaz

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mařík, V., Lažanský, J. (1992). Artificial intelligence in CIM. In: Pichler, F., Díaz, R.M. (eds) Computer Aided Systems Theory — EUROCAST '91. EUROCAST 1991. Lecture Notes in Computer Science, vol 585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021047

Download citation

  • DOI: https://doi.org/10.1007/BFb0021047

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55354-0

  • Online ISBN: 978-3-540-47034-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics