Optimization Methods for Logical Inference

Vijay Chandru (Author), John Hooker (Author)

9780471570356, Wiley

Hardback, published 14 April 1999

384 pages
24.3 x 16 x 2.5 cm, 0.662 kg

"...the first monograph devoted to a new interesting research area combining logic with optimization methods." (Mathematical Reviews, Issue 2001j)

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)

Propositional Logic: Special Cases.

Propositional Logic: The General Case.

Probabilistic and Related Logics.

Predicate Logic.

Nonclassical and Many-Valued Logics.

Appendix.

Bibliography.

Index.

Subject Areas: Mathematics [PB]