A Survey of Constraint-based Scheduling Systems Using an Artificial Intelligence Approach PDF Download

Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 28

View

Book Description

Author: Philippe Baptiste
Publisher: Springer Science & Business Media
ISBN: 1461514797
Category : Mathematics
Languages : en
Pages : 204

View

Book Description
Constraint Programming is a problem-solving paradigm that establishes a clear distinction between two pivotal aspects of a problem: (1) a precise definition of the constraints that define the problem to be solved and (2) the algorithms and heuristics enabling the selection of decisions to solve the problem. It is because of these capabilities that Constraint Programming is increasingly being employed as a problem-solving tool to solve scheduling problems. Hence the development of Constraint-Based Scheduling as a field of study. The aim of this book is to provide an overview of the most widely used Constraint-Based Scheduling techniques. Following the principles of Constraint Programming, the book consists of three distinct parts: The first chapter introduces the basic principles of Constraint Programming and provides a model of the constraints that are the most often encountered in scheduling problems. Chapters 2, 3, 4, and 5 are focused on the propagation of resource constraints, which usually are responsible for the "hardness" of the scheduling problem. Chapters 6, 7, and 8 are dedicated to the resolution of several scheduling problems. These examples illustrate the use and the practical efficiency of the constraint propagation methods of the previous chapters. They also show that besides constraint propagation, the exploration of the search space must be carefully designed, taking into account specific properties of the considered problem (e.g., dominance relations, symmetries, possible use of decomposition rules). Chapter 9 mentions various extensions of the model and presents promising research directions.

Author: Eugene C. Freuder
Publisher: MIT Press
ISBN: 9780262560757
Category : Computers
Languages : en
Pages : 420

View

Book Description
Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware. Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages. Contents Introduction, E. C. Freuder, A. K. Mackworth * The Logic of Constraint Satisfaction, A. K. Mackworth * Partial Constraint Satisfaction, E. C. Freuder, R. J. Wallace * Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, E. Hyvonen * Constraint Satisfaction Using Constraint Logic Programming, P. Van Hentenryck, H. Simonis, M. Dincbas * Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird * Arc Consistency: Parallelism and Domain Dependence, P. R. Cooper, M. J. Swain * Structure Identification in Relational Data, R. Dechter, J. Pearl * Learning to Improve Constraint-Based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey * Reasoning about Qualitative Temporal Information, P. van Beek * A Geometric Constraint Engine, G. A. Kramer * A Theory of Conflict Resolution in Planning, Q. Yang A Bradford Book.

Author: Roman Meir
Publisher: Springer Nature
ISBN: 3031015673
Category : Computers
Languages : en
Pages : 107

View

Book Description
Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the inception of the field. This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data. It presents a survey of temporal frameworks based on constraints, both qualitative and quantitative, as well as of major temporal consistency techniques. The book also introduces the reader to more recent extensions to the core model that allow AI systems to explicitly represent temporal preferences and temporal uncertainty. This book is intended for students and researchers interested in constraint-based temporal reasoning. It provides a self-contained guide to the different representations of time, as well as examples of recent applications of time in AI systems.

Author: M. S. Fox
Publisher:
ISBN:
Category :
Languages : en
Pages : 15

View

Book Description
This report summarizes the progress of research performed under AFOSR contract Number F49620-82-K-0017, titled Constraint-Based Scheduling in an Intelligent Logistics Support Syestem: An Artificial Intelligence Approach . During the contract renewal period from March, 1984 to March, 1985, the continued development of a theory of hierarchical, opportunistic constraint-directed reasoning for job shop scheduling has been the focus of our research. Specifically, we have conducted work in the areas or of opportunistic exploitation of constraints, and constaint-directed diagnosis. The former has led us to the use of multiple problem decompositions during schedule generation, while the latter has evolved toward development of a more broad based framework for reactive scheduling. An experimental software system call ISIS has continued it evolution and additional testing with simulated plant data has been performed. The design of a successor system called PHOENIX has been initiated. (Author).

Author: Luis Castillo
Publisher: IOS Press
ISBN: 9781586034849
Category : Computers
Languages : en
Pages : 216

View

