GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG ist eine logikbasierte Programmiersprache, die hauptsächlich in der künstlichen Intelligenz für die Planung und Ausführung in dynamischen Umgebungen verwendet wird. Aufbauend auf Reiters Situationskalkül ermöglicht es Entwicklern, Aktionen und ihre Effekte formal zu spezifizieren.
Summary
Eine hochrangige Programmiersprache, die auf der Situationskalkül basiert und zur Spezifikation von Aktionen und zum Schlussfolgern über dynamische Domänen dient.
Key Concepts
- Situationskalkül
- Hochrangige Programmierung
- Automatisierte Planung
- Aktionspezifikation
Use Cases
- Planung und Ausführung von Roboteraufgaben
- Simulation komplexer dynamischer Systeme
- Verifizierung der Korrektheit automatisierter Workflows