Book123

    Free register and download UseNet downloader, then you can FREE Download from UseNet.

    Download without Limit " Technical Effective Logic Computation (Wiley Interscience) " from UseNet for FREE!

More

Effective Logic Computation (Wiley Interscience)

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.

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... Effective Logic Computation is an indispensable working resource for computer scientists and applied mathematicians involved in the design of logic programming software, and for researchers in artificial intelligence.

The material of this book may be used as a blueprint for the design of logic programming software—for example, for expert system shells, for Prolog-type systems, or for systems similar to the Leibniz System. The book may also be used as the main text for a graduate course in computational logic.

MY LINKS

Buy Book at Lowest Price on Amazon

OTHER PUBLICATIONS

DEAD LINKS ! please PM me

Rating:
2.5 out of 5 by Book123