Book Description
Bringing artificial intelligence planning and scheduling applications into the real world is a hard task that is receiving more attention every day by researchers and practitioners from many fields. In many cases, it requires the integration of several underlying techniques like planning, scheduling, constraint satisfaction, mixed-initiative planning and scheduling, temporal reasoning, knowledge representation, formal models and languages, and technological issues. Most papers included in this book are clear examples on how to integrate several of these techniques. Furthermore, the book also covers many interesting approaches in application areas ranging from industrial job shop to electronic tourism, environmental problems, virtual teaching or space missions. This book also provides powerful techniques that allow to build fully deployable applications to solve real problems and an updated review of many of the most interesting areas of application of these technologies, showing how powerful these technologies are to overcome the expresiveness and efficiency problems of real world problems.

Author: R. Kerr
Publisher: Springer
ISBN: 0387349286
Category : Technology & Engineering
Languages : en
Pages : 173

View

Book Description
This volume encompasses state-of-the-art developments in AI-based reactive scheduling for real-time operation management in manufacturing shop floors. It is a collection of papers from the Second International Workshop of the IFIP Working Group 5.7 which brought together researchers from management information systems and knowledge engineering to expand the focus on applying new knowledge-based techniques.

Author: M. Aarup
Publisher: Springer Science & Business
ISBN: 9781558602601
Category : Business & Economics
Languages : en
Pages : 792

View

Book Description
Scheduling complex processes, such as chemical manufacturing or space shuttle launches, is a focus of substantial effort throughout industry and government. In the past 20 years, the fields of operations research and operations management have tackled scheduling problems with considerable success. Recently, the artificial intelligence community has turned its attention to this class of problems, resulting in a fresh corpus of research and application that extends previous results. This book, comprising original contributions from experts in the field, highlights these new advances. These chapters present complete systems, stressing their unique characteristics, rather than presenting simple research results. Applications-oriented chapters are also included to inform researchers of state-of-the-art methodologies. Researchers and practitioners in industry and government will find this book valuable. It will also serve as an ideal text for a graduate course in knowledge-based scheduling.

Author: Michael L. Pinedo
Publisher: Springer Science & Business Media
ISBN: 1461423619
Category : Business & Economics
Languages : en
Pages : 673

View

Book Description
This new edition of the well established text Scheduling - Theory, Algorithms, and Systems provides an up-to-date coverage of important theoretical models in the scheduling literature as well as significant scheduling problems that occur in the real world. It again includes supplementary material in the form of slide-shows from industry and movies that show implementations of scheduling systems. The main structure of the book as per previous edition consists of three parts. The first part focuses on deterministic scheduling and the related combinatorial problems. The second part covers probabilistic scheduling models; in this part it is assumed that processing times and other problem data are random and not known in advance. The third part deals with scheduling in practice; it covers heuristics that are popular with practitioners and discusses system design and implementation issues. All three parts of this new edition have been revamped and streamlined. The references have been made completely up-to-date. Theoreticians and practitioners alike will find this book of interest. Graduate students in operations management, operations research, industrial engineering, and computer science will find the book an accessible and invaluable resource. Scheduling - Theory, Algorithms, and Systems will serve as an essential reference for professionals working on scheduling problems in manufacturing, services, and other environments. Reviews of third edition: This well-established text covers both the theory and practice of scheduling. The book begins with motivating examples and the penultimate chapter discusses some commercial scheduling systems and examples of their implementations." (Mathematical Reviews, 2009)

Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
ISBN: 9781725605589
Category :
Languages : en
Pages : 36

View

Book Description
The GERRY scheduling system developed by NASA Ames with assistance from the Lockheed Space Operations Company, and the Lockheed Artificial Intelligence Center, uses a method called constraint based iterative repair. Using this technique, one encodes both hard rules and preference criteria into data structures called constraints. GERRY repeatedly attempts to improve schedules by seeking repairs for violated constraints. The system provides a general scheduling framework which is being tested on two NASA applications. The larger of the two is the Space Shuttle Ground Processing problem which entails the scheduling of all inspection, repair, and maintenance tasks required to prepare the orbiter for flight. The other application involves power allocations for the NASA Ames wind tunnels. Here the system will be used to schedule wind tunnel tests with the goal of minimizing power costs. In this paper, we describe the GERRY system and its applications to the Space Shuttle problem. We also speculate as to how the system would be used for manufacturing, transportation, and military problems. Zweben, Monte Ames Research Center NASA-TM-107873, FIA-91-27, NAS 1.15:107873 ...