Skip to main content
SpringerLink
Log in

ALMM Solver for Combinatorial and Discrete Optimization Problems – Idea of Problem Model Library

  • Conference paper
Intelligent Information and Database Systems (ACIIDS 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9621))

Included in the following conference series:

  • 2287 Accesses

Abstract

The paper presents results of further research on a software tool named ALMM Solver. The objective of the ALMM Solver is to solve combinatorial and discrete optimization problems including NP-hard problems.

The solver utilizes a modeling paradigm named Algebraic Logical Meta Model of Multistage Decision Processes (ALMM of MDP) and its theory.

The ALMM of MDP enables a unified approach to creating discrete optimization problem models and representing knowledge about these problems. The models are stored in a Problem Model Library.

A new, extended modular structure of the ALMM Solver is presented together with a basic layout of the Problem Model Library.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Błażewicz, J., Ecker, K., Pesch, E., Schmidt, G., Węglarz, J.: Handbook on Scheduling. Springer, Berlin (2007). ISBN 978-3-540-28046-0

    MATH  Google Scholar 

  2. Dudek-Dyduch, E.: Information Systems for Production Management (in Polish) Wyd. Poldex, Kraków (2002). ISBN 83-88979-12-4

    Google Scholar 

  3. Dudek-Dyduch, E.: Learning based algorithm in scheduling. J. Intell. Manufact. (JIM) 11(2), 135–143 (2000). (accepted to be published 1998)

    Article  Google Scholar 

  4. Dudek-Dyduch, E.: Discrete determinable processes - compact knowledge-based model. Notas de Matematica No 137, Universidad de Los Andes, Merida, Venezuela (1993)

    Google Scholar 

  5. Dudek-Dyduch, E.: Problems of knowledge representation in expert system aided control of DPP (in Polish) Inżynieria Wiedzy i Systemy Ekspertowe, Prace II Krajowej Konferencji, tom I, pp. 147–154. Politechnika Wrocławska, Wrocław (1993)

    Google Scholar 

  6. Dudek-Dyduch, E.: Control of discrete event processes - branch and bound method. In: Proceedings of IFAC/Ifors/Imacs Symposium Large Scale Systems: Theory and Applications, Chinese Association of Automation, vol. 2, pp. 573–578 (1992)

    Google Scholar 

  7. Dudek-Dyduch, E.: Formalization and analysis of problems of discrete manufacturing processes. Scientific Bulletin of AGH University, Automatics, vol. 54 (1990) (in Polish). ISSN 0454-4773

    Google Scholar 

  8. Dudek-Dyduch, E.: Algebraic logical meta-model of decision processes - new metaheuristics. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS, vol. 9119, pp. 541–554. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  9. Dudek-Dyduch, E.: Modeling manufacturing processes with disturbances - a new method based on algebraic-logical meta-models. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS, vol. 9120, pp. 353–363. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  10. Dudek-Dyduch, E.: Modeling manufacturing processes with disturbances – two-stage AL model transformation method. In: 20th International Conference on Methods and Models in Automation and Robotics, MMAR proceedings, pp. 782–787 (2015)

    Google Scholar 

  11. Dudek-Dyduch, E., Dutkiewicz, L.: Substitution tasks method for discrete optimization. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2013, Part II. LNCS, vol. 7895, pp. 419–430. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  12. Dudek-Dyduch, E., Dyduch, T.: Formal approach to optimization of discrete manufacturing processes. In: Hamza, M.H. (ed.) Proceedings of the Twelfth IASTED International Conference Modelling, Identification and Control. Acta Press, Zurich (1993)

    Google Scholar 

  13. Dudek-Dyduch, E., Kucharska, E.: Learning method for co-operation. In: Jędrzejowicz, P., Nguyen, N.T., Hoang, K. (eds.) ICCCI 2011, Part II. LNCS, vol. 6923, pp. 290–300. Springer, Heidelberg (2011)

    Google Scholar 

  14. Dudek-Dyduch, E., Kucharska, E.: Optimization learning method for discrete process control. In: ICINCO 2011, vol. 1, pp. 24–33 (2011)

    Google Scholar 

  15. Dudek-Dyduch, E., Kucharska, E., Dutkiewicz, L., Rączka, K.: ALMM Solver - A Tool for Optimization Problems. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2014, Part II. LNCS, vol. 8468, pp. 328–338. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  16. Dutkiewicz, L., Dudek-Dyduch, E.: Substitution tasks method for co-operation. In: Badica, A., Trawinski, B., Nguyen, N.T. (eds.) Recent Developments in Computational Collective Intelligence. SCI, vol. 513, pp. 103–113. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  17. Jędrzejowicz, P., Ratajczak-Ropel, E.: Reinforcement learning strategy for solving the MRCPSP by a team of agents. In: Neves-Silva, R., Jain, L.C., Howlett, R.J. (eds.) IDT 2015. SIST, vol. 39, pp. 537–548. Springer, Heidelberg (2015)

    Google Scholar 

  18. Kucharska, E., Dudek-Dyduch, E.: Extended learning method for designation of co-operation. In: Nguyen, N.T. (ed.) TCCI XIV 2014. LNCS, vol. 8615, pp. 136–157. Springer, Heidelberg (2014)

    Google Scholar 

  19. Ligęza, A.: Improving efficiency in constraint logic programming through constraint modeling with rules and hypergraphs. In: Federated Conference on Computer Science and Information Systems, pp. 101–107. IEEE Computer Society Press (2012)

    Google Scholar 

  20. Metsker, S.J.: Design Patterns in C#. Addison Wesley, Boston (2004). ISBN 0-321-12697-1

    Google Scholar 

  21. Pinedo, M.L.: Scheduling: Theory, Algorithms and Systems. Springer, Berlin (2012)

    Book  MATH  Google Scholar 

  22. Rączka, K., Dudek-Dyduch, E., Kucharska, E., Dutkiewicz, L.: ALMM solver: the idea and the architecture. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015, Part II. LNCS, vol. 9120, pp. 504–514. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  23. Rossi, F., Van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  24. Smith, R.E., Taylor, N.: A framework for evolutionary computation in agent-based systems. In: Looney, C., Castaing, J. (eds.) Proceedings of the 1998 International Conference on Intelligent Systems, pp. 221–224. ISCA Press (1998)

    Google Scholar 

  25. OMG: Unified Modeling Language Version 2.5. http://www.omg.org/spec/UML/Current

Download references

Author information

Authors and Affiliations

  1. Department of Automatics and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland

    Ewa Dudek-Dyduch

  2. Advanced Technology Systems International, Zabierzów, Poland

    Sławomir Korzonek

Authors
  1. Ewa Dudek-Dyduch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sławomir Korzonek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sławomir Korzonek .

Editor information

Editors and Affiliations

  1. Wrocław University of Technology, Wrocław, Poland

    Ngoc Thanh Nguyen

  2. Wrocław University of Technology, Wrocław, Poland

    Bogdan Trawiński

  3. Iwate Prefectural University, Takizawa, Japan

    Hamido Fujita

  4. National University of Kaohsiung, Kaohsiung, Taiwan

    Tzung-Pei Hong

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dudek-Dyduch, E., Korzonek, S. (2016). ALMM Solver for Combinatorial and Discrete Optimization Problems – Idea of Problem Model Library. In: Nguyen, N.T., Trawiński, B., Fujita, H., Hong, TP. (eds) Intelligent Information and Database Systems. ACIIDS 2016. Lecture Notes in Computer Science(), vol 9621. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-49381-6_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-49381-6_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-49380-9

  • Online ISBN: 978-3-662-49381-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation