GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG on logiikkaan perustuva ohjelmointikieli, jota käytetään ensisijaisesti tekoälyssä suunnitteluun ja toimintaan dynaamisissa ympäristöissä. Se perustuu Reiterin tilakalkyliin ja mahdollistaa kehittäjien määritellä toimia ja ehtoja korkealla abstraktiotasolla, jolloin järjestelmä voi johtaa automaattisesti toteutettavat suunnitelmat.
Summary
Tilakalkyliin perustuva korkean tason ohjelmointikieli toimien määrittelyyn ja dynaamisten alueiden päättelyyn.
Key Concepts
- Tilakalkyli (Situation Calculus)
- Korkean tason ohjelmointi
- Automaattinen suunnittelu
- Toimien määrittely
Use Cases
- Robotiikan tehtävien suunnittelu ja suoritus
- Monimutkaisten dynaamisten järjestelmien simulointi
- Automaattisten työvuorojen oikeellisuuden varmentaminen