GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG är ett logikbaserat programmeringsspråk som främst används inom artificiell intelligens för planering och agerande i dynamiska miljöer. Byggt på Reiters situationkalculus, låter det utvecklare specificera komplexa beteenden och verifiera korrektheten hos autonoma system genom formell logik.
Summary
Ett högnivå programmeringsspråk baserat på situationkalculus för att specificera handlingar och resonera om dynamiska domäner.
Key Concepts
- Situationkalculus
- Högnivåprogrammering
- Automatisk planering
- Handlingsspecifikation
Use Cases
- Planering och utförande av robotuppgifter
- Simulering av komplexa dynamiska system
- Verifiering av korrektheten hos automatiserade arbetsflöden