GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG er et logikkbasert programmeringsspråk brukt primært i kunstig intelligens for planlegging og handling i dynamiske miljøer. Bygget på Reiters situasjonskalculus, lar det utviklere spesifisere hva som skal gjøres i stedet for hvordan, ved å deklarere mål og handlinger.
Summary
Et høynivå programmeringsspråk basert på situasjonskalculus for å spesifisere handlinger og resonnere om dynamiske domener.
Key Concepts
- Situasjonskalculus
- Høynivåprogrammering
- Automatisk planlegging
- Handlingsspesifikasjon
Use Cases
- Planlegging og utførelse av oppgaver i robotikk
- Simulering av komplekse dynamiske systemer
- Verifisering av korrektheten til automatiserte arbeidsflyter