Proof Planning and Industrial Configuration

The problem of configuration is a complex industrial issue. It has been shown in the past that considerable amounts of labour were spent on problems connected with manufacturing based decisions. Planning and scheduling, design and configuration, logistics and resource management are representative examples. In the case where the complexity of products to be manufactured is getting more flexible, some sort of computer supported decision making is desired. There are a number of examples of Knowledge Based Systems, implemented using various approaches and various methodologies, that have managed to save a considerable amount of resources when supporting computer system configuration, on-board chips design or industrial "engineer-and-made-to-order'' type configuration.