Logic, Logic & Foundations of Mathematics, Mathematical Programming & Operations Research, Mathematics - Topology, Research & Development - Operations Research
Log in to track your reading progress.
Overview
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.Editorials
Booknews
Presents Truemper's (computer science, U. of Texas-Dallas) methods for computation in propositional logic, a new alternative to the production rule- or neural net-based approaches commonly used in the design of expert computer systems. His "combinatorial decomposition-based" approach has produced a compiler that yields solution algorithms for both logic satisfiability problems and logic minimalization problems, and also computes a performance guarantee for each solution algorithm. The book reviews the history of logic and explains the basic ideas of the new theory of logic computation, and then goes on to present several special classes of logic problems. Annotation c. by Book News, Inc., Portland, Or.Book Details
Published
February 16, 1998
Publisher
Wiley-Blackwell
Pages
476
Format
Hardcover
ISBN
9780471238867