Automated Model Building, Fachbücher von Nicolas Peltier, Alexander Leitsch, Ricardo Caferra

Das Buch "Automated Model Building" bietet eine umfassende Untersuchung der automatisierten Modellbildung im Kontext der automatisierten Deduktion. Es entstand aus der Zusammenarbeit von Experten, die sich in den 1990er Jahren auf der Konferenz über automatisierte Deduktion trafen. Die Autoren betonen die Bedeutung der Semantik und der Modellkonstruktion in diesem Forschungsfeld. Das Werk konzentriert sich auf symbolische Methoden zur Konstruktion von Herbrand-Modellen, die in den letzten zwölf Jahren entwickelt wurden. Es wird darauf hingewiesen, dass das Buch nicht alle relevanten Methoden abdeckt, sondern einen spezifischen Fokus auf deduktive Ansätze legt. Ein abschliessendes Kapitel bietet einen breiteren Überblick über andere Methoden der automatisierten Modellbildung, einschliesslich der endlichen Modellbildung, und vergleicht verschiedene Ansätze. Die Einführung des Buches gibt einen historischen Kontext zur automatisierten Deduktion und deren Entwicklung.