The paper presents the idea of reference model of project prototyping problem for the projects that are at risk of failure. The hierarchical structure of declarative model connects two fields: functionalities of a typical service enterprise and management system of project execution in the enterprise. The functionalities as separate Constraints Satisfaction Problems (CSP) are described. CSP contains the sets of decision variables, their domains and constraints, which link these variables. The separated problems described as CSP, then in single main CSP are integrated. On the other hand, these problems can decompose into the subproblems concerning the functionalities of different fields. The open structure of model enables to solve the decision problems with different level of specificity. The decision problem can regard a query about the results of proposed decisions as well as the decisions guaranteeing the expected results. A declarative kind of proposed reference model in a natural way allows to implement its in constraint programming languages. The possibility of this approach illustrates an example.
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.
A declarative framework enabling to determine conditions as well as to develop decision-making software supporting small- and medium-sized enterprises aimed at unique, multi-project-like and mass customized oriented production is discussed. A set of unique production orders grouped into portfolio orders is considered. Operations executed along different production orders share available resources following a mutual exclusion protocol. A unique product or production batch is completed while following a given activity’s network order. The problem concerns scheduling a newly inserted project portfolio subject to constraints imposed by a multi-project environment The answers sought are: Can a given project portfolio specified by its cost and completion time be completed within the assumed time period in a manufacturing system in hand? Which manufacturing system capability guarantees the completion of a given project portfolio ordered under assumed cost and time constraints? The considered problems regard finding a computationally effective approach aimed at simultaneous routing and allocation as well as batching and scheduling of a newly ordered project portfolio subject to constraints imposed by a multi-project environment. The main objective is to provide a declarative model enabling to state a constraint satisfaction problem aimed at multi-project-like and mass customized oriented production scheduling. Multiple illustrative examples are discussed.