GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG is een op logica gebaseerde programmeertaal die voornamelijk in de kunstmatige intelligentie wordt gebruikt voor plannen en handelen in dynamische omgevingen. Gebouwd op de situatiecalculus van Reiter, stelt het ontwikkelaars in staat complexe taken te specificeren en te verifiëren binnen veranderende contexten.
Summary
Een programmeertaal op hoog niveau gebaseerd op de situatiecalculus voor het specificeren van acties en redeneren over dynamische domeinen.
Key Concepts
- Situatiecalculus
- Programmeren op Hoog Niveau
- Automatisch Plannen
- Actiespecificatie
Use Cases
- Takenplanning en -uitvoering in de robotica
- Simuleren van complexe dynamische systemen
- Verifiëren van de correctheid van geautomatiseerde workflows