Abductive Reasoning Driven Approach to Project - Like Production Flow Prototyping

Grzegorz Bocewicz 1  and Zbigniew Banaszak 2
  • 1 Department of Computer Science and Management, Technical University of Koszalin, 75-453 Koszalin, Poland
  • 2 Faculty of Management, Warsaw University of Technology, 02-524 Warszawa, Poland

Abductive Reasoning Driven Approach to Project - Like Production Flow Prototyping

Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of integrated production planning. In that context, CP can be considered as an appropriate framework for development of decision making software supporting scheduling of multi-robot in a multi-product job shop. The paper deals with multi-resource problem in which more than one shared renewable and non-renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CLP-driven approach to multi-robot task allocation providing a prompt service to a set of routine queries stated both in straight and reverse way. Provided examples illustrate both cases while taking into account an accurate as well as an uncertain specification of robots and workers operation time.

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • Parcher N., Chasemzadech F. - An integrated framework for project portfolio selection [in] Int. Journal of Project Management, Vol. 17, No. 4, pp. 207-216, 1999.

  • Bach I., Bocewicz G., Banaszak Z. - Constraint programming approach to time-window and multiresource-constrained projects portfolio prototyping [in] Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 (ed. Nguyen N. T.). Lecture Notes in Artificial Intelligence 5027, pp. 767-776, Springer-Verlag, Berlin, Heidelberg 2008.

  • Bach I., Wójcik R., Bocewicz G. - Projects portfolio prototyping subject to imprecise activities speci-fication [in] Proceedings of 14th International Congress of Cybernetics and Systems of WOSC - ICCS'08, pp. 261-272, Wroclaw 2008.

  • Banaszak Z. - CP-based decision support for project-driven manufacturing [in] Perspectives in Modern Project Scheduling, (ed. Józefowska J., Węglarz J.). International Series in Operations Research and Management Science, Vol. 92, pp. 409-437, Springer Verlag, New York 2006.

  • Banaszak Z., Zaremba M., Muszyński W. - CP-based decision making for SME [in] Preprints of the 16th IFAC World Congress (ed. Horacek P., Simandl M., Zitek P.). DVD, Prague 2005.

  • Barták R. - Incomplete Depth-First Search Techniques: A Short Survey [in] Proceedings of the 6th Workshop on Constraint Programming for Decision and Control (ed. Figwer J.), pp. 7-14, 2004.

  • Beale E. M. L. - Branch and bound methods for mathematical programming systems [in] Discrete Optimization II (ed. Hammer P. L., Johnson E. L., Korte B. H.), pp. 201-219. North Holland Publishing Co., 1979.

  • Bocewicz G., Banaszak Z., Wójcik R. - Design of admissible schedules for AGV systems with constraints: a logic-algebraic approach [in] Agent and Multi-Agent Systems: Technologies and Applications (ed. Nguyen N. T., Grzech A., Howlett R. J., Jain L. C.), pp. 578-587. Lecture Notes in Artificial Intelligence 4496, Springer-Verlag, Berlin, Heidelberg 2007.

  • Bocewicz G., Wójcik R., Bzdyra K. - Fuzzy Logic And Logic-Algebraic Method For Constraint Programming - Driven Project Prototyping [in] Zarządzanie wiedzą i technologiami informatycznymi (ed. Orłowski C., Kowalczuk Z., Szczerbicki E.), pp. 317-326. PWNT, Gdańsk 2008.

  • Bubnicki Z. - Logic-algebraic method for a class of knowledge based system [in] Computer Aided Systems Theory. Lecture Notes in Computer Science (ed. Picher F., Moreno Diaz R.). Springer-Verlag, Berlin 1997.

  • Bubnicki Z. - Learning processes and logicalgebraic method for the systems with knowledge representation [in] Systems Analysis and Management. PAS, Warsaw 1999.

  • Chanas S., Komburowski J. - The use of fuzzy variables in PERT [in] Fuzzy Sets and Systems, No. 5(1), pp. 11-19, 1981.

  • Dubois D., Fargier H., Fortemps P. - Fuzzy scheduling: Modeling flexible constraints vs. coping with incomplete knowledge [in] European Journal of Operational Research, No. 147, pp. 231 - 252, 2003.

  • Linderoth T., Savelsbergh. M. W. P. - A computational study of search strategies in mixed integer programming [in] INFORMS Journal on Computing, No. 11, pp.173-187, 1999.

  • Martinez, E. C., Duje D., Perez G. A. - On performance modeling of project-oriented production [in] Computers and Industrial Engineering, Vol. 32, pp. 509-527, 1997.

  • Piegat A. - Fuzzy modeling and control. Exit, Warsaw 1999.

  • Schutle H., Smolka G., Wurtz J. - Finite Domain Constraint Programming in Oz. German Research Center for Artificial Inteligence, Saarbrucken 1998.

  • Van Hentenryck P. - Constraint Logic Programming [in] Knowledge Engineering Review, No. 6, pp. 151-194, 1991.

  • Zimmermann H. J. - Fuzzy sets theory and its applications. Kluwer Academic Publishers, London 1994.


Journal + Issues