Effective Logic Computation (Wiley interscience) - Hardcover

Truemper, Klaus

 
9780471238867: Effective Logic Computation (Wiley interscience)
Hardcover
ISBN 10: 0471238864 ISBN 13: 9780471238867
Verlag: John Wiley & Sons Inc, 1998

Inhaltsangabe

This text describes mathematical methods for computation in propositional logic, offering an alternative to the production rule- or neural net-based approaches commonly used in the design of expert systems. 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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

KLAUS TRUEMPER, PhD, is Professor of Computer Science at the University of Texas, Dallas. Dr. Truemper received his doctorate in operations research from Case Western Reserve University in 1973. In 1988 he received the prestigious Senior Distinguished U.S. Scientist Award from the Alexander von Humboldt Foundation (Germany). Dr. Truempers work includes the book Matroid Decomposition and the Leibniz System software.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
John Wiley & Sons Inc
Erscheinungsdatum
1998
Sprache
Englisch
ISBN 10 
0471238864
ISBN 13 
9780471238867
Einband
Gebundene Ausgabe
Anzahl der Seiten
476
Kontakt zum Hersteller
Wiley-Blackwell
https://www.wiley.com/en-in

Via Bruno Buozzi, 24/26,
Granarolo dell'Emilia BO,
40057
Italien