Contributions to a Computer-Based Theory of Strategies

  • Nicholas V. Findler

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Nicholas V. Findler
    Pages 1-5
  3. Nicholas V. Findler
    Pages 13-41
  4. Nicholas V. Findler
    Pages 43-90
  5. Nicholas V. Findler
    Pages 91-109
  6. Nicholas V. Findler
    Pages 187-239
  7. Nicholas V. Findler
    Pages 241-253
  8. Nicholas V. Findler
    Pages 255-258
  9. Back Matter
    Pages 259-282

About this book


People use the word strategy in a variety of different contexts. The term has connotations ranging from statesmanship to economic planning, and has become pervasive in the social sciences. We also talk about "problem solving strategies" and "corporate strategy" in a large business enterprise. The concept of strategy applies whenever a sequence of goal-oriented actions is based on large-scale and long-range planning. 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 realistic assumptions about the environments in which the programming systems will work, and about the constraints and requirements they have to satisfy. Applications of the 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 some maturity in computer science and mathematics, and familiarity with the basic concepts of artificial intelligence.


Entscheidungsfindung Kausale Modellierung Maschinenlernen Mensch-Maschine-System Notation artificial intelligence computer-aided design (CAD) control intelligence mathematics model modeling problem solving simulation verification

Authors and affiliations

  • Nicholas V. Findler
    • 1
  1. 1.Computer Science DepartmentArizona State UniversityTempeUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-75738-9
  • Online ISBN 978-3-642-75736-5
  • Buy this book on publisher's site