Definition
GOLOG是一种基于逻辑的编程语言，主要用于人工智能领域，用于在动态环境中进行规划和行动。它建立在Reiter的情境演算之上，允许开发人员指定动作序列并推理动态领域的变化。
Summary
一种基于情境演算的高级编程语言，用于指定动作并对动态领域进行推理。
Key Concepts
- 情境演算
- 高级编程
- 自动规划
- 动作规范
Use Cases
- 机器人任务规划与执行
- 模拟复杂的动态系统
- 验证自动化工作流的正确性
A comprehensive multilingual AI terminology dictionary
GOLOG是一种基于逻辑的编程语言，主要用于人工智能领域，用于在动态环境中进行规划和行动。它建立在Reiter的情境演算之上，允许开发人员指定动作序列并推理动态领域的变化。
一种基于情境演算的高级编程语言，用于指定动作并对动态领域进行推理。