Optimization Methods for Logical Inference - Couverture rigide

Chandru, Vijay; Hooker, John

 
9780471570356: Optimization Methods for Logical Inference

Synopsis

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)

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

VIJAY CHANDRU is a professor in the Computer Science and Automation Department at the Indian Institute of Science in Bangalore, India.

JOHN N. HOOKER is a professor in the Graduate School of Industrial Administration at Carnegie Mellon University.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.