Eliciting Expertise

Since the last edition of this book there have been rapid developments in the use and exploitation of formally elicited knowledge. Previously, (Shadbolt and Burton, 1995) the emphasis was on eliciting knowledge for the purpose of building expert or knowledge-based systems. These systems are computer programs intended to solve real-world problems, achieving the same level of accuracy as human experts. Knowledge engineering is the discipline that has evolved to support the whole process of specifying, developing and deploying knowledge-based systems (Schreiber et al., 2000) This chapter will discuss the problem of knowledge elicitation for knowledge intensive systems in general

Metaheuristics for the Vehicle Routing Problem with Loading Constraints

We consider a combination of the capacitated vehicle routing problem and a class of additional loading constraints involving a parallel machine scheduling problem. The work is motivated by a real-world transportation problem occurring to a wood-products retailer, which delivers its products to a number of customers in a specific region. We solve the problem by means of two different metaheuristics algorithms: a Tabu Search and an Ant Colony Optimization. Extensive computational results are given for both algorithms, on instances derived from the vehicle routing literature and on real-world instances

Optimal Scheduling Using Branch and Bound with SPIN 4.0

The use of model checkers to solve discrete optimisation problems is appealing. A model checker can first be used to verify that the model of the problem is correct. Subsequently, the same model can be used to find an optimal solution for the problem. This paper describes how to apply the new PROMELA primitives of SPIN 4.0 to search effectively for the optimal solution. We show how Branch-and-Bound techniques can be added to the LTL property that is used to find the solution. The LTL property is dynamically changed during the verification. We also show how the syntactical reordering of statements and/or processes in the PROMELA model can improve the search even further. The techniques are illustrated using two running examples: the Travelling Salesman Problem and a job-shop scheduling problem

A Multi-Objective Variable Neighborhood Search Algorithm for Precast Production Scheduling

In real life, precast production schedulers face the challenges of creating a reasonable schedule to satisfy multiple conflicting objectives. Practical constraints and objectives encountered in the precast production scheduling problem (PPSP) were addressed, with the goal to minimize makespan and total earliness and tardiness penalties. A multi-objective variable neighborhood search (MOVNS) algorithm was proposed and the performance was tested on 11 problem instances. Ten of these were generated using precast concrete production information taken from the literature. One real industrial problem from a precast concrete company was considered as a case study. Extensive experiments were conducted, and the spread and distance metrics were used to evaluate the quality of the non-dominated solutions set. Statistical analysis demonstrated that the result was statistically convincing. Computational results showed that the proposed MOVNS algorithm was significantly better when compared to the other nine algorithms. Therefore, the proposed MOVNS algorithm was a very competitive method for the considered PPSP