GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG est un langage de programmation logique utilisé principalement en intelligence artificielle pour la planification et l’action dans des environnements dynamiques. Fondé sur le calcul des situations de Reiter, il permet aux développeurs de spécifier des stratégies d’action complexes et de raisonner sur leurs effets.
Summary
Un langage de programmation de haut niveau basé sur le calcul des situations pour spécifier des actions et raisonner sur des domaines dynamiques.
Key Concepts
- Calcul des situations
- Programmation de haut niveau
- Planification automatisée
- Spécification d’actions
Use Cases
- Planification et exécution de tâches robotiques
- Simulation de systèmes dynamiques complexes
- Vérification de la correction des flux de travail automatisés