Ulrich Hedtstück - Böcker

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e.natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.

Dieses Buch führt in die Simulation diskreter Prozesse ein. Typische Anwendungsbeispiele sind Fertigungsprozesse, Strassenverkehrssituationen, Menschenströme und Geschäftsprozesse. Der Autor vermittelt die grundlegende ereignisorientierte Simulation sowie deren programmiertechnische Realisierung. Anhand vieler Beispiele wird die Lösung spezieller Detailprobleme mit grundlegendem Charakter gezeigt. Die durch die Optimierung von Geschäftsprozessen entstandenen neuen Herausforderungen bezüglich der Simulation bilden einen Schwerpunkt der Darstellung, ein separater Teil ist den theoretischen Grundlagen gewidmet. Lernziel des Buches ist die Fähigkeit, diskrete Prozesse mit den passenden Mitteln zu modellieren und dazu eine Simulationssoftware zu entwerfen bzw. die Mechanismen bestehender Simulationssoftware so zu begreifen, dass sie gewinnbringend eingesetzt werden kann. Die wichtigen Programmstrukturen sind in Form von Pseudocode dargestellt und dadurch völlig unabhängig von einer Programmiersprache oder Spezialsoftware. Damit ist das Buch für eine breite Leserschaft geeignet.