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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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
Dudek-Dyduch, E.: Information Systems for Production Management (in Polish) Wyd. Poldex, Kraków (2002). ISBN 83-88979-12-4
Dudek-Dyduch, E.: Learning based algorithm in scheduling. J. Intell. Manufact. (JIM) 11(2), 135–143 (2000). (accepted to be published 1998)
Dudek-Dyduch, E.: Discrete determinable processes - compact knowledge-based model. Notas de Matematica No 137, Universidad de Los Andes, Merida, Venezuela (1993)
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)
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)
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
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)
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)
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)
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)
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)
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)
Dudek-Dyduch, E., Kucharska, E.: Optimization learning method for discrete process control. In: ICINCO 2011, vol. 1, pp. 24–33 (2011)
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)
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)
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)
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)
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)
Metsker, S.J.: Design Patterns in C#. Addison Wesley, Boston (2004). ISBN 0-321-12697-1
Pinedo, M.L.: Scheduling: Theory, Algorithms and Systems. Springer, Berlin (2012)
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)
Rossi, F., Van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, Amsterdam (2006)
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)
OMG: Unified Modeling Language Version 2.5. http://www.omg.org/spec/UML/Current
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)