Optimization Methods for Logical Inference

von John Hooker, Vijay Chandru

384 Seiten, Hardcover

Kurzbeschreibung des Verlags

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)