Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Does CIM need AI?

  • Chapter
  • First Online:
Information Management in Computer Integrated Manufacturing

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

  • 169 Accesses

Abstract

The parts of AI which seems to be of substantial importance for the CIM tasks are overviewed in this contribution. The stress is aimed mainly at impacts of Knowledge Engineering at the global CIM software architectures, at Distributed AI as a basis for system integration, at AI-centered view on Planning and Scheduling, at the role of Declarative Programming and Machine Learning in CIM tasks. The potential contributions of the stressed topics is discussed.

Two co-authors of this contribution are the co-editors of this volume. They tried to follow the goal of partial linking and integrating other AI-oriented complementary contributions in this book.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Nicholson: Interconnected Manufacturing Systems, London: Peter Peregrinus Ltd., 1991

    Google Scholar 

  2. S. C. Shapiro (Ed.): Encyclopedia of Artificial Intelligence, John Wiley & Sons, Inc., 1990

    Google Scholar 

  3. W. W. Royce: Managing the Development of Large Software Systems. In: WESCON Technical Papers, Los Angeles, Vol.14 (1970), pp. 328–338.

    Google Scholar 

  4. D. Partridge: Engineering Artificial Intelligence Software. Oxford: Intellect 1992.

    Google Scholar 

  5. L. Johnson, H. G. Galal, E. N. Johnson: Development Methods and Environments for Knowledge Systems. In: EXPERSYS-92, ITT-International, Gournay sur Marne — France (1992), pp. 197–202.

    Google Scholar 

  6. J. Bader, and others: Practical Engineering of Knowledge Based Systems. Information and Software Technology 30 (1988), pp. 266–277.

    Google Scholar 

  7. V. Mařík, T. Vlček: Some Aspects of Knowledge Engineering. In: V. Mařík, O. Štěpánková, R. Trappl (Eds.): Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science 617. Heidelberg: Springer 1992, pp. 316–337.

    Google Scholar 

  8. H. Grabowski, and others: An Integrated CAD/CAM-System for Product and Process Modelling. In: Advanced Geometric Modelling for Engineering Applications. Amsterdam: North Holland 1990, pp. 403–420

    Google Scholar 

  9. J. Milberg: Effizienz-und Qualitatsmanagement fur Simultaneous Engineering. In: Proceedings of PTK'92. Berlin: IPK, 1992, pp. 59–66.

    Google Scholar 

  10. O. Bjorke, O. Myklebust: IMPPACT, Trondheim — Norway: Tapir Publ., 1992.

    Google Scholar 

  11. C. Altmann: Dynamische Prozessgestaltung in flexiblen Fertigungssystemen durch integrierte Arbeitsvorbereitung. Vienna: Hanser, 1991.

    Google Scholar 

  12. R. S. Engelmore, A. Morgan (Eds.): Blackboard Systems, Reading, Mass.: Addison-Wesley, 1987

    Google Scholar 

  13. F.-L. Krause: Leistunssteigerung der Produktionsvorbereitung. In: Proceedings of PTK'92. Berlin: IPK, 1992, pp. 166–184.

    Google Scholar 

  14. Y. M. Huang, J. Rozenblit: Architectures for Distributed Knowledge Processing. In: Neural and Intelligent Systems Integration, J. Wiley, 1991, pp. 437–455.

    Google Scholar 

  15. J. Lažanský, V. Mařík: Knowledge and Data Concepts in AI. In: Cybernetics and Systems Research. Signapore: World Scientific Publ. 1992, pp. 1601–1608.

    Google Scholar 

  16. D. G. Bounds: New Optimization Methods from Physics and Biology, Nature 329 (1987), pp. 245–219

    Google Scholar 

  17. C. Hewitt: Control Structures as Patterns for Passing Messages. In: Artificial Intelligence, Vol. 8 (1977), pp. 323–363

    Google Scholar 

  18. W. J. McClay: A Query Server for Diverse Sources of Data and Knowledge. In: C. Moss, K. Bowen (Eds.): Proceedings of the First Int. Conf. on The Practical Application of PROLOG, London: Association for Logic Programming 1992

    Google Scholar 

  19. D. E. Commer: Internetworking with TCP/IP, Volume I., Prentice-Hall, 1991

    Google Scholar 

  20. D. Alred, et al.: AGATHA: Applying Prolog to Test and Diagnosis of Printed Circuit Boards. In: C. Moss, K. Bowen (Eds.): Proceedings of the First Int. Conf. on The Practical Application of PROLOG, London: Association for Logic Programming 1992

    Google Scholar 

  21. E. Rich, K. Knight K.: Artificial Intelligence, McGraw Hill, 1991

    Google Scholar 

  22. R. Coyne: Logic Models of Design. London: Pitman 1988

    Google Scholar 

  23. S. Steel: Notes on Current Trends in AI Planning. In: V. Mařík, O. Štěpánková, R. Trappl (Eds.): Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science 617. Heidelberg: Springer 1992, pp. 316–337.

    Google Scholar 

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

    Google Scholar 

  25. P. Van Henterick: Contraint Satisfaction in Logic Programming, Cambridge, MA: MIT Press 1989

    Google Scholar 

  26. CHIP 2.1 Reference Manual. London: ICL 1990

    Google Scholar 

  27. A. Colmerauer: Opening the PROLOG-III Universe, BYTE Magazine 12 (1987), pp 177–182.

    Google Scholar 

  28. J. Jaffar, S. Michaylov: Methodology and Implementation of a CLP System. In: Proc. of 4th Int. Conference on Logic Programming, Melbourne (1987)

    Google Scholar 

  29. M. Rueher, B. Legeard: Which Role for CLP in Software Engineering? An Investigation on the Basis of First Applications. In: C. Moss, K. Bowen (Eds.): Proceedings of the First Int. Conf. on The Practical Application of PROLOG, London: Association for Logic Programming 1992

    Google Scholar 

  30. R. Kowalski: Logic for Problem Solving. New York: North Holland 1979

    Google Scholar 

  31. I. Bratko: Prolog Programming for Artificial Intelligence. 2nd ed., Addison Wesley 1990

    Google Scholar 

  32. T. Van Le: The Techniques of Prolog Programming. New York: John Willey 1993

    Google Scholar 

  33. F. G. McCabe: Logic and Objects. London: Prentice Hall 1992

    Google Scholar 

  34. S. Gregory: Parallel Logic Programming in PARLOG: The Language and its Implementation. Addison Wesley 1987

    Google Scholar 

  35. U. Glässer, G. Hannsen, M. Kärcher G. Lehrenfeld: A Distributed Implementation of Flat Concurrent Prolog on Multi-transputer Environment. In Proc. of the First Int. Conf. of the Austrian Center for Parallel Computation, Berlin: Springer 1991

    Google Scholar 

  36. C. Geiger: ConFuP — Concept of a Parallel Logic Programming Language with Fuzzy Semantics. Diploma Thesis, Univ. of Paderborn, November 1993

    Google Scholar 

  37. E. Shapiro: Algorithmic Program Debugging. Cambridge, MA: MIT Press 1983

    Google Scholar 

  38. N. Lavrač, S. Džerovski: Inductive Logic Programming, Techniques and Applications. Ellis Horwood 1994

    Google Scholar 

  39. R. Quinlan: Learning Logical Definitions from Relations. Machine Learning, 5 (3), 239–266

    Google Scholar 

  40. S. Muggleton: Inductive Acquisition of Expert Knowledge. Turing Institute Press in assoc. with Addison Wesley Publishers, 1990

    Google Scholar 

  41. L. De Raedt: Interactive Theory Revision: An Inductive Logic Programming Approach. London: Academic Press 1993

    Google Scholar 

  42. J. L. Armstrong, S. R. Virding, M. C. Williams: Use of Prolog for Developing a New Programming Language. In: C. Moss, K. Bowen (Eds.): Proceedings of the First Int. Conf. on The Practical Application of PROLOG, London: Association for Logic Programming 1992

    Google Scholar 

  43. A. Roth, L. Sterling, C. Spenser (Eds.): Proceedings of the Second Int. Conf. on The Practical Application of PROLOG, London: Royal Society of Arts 1994

    Google Scholar 

  44. E. Denti, A. Natali, A. Omicini, F. Zanichelli: A Structured Logic Programming Approach to Robot Programming. In: A. Roth, L. Sterling, C. Spenser (Eds.): Proceedings of the Second Int. Conf. on The Practical Application of PROLOG, London: Royal Society of Arts 1994, pp. 187–206

    Google Scholar 

  45. C. Geiger, G. Lehrenfeld: The Application of Concurrent Fuzzy Prolog in the Field of Modelling Flexible Manufacturing Systems. In: A. Roth, L. Sterling, C. Spenser (Eds.): Proceedings of the Second Int. Conf. on The Practical Application of PROLOG, London: Royal Society of Arts 1994, pp. 233–252

    Google Scholar 

  46. R. M. Drogemuller, J. D. Smith: Computer Facilitated Building Design. In: A. Roth, L. Sterling, C. Spenser (Eds.): Proceedings of the Second Int. Conf. on The Practical Application of PROLOG, London: Royal Society of Arts 1994, pp. 593–612

    Google Scholar 

  47. P. Vasey, D. Westwood: Flex Expert System Toolkit. London: Logic Programming Associates Ltd. 1990

    Google Scholar 

  48. R. Michalski, J. Carbonell, T. M. Mitchell (Eds.): Machine Learning: An Artificial Intelligence Approach. Volume I. San Mateo, California: Morgan-Kaufmann 1983

    Google Scholar 

  49. R. Michalski, J. Carbonell, T. M. Mitchell (Eds.): Machine Learning: An Artificial Intelligence Approach. Volume II. San Mateo, California: Morgan-Kaufmann 1986

    Google Scholar 

  50. Y. Kodratoff: Introduction in Machine Learning. London: Pitman 1988

    Google Scholar 

  51. Y. Kodratoff, R. Michalski (Eds.): Machine Learning: An Artificial Intelligence Approach, Volume III. San Mateo, California: Morgan-Kaufmann 1990

    Google Scholar 

  52. S. Muggleton (Ed.): Inductive Logic Programming. London: Academic Press 1992

    Google Scholar 

  53. J. Quinlan: C4.5: Programs for Machine Learning. San Mateo, California: Morgan-Kaufmann 1993

    Google Scholar 

  54. L. De Raedt: Interactive Theory Revision: An Inductive Logic Programming Approach. London: Academic Press 1992

    Google Scholar 

  55. MLT: A sythesis report. in Proceedings of MLnet Workshop on Industrial Applications of Machine Learning — ILWS'94. Douran, France: 1994, pp. 113–125

    Google Scholar 

  56. G. Nakhaeizadeh: Some Applications of Machine Learning in Daimler-Benz Concern. In: Proceedings of MLnet Workshop on Industrial Applications of Machine Learning — ILWS'94. Douran, France: 1994, pp. 215–223

    Google Scholar 

  57. B. Dolšak, A. Jezernik, I. Bratko: A knowledge base for finite element mesh design. In: Proc. Sixth ISSEK Workshop. Ljubljana, Slovenia: Jožef Stefan Institute 1992

    Google Scholar 

  58. D. E. Goldberg: Genetic Algorithms in Search, Optimization and Machine Learning. Reading, Mass.: Addison Wesley 1989

    Google Scholar 

  59. S. Slade: Case-Based Reasoning: A Research Paradigm. AI Magazine 12(1) (1991), pp. 42–55

    Google Scholar 

  60. J. Lažanský, Z. Kouba, V. Mařík, T. Vlček, O. Štěpánková: Optimization and Decision Making in CIM. In: Proc. of “Design to Manufacture in Modern Industry” Conference. Bled, Slovenia: University of Maribor 1993

    Google Scholar 

  61. C. Muller, E. H. Magill, D. G. Smith: Distributed Genetic Algorithms for Resource Allocation. In: Proc. Workshop “Schedulling of Production Processes”, 10th European Conference on AI. Vienna: 1992, pp. 37–45

    Google Scholar 

  62. D. H. Fisher Jr., M. J. Pazzani, P. Langley (Eds.): Concept Formation: Knowledge and Experience in Unsupervised Learning. San Mateo, California: Morgan-Kaufmann 1991

    Google Scholar 

  63. G. Spur, H.-J. Germer, C. Lehmann: Impact of Geometric Modelling for CIM. In: Advanced Geometric Modelling for Engineering Applications. Amsterdam: North Holland 1990, pp. 3–24.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electrical Eng., Czech Technical University, Technická 2, 166 27, Prague 6, Czech Republic

    Vladimír Mařík, Jiří Lažanský & Olga Štěpánková

Authors
  1. Vladimír Mařík
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jiří Lažanský
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Olga Štěpánková
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Heimo H. Adelsberger Jiří Lažanský Vladimír Mařík

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Mařík, V., Lažanský, J., Štěpánková, O. (1995). Does CIM need AI?. In: Adelsberger, H.H., Lažanský, J., Mařík, V. (eds) Information Management in Computer Integrated Manufacturing. Lecture Notes in Computer Science, vol 973. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60286-0_118

Download citation

  • DOI: https://doi.org/10.1007/3-540-60286-0_118

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60286-6

  • Online ISBN: 978-3-540-44785-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation