Temporales logisches Programmieren

Zusammenfassung.

Zeit und ihre Behandlung spielen – explizit oder implizit – eine bedeutende Rolle in zahlreichen Gebieten der Künstlichen Intelligenz und der klassischen Informatik. In diesem Beitrag skizzieren wir die Arbeiten zum logischen Programmieren auf der Grundlage (metrischer) temporaler Logik, die im Rahmen des Sonderforschungsbereiches 314, im Projekt S 2, durchgeführt wurden. Das Projekt selbst zielt auf Erweiterungen der Mächtigkeit logischer Programmiersprachen und auf die Entwicklung von Werkzeugen zu ihrer effizienten Implementierung.

Abstract.

Time and the handling of time constitute a significant factor in both artificial intelligence and classical computer science applications. In this work we sketch our work on logic programming based on metric temporal logic within the Sonderforschungsbereich 314, project S 2. The project itself is aimed towards the research and development of extensions and new approaches to logic programming languages, and tools and methods for their efficient implementation.