9780471570356 - Optimization Methods for Logical Inference di Chandru, Vijay; Hooker, John (14 risultati)

HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: new.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New. In.

Condizione: As New. Unread book in perfect condition.

Condizione: New. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. This volume exploits the similarity of certain logical and optimization problems to solve inference problems more rapidly than with traditional AI techniques. Series: Wiley-Interscience Series in Discrete Mathematics and Optimization. Num Pages: 365 pages, Illustrations. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 160 x 25. Weight in Grams: 654. . 1999. 1st Edition. Hardcover. . . . .

Gebunden. Condizione: New. .the first monograph devoted to a new interesting research area combining logic with optimization methods. (Mathematical Reviews, Issue 2001j)VIJAY CHANDRU is a professor in the Computer Science and Automation Department at the Indian Institute of S.

Hardcover. Condizione: Brand New. 1st edition. 365 pages. 9.75x6.75x1.00 inches. In Stock.

Condizione: New. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. This volume exploits the similarity of certain logical and optimization problems to solve inference problems more rapidly than with traditional AI techniques. Series: Wiley-Interscience Series in Discrete Mathematics and Optimization. Num Pages: 365 pages, Illustrations. BIC Classification: PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 160 x 25. Weight in Grams: 654. . 1999. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.

Buch. Condizione: Neu. Neuware - Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach.Optimization methods for logical inference Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though 'solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs.'Presenting powerful, proven optimization techniques for logic inference problems, Chandru and Hooker show how optimization models can be used not only to solve problems in artificial intelligence and mathematical programming, but also have tremendous application in complex systems in general. They survey most of the recent research from the past decade in logic/optimization interfaces, incorporate some of their own results, and emphasize the types of logic most receptive to optimization methods-propositional logic, first order predicate logic, probabilistic and related logics, logics that combine evidence such as Dempster-Shafer theory, rule systems with confidence factors, and constraint logic programming systems.Requiring no background in logic and clearly explaining all topics from the ground up, Optimization Methods for Logical Inference is an invaluable guide for scientists and students in diverse fields, including operations research, computer science, artificial intelligence, decision support systems, and engineering.; Neben der Mathematik entwickelte sich die Logik in letzter Zeit zu einem grundlegenden Hilfsmittel der Optimierung. Dieser Band erläutert Spezialisten und fortgeschrittenen Studenten die Ähnlichkeiten zwischen logischen und Optimierungsproblemen und zeigt, wie sich Folgerungsprobleme einfacher lösen lassen als mit den traditionellen Methoden der künstlichen Intelligenz. (05/99).

Hardcover. Condizione: new. Hardcover. Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though "solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs." Presenting powerful, proven optimization techniques for logic inference problems, Chandru and Hooker show how optimization models can be used not only to solve problems in artificial intelligence and mathematical programming, but also have tremendous application in complex systems in general. They survey most of the recent research from the past decade in logic/optimization interfaces, incorporate some of their own results, and emphasize the types of logic most receptive to optimization methods-propositional logic, first order predicate logic, probabilistic and related logics, logics that combine evidence such as Dempster-Shafer theory, rule systems with confidence factors, and constraint logic programming systems. Requiring no background in logic and clearly explaining all topics from the ground up, Optimization Methods for Logical Inference is an invaluable guide for scientists and students in diverse fields, including operations research, computer science, artificial intelligence, decision support systems, and engineering. Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning to combine. This volume exploits the similarity of certain logical and optimization problems to solve inference problems more rapidly than with traditional AI techniques. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Hardcover. Condizione: Brand New. 1st edition. 365 pages. 9.75x6.75x1.00 inches. In Stock. This item is printed on demand.