GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG to język programowania oparty na logice, używany głównie w sztucznej inteligencji do planowania i działania w dynamicznych środowiskach. Zbudowany na kalculusie sytuacji Reitera, pozwala deweloperom na specyfikację akcji i reguł zmiany stanu w sposób deklaratywny, ułatwiając automatyczne planowanie zadań.
Summary
Język programowania wysokiego poziomu oparty na kalculusu sytuacji służący do określania akcji i wnioskowania o dynamicznych domenach.
Key Concepts
- Kalculus sytuacji
- Programowanie wysokiego poziomu
- Automatyczne planowanie
- Specyfikacja akcji
Use Cases
- Planowanie i wykonywanie zadań w robotyce
- Symulacja złożonych systemów dynamicznych
- Weryfikacja poprawności automatycznych przepływów pracy