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 ...
Read More
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.
Read Less
Add this copy of Effective Logic Computation (Wiley Interscience) to cart. $20.12, very good condition, Sold by Fireside Bookshop rated 4.0 out of 5 stars, ships from Stroud, GLOUCESTERSHIRE, UNITED KINGDOM, published 1998 by John Wiley & Sons.
Add this copy of Effective Logic Computation to cart. $32.92, like new condition, Sold by Bingo Used Books rated 4.0 out of 5 stars, ships from Vancouver, WA, UNITED STATES, published 1998 by Hoboken, New Jersey, U.S.A. : Wiley-Interscience.
Add this copy of Effective Logic Computation to cart. $44.65, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1998 by Wiley-Interscience.
Add this copy of Effective Logic Computation (Wiley Interscience) to cart. $51.98, new condition, Sold by Broadband ERA rated 5.0 out of 5 stars, ships from BEAVERTON, OR, UNITED STATES, published 1998 by Wiley-Interscience.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
BRAND NEW. Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community.
