Abductive Reasoning Driven Approach to Project - Like Production Flow Prototyping

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.

[1]  Didier Dubois,et al.  Fuzzy scheduling: Modelling flexible constraints vs. coping with incomplete knowledge , 2003, Eur. J. Oper. Res..

[2]  Petr Horácek.  Fuzzy Modeling and Control , 1995, Information Management in Computer Integrated Manufacturing.

[3]  Zbigniew Banaszak.  CP-Based Decision Support for Project Driven Manufacturing , 2006 .

[4]  Grzegorz Bocewicz,et al.  Constraint Programming Approach to Time-Window and Multiresource-Constrained Projects Portfolio Prototyping , 2008, IEA/AIE.

[5]  R. Barták.  INCOMPLETE DEPTH-FIRST SEARCH TECHNIQUES: A SHORT SURVEY , 2004 .

[6]  Martin W. P. Savelsbergh,et al.  A Computational Study of Search Strategies for Mixed Integer Programming , 1999, INFORMS J. Comput..

[7]  Grzegorz Bocewicz,et al.  Design of Admissible Schedules for AGV Systems with Constraints: A Logic-Algebraic Approach , 2007, KES-AMSTA.

[8]  E.M.L. Beale,et al.  Branch and Bound Methods for Mathematical Programming Systems , 1977 .

[9]  Fereidoun Ghasemzadeh,et al.  An integrated framework for project portfolio selection , 1999 .

[10]  Gert Smolka,et al.  Finite Domain Constraint Programming in Oz. A Tutorial , 1998 .

[11]  E. C. Martínez,et al.  On performance modeling of project-oriented production , 1997 .

[12]  Zdzislaw Bubnicki.  Logic-Algebraic Method for a Class of Knowledge Based Systems , 1997, EUROCAST.

[13]  Hans-Jürgen Zimmermann,et al.  Fuzzy Set Theory - and Its Applications , 1985 .

[15]  S. Chanas,et al.  THE USE OF FUZZY VARIABLES IN PERT , 1981 .

[16]  Pascal Van Hentenryck.  Constraint logic programming , 1991, The Knowledge Engineering Review.

[17]  Marek B. Zaremba,et al.  CP-BASED DECISION MAKING FOR SME , 2005 .