Beispielbild für diese ISBN
Titel: Effective Logic Computation.
Verlag: Wiley, New York
Zustand: As New
xv 476p hardback with grey laminated boards, as new. Buchnummer des Verkäufers PAB 50349
Inhaltsangabe: 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.
Klappentext: 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.
Dieser Anbieter akzeptiert die folgenden Zahlungsarten:
AbeBooks Verkäufer seit: 10. Juli 2002
Major Credit Cards accepted, also Paypal We can also take payment in Euros with our German Postbank account. For more information call, mail or visit our premises in Cambridge.
Orders usually ship on the day received. Standard shipping to International destinations is by Airmail. Please let us know if you'd like a quote for tracked shipping. If your order is for multiple heavy volumes and our default shipping rate is based on one volume only, we may contact you regarding additional postage.
We are pleased to answer any questions you may have and are happy to send images on request.
Anbieterinformationen: We have been selling academic and scholarly books in Cambridge since 1996. Today we occupy an old warehouse on Coldhams Road, adjacent to the railway tracks leading to Ely, not too far from the airport. The site is called Restwell House. We are an internet bookshop, but visitors are very welcome. Some drop off a few boxes of unwanted books, some pick up a book to save on the postage, some just drop by to get to know us, or want to take advantage of the many bargains on our wooden shelves bookshop, which is distinct from the internet stock offered on the web. Our mission has always been to find new homes for the books we are looking after. If we cannot sell them online, we offer them at very low prices to our visitors. We try to give you a serious and dedicated service which is focussed on the individuality of each single book: its condition, its origin, sometimes even its smell. You come to us for real books, not just instances of ISBNs.