GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG er et logikbaseret programmeringssprog, der primært bruges i kunstig intelligens til planlægning og udførelse af handlinger i dynamiske miljøer. Bygget ovenpå Reiters situation-kalkulus, gør det det muligt for udviklere at specificere komplekse sekvenser af handlinger og ræsonnere om deres konsekvenser i tidsmæssigt ændrende tilstande.
Summary
Et højtprogrammeringssprog baseret på situation-kalkulus til specificering af handlinger og ræsonnement om dynamiske domæner.
Key Concepts
- Situation Calculus (Situation-kalkulus)
- Højt Programmeringssprog
- Automatisk Planlægning
- Handlingsspecifikation
Use Cases
- Planlægning og udførelse af robotopgaver
- Simulation af komplekse dynamiske systemer
- Verificering af korrektheden af automatiske arbejdsgange