GOLOG
term_id: golog
Category: engineering_practice
Definition
GOLOG — это язык программирования на основе логики, используемый преимущественно в искусственном интеллекте для планирования и действий в динамических средах. Построенный на основе исчисления ситуаций Рейтера, он позволяет разработчикам специфицировать сложные последовательности действий и рассуждать об их последствиях в изменяющемся мире, обеспечивая формальную верификацию планов.
Summary
Высокоуровневый язык программирования на основе исчисления ситуаций для спецификации действий и рассуждений о динамических доменах.
Key Concepts
- Исчисление ситуаций
- Высокоуровневое программирование
- Автоматическое планирование
- Спецификация действий
Use Cases
- Планирование и выполнение задач робототехники
- Симуляция сложных динамических систем
- Проверка корректности автоматизированных рабочих процессов