Effective Logic Computation (Wiley interscience) [Hardcover]

Klaus Truemper (Author)

Book Description

ISBN-10: 0471238864 | ISBN-13: 978-0471238867 | Publication Date: February 13, 1998 | Edition: 1

A powerful new approach to solving propositional logic problems in the design of expert systems Effective Logic Computation describes breakthrough mathematical methods for computation in propositional logic. Offering a highly robust and versatile alternative to the production rule- or neural net-based approaches commonly used in the design of expert systems, Dr. Truemper’s combinatorial decomposition-based approach has produced a compiler that uniquely yields solution algorithms for both logic satisfiability problems and logic minimization problems. Also unique to the compiler is computation of a performance guarantee for each solution algorithm. Effective Logic Computation provides detailed algorithms for all steps carried out by the compiler. Much of the mathematics described in this book has been implemented in the Leibniz System, a commercially available software system for logic programming and a leading tool for building expert systems. This book’s companion volume, Design of Intelligent Computer Systems, is in preparation and will offer detailed coverage of software implementation and use, including a complete version of the Leibniz System. Effective Logic Computation is an indispensable working resource for computer scientists and applied mathematicians involved in the design of logic programming software, researchers in artificial intelligence, and operations researchers.

Editorial Reviews

From the Publisher

This book covers the emerging area of logic computation--the use of advanced mathematical methods to solve complex problems in logic. This logic system may be used for the construction of expert systems, such as automated handwriting analysis, traffic control systems, and data mining. The topic of this book is essentially the starting point for solving these problems, i.e. ways in which a complex problem may be broken down into a number of smaller ones.

From the Back Cover

"A powerful new approach to solving propositional logic problems in the design of expert systems.

Effective Logic Computation describes breakthrough mathematical methods for computation in propositional logic. Offering a highly robust and versatile alternative to the production rule- or neural net-based approaches commonly used in the design of expert systems, Dr. Truemper's combinatorial decomposition-based approach has produced a compiler that uniquely yields solution algorithms for both logic satisfiability problems and logic minimization problems. Also unique to the compiler is computation of a performance guarantee for each solution algorithm.

Effective Logic Computation provides detailed algorithms for all steps carried out by the compiler. Much of the mathematics described in this book has been implemented in the Leibniz System, a commercially available software system for logic programming and a leading tool for building expert systems. This book's companion volume, Design of Intelligent Computer Systems, is in preparation and will offer detailed coverage of software implementation and use, including a complete version of the Leibniz System.

Effective Logic Computation is an indispensable working resource for computer scientists and applied mathematicians involved in the design of logic programming software, researchers in artificial intelligence, and operations researchers.

See all Editorial Reviews

Product Details

• Hardcover: 476 pages
• Publisher: Wiley-Interscience; 1 edition (February 13, 1998)
• Language: English
• ISBN-10: 0471238864
• ISBN-13: 978-0471238867
• Product Dimensions: 9.3 x 6.4 x 1.2 inches
• Shipping Weight: 1.8 pounds
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #4,218,156 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

2 of 2 people found the following review helpful:

5.0 out of 5 stars Required Reading for all students of logic computation, February 11, 1998

By A Customer

This review is from: Effective Logic Computation (Wiley interscience) (Hardcover)

A serious book for those interested in algorithms to solve the 'satisfiability' and 'minimum satisfiability' problems. While mostly dealing with the theory behind Truemper's practical algorithms, the book also provides discussions of applications to major combinatorial problem classes.