
Planning, Scheduling and Constraint Satisfaction: From Theory to Practice
Die Umsetzung von Anwendungen der künstlichen Intelligenz im Bereich der Planung und Terminierung in der realen Welt ist eine schwierige Aufgabe, die täglich mehr Aufmerksamkeit von Forschern und Praktikern aus vielen Bereichen erhält.
In vielen Fällen erfordert sie die Integration mehrerer zugrundeliegender Techniken wie Planung, Terminierung, Erfüllung von Bedingungen, gemischt-initiative Planung und Terminierung, zeitliche Schlussfolgerungen, Wissensdarstellung, formale Modelle und Sprachen sowie technologische Fragen. Die meisten Beiträge in diesem Buch sind klare Beispiele dafür, wie mehrere dieser Techniken integriert werden können.
Darüber hinaus behandelt das Buch viele interessante Ansätze in Anwendungsbereichen, die von der industriellen Auftragsfertigung bis zum elektronischen Tourismus, Umweltproblemen, virtuellem Unterricht oder Weltraummissionen reichen. Dieses Buch bietet auch leistungsstarke Techniken, die es ermöglichen, vollständig einsatzfähige Anwendungen zur Lösung realer Probleme zu erstellen, sowie einen aktualisierten Überblick über viele der interessantesten Anwendungsbereiche dieser Technologien, der zeigt, wie leistungsfähig diese Technologien sind, um die Probleme der Ausdehnung und Effizienz in der realen Welt zu überwinden.