Optimization Methods for Logical Inference

1. Auflage 1999
ISBN: 978-0-471-57035-6
Verlag: Wiley

Buch, Englisch, 384 Seiten, Format (B × H): 161 mm x 240 mm, Gewicht: 742 g

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)

Autoren/Hrsg.

Chandru, Vijay

Hooker, John

Fachgebiete

• Mathematik | Informatik Mathematik Mathematische Analysis
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

Propositional Logic: Special Cases.

Propositional Logic: The General Case.

Probabilistic and Related Logics.

Predicate Logic.

Nonclassical and Many-Valued Logics.

Appendix.

Bibliography.

Index.

Über Autor(innen)

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.