Foundations of Constraint Satisfaction: Computation in Cognitive Science - Softcover

Tsang, Edward

Softcover

ISBN 10: 1483207064 ISBN 13: 9781483207063

Publisher: Academic Press, 2014

Synopsis

Foundations of Constraint Satisfaction discusses the foundations of constraint satisfaction and presents algorithms for solving constraint satisfaction problems (CSPs). Most of the algorithms described in this book are explained in pseudo code, and sometimes illustrated with Prolog codes (to illustrate how the algorithms could be implemented). Comprised of 10 chapters, this volume begins by defining the standard CSP and the important concepts around it and presenting examples and applications of CSPs. The reader is then introduced to the main features of CSPs and CSP solving techniques (problem reduction, searching, and solution synthesis); some of the most important concepts related to CSP solving; and problem reduction algorithms. Subsequent chapters deal with basic control strategies of searching which are relevant to CSP solving; the significance of ordering the variables, values and compatibility checking in searching; specialized search techniques which gain their efficiency by exploiting problem-specific features; and stochastic search approaches (including hill climbing and connectionist approaches) for CSP solving. The book also considers how solutions can be synthesized rather than searched for before concluding with an analysis of optimization in CSPs. This monograph can be used as a reference by artificial intelligence (AI) researchers or as a textbook by students on advanced AI courses, and should also help knowledge engineers apply existing techniques to solve CSPs or problems which embed CSPs.

About this title

About the Author

The author Edward Tsang holds a first degree in Finance and a MSc and PhD degree in Computer Science. He is the Director of Centre for Computational Finance and Economic Agents (CCFEA), an interdisciplinary research centre which he co-founded in October 2002. He has international reputation in artificial intelligence. He is well known for his research in constraint satisfaction (a branch of combinatorial optimisation for decision support and scheduling) and computational finance and economics. His book on constraint satisfaction is the most cited literature on the subject. He founded the Technical Committee in Computation Finance and Economics in IEEE's Computational Intelligence Society in 2004. Edward Tsang's research is highly industry-relevant. He has given consultation to GEC Marconi, British Telecom, Honda Europe, Causeway, Old Mutual Asset Managers, Allianz RAS and other organizations.

Edition details

• Publisher: Academic Press
• Publication date: 2014
• Language: English
• ISBN 10: 1483207064
• ISBN 13: 9781483207063
• Binding: Paperback
• Number of pages: 440