Contributions to a Computer-Based Theory of Strategies

This monograph gives a systematic overview of the theory of strategies, a new area of enquiry developed over the past two decades by the author and his team. The projects described have clearly defined research objectives and are based on plausible and realistic assumptions about the environment in which the programming systems will work, and about the constraints and requirements they have to satisfy. The resulting systems are fairly general purpose as well as robust with regard to the assumptions made. The applications of the different systems range over various aspects of air traffic control, automatic verification and validation of discrete-event simulation models, econometric model building, distributed planning systems for manufacturing, control of traffic lights, and others. The book is aimed at researchers, teachers and students in computer science, management science and certain areas of engineering. The reader should have a certain level of maturity in computer science and mathematics, and some familiarity with the basic concepts of artificial intelligence.