Levesque, Hector Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence)

'Knowledge Representation and Reasoning' von Hector Levesque ist ein umfassendes Werk, das sich mit den Grundlagen und Methoden der Wissensrepräsentation und des logischen Schließens in der Künstlichen Intelligenz beschäftigt. Das Buch bietet eine detaillierte Einführung in die formalen Systeme, die zur Darstellung von Wissen verwendet werden, sowie in die Mechanismen, mit denen Maschinen aus diesem Wissen logische Schlüsse ziehen können. Es behandelt Themen wie logische Logiken, semantische Netze, Frames und Ontologien. Zudem werden praktische Anwendungen und Algorithmen vorgestellt, die es ermöglichen, komplexe Probleme durch maschinelles Schließen zu lösen. Das Werk richtet sich sowohl an Studierende als auch an Fachleute im Bereich der KI und bietet eine fundierte Grundlage für das Verständnis der Prinzipien und Herausforderungen in der Wissensrepräsentation.