Dieses Buch bietet einen umfassenden Überblick über Künstliche Intelligenz (KI) und deckt sowohl deren theoretische Grundlagen als auch praktische Anwendungen ab. Das Buch befasst sich mit den Grundprinzipien der KI, einschließlich Wissensdarstellung, Argumentation, Suche und Lernalgorithmen. Es untersucht verschiedene KI-Programmiersprachen wie LISP und PROLOG und untersucht formalisierte symbolische Logiken, um Inkonsistenzen und Unsicherheiten bei der Wissensdarstellung zu bewältigen. Das Konzept des probabilistischen Denkens und seine Anwendung in Bayes'schen Netzwerken wird ebenso diskutiert wie die Darstellung strukturierten Wissens mithilfe von Graphen, Rahmen und verwandten Strukturen. Das Buch untersucht objektorientierte Darstellungen und die Nutzung von Vererbung und Instanziierung in der Wissensdarstellung. Such- und Kontrollstrategien zur allgemeinen Problemlösung, Produktionssysteme und heuristische Suchtechniken werden ausführlich erläutert. Die Anwendung von KI beim Spielen, bei Problemen mit der Zufriedenheit mit Einschränkungen und bei Expertensystemen wird ebenso untersucht wie Matching-Techniken sowie Wissensorganisation und -management.