Optimization and Computational Logic

Author: Kenneth McAloon, Carol Tretkoff
List Price: $105.00
Our Price: Click to see the latest and low price
ISBN: 0471115339
Publisher: John Wiley & Sons (31 August, 1996)
Sales Rank: 642,804
Average Customer Rating: 5 out of 5

Customer Reviews

Rating: 5 out of 5
A fundamental effort in synthesis of OR,AI, DSS
The book provides a sound yet practical introduction to the intersection of three fields operation research, Artificial Intelligence and Decision Support Sytems. The book is based on effective use of constraint logic programming paradigm. There is an associated software package for 2LP language with models and solutions. 2LP is combination of Linear programming and Logic programming. The power of simplex algorithm is used in theorem prover . The language constructs resemble C++; The book is primarily written to show the power of the language in solving various problems; scheduling, pattern recognition, puzzzle solving, assignment problem, task allocation, time table problem, etc. The book does not the discuss about the programming theory in design of the language. The authors discuss about various theoritical aspects of OR and AI. Each cahpter introduces one concept and its relevance explained with some concrete models. All models and solutions are part of the software package. Very good book.

Book Index