Optimization and Computational Logic [Hardcover]

Kenneth McAloon (Author), Carol Tretkoff (Author)

Book Description

Publication Date: August 31, 1996 | ISBN-10: 0471115339 | ISBN-13: 978-0471115335 | Edition: 1

This book/software package uniquely integrates logic and operations research. Its broad coverage provides concepts, templates, and the tools for the task of attacking difficult problems which are repeatedly encountered in decision making. The first part deals with linear programming and the second with search techniques for combinatorially hard problems. The applications discussed include product mix problems, pattern recognition, classical and probabilistic logic, financial planning, and expert systems.

Editorial Reviews

From the Publisher

This book/software package uniquely integrates logic and operations research. Its broad coverage provides concepts, templates, and the tools for the task of attacking difficult problems which are repeatedly encountered in decision making. The first part deals with linear programming and the second with search techniques for combinatorially hard problems. The applications discussed include product mix problems, pattern recognition, classical and probabilistic logic, financial planning, and expert systems.

From the Back Cover

An innovative book/software package that integrates logic and operations research

This volume focuses on the role of optimization and computational logic in modern decision science. It stands apart from other books on this topic with a remarkable approach that uses a computer programming language with standard syntax to integrate logic, operations research, and artificial intelligence. The text brings together concepts, templates, and tools for attacking thorny problems commonly encountered in decision making, and emphasizes the interplay between applications, theory, and code.

Featuring a crystal-clear presentation and superior organization, this book fills a growing need for course materials on logic and optimization. It serves graduate and undergraduate students in artificial intelligence, operations research, mathematics, management science, and computer science. It is also an important resource for professionals working in decision support.

Optimization and Computational Logic
* Merges discrete and continuous problem solving methods
* Features programming examples that employ the small language 2LP (Linear Programming and Logic Programming)
* Includes the Windows version of the 2LP software and Internet addresses for other versions
* Discusses many applications, including resource allocation, personnel scheduling, pattern recognition, classical and probabilistic logic, financial applications, challenging puzzles, expert systems, machine scheduling, and more
* Presents search paradigms such as randomized local search, genetic algorithms, constrain-and-generate, marking-and-trailing, branch-and-bound, branch-and-cut, iterative deepening, and others
* Provides the mathematical background for linear programming and optimization problems

See all Editorial Reviews

Product Details

• Hardcover: 560 pages
• Publisher: Wiley-Interscience; 1 edition (August 31, 1996)
• Language: English
• ISBN-10: 0471115339
• ISBN-13: 978-0471115335
• Product Dimensions: 9.5 x 6.5 x 1.4 inches
• Shipping Weight: 2.1 pounds
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #6,638,035 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

4 of 4 people found the following review helpful:

5.0 out of 5 stars A fundamental effort in synthesis of OR,AI, DSS, May 3, 2000

By 

S.Venkatesan - See all my reviews

This review is from: Optimization and Computational Logic (Hardcover)

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.