GOLOG语言及其应用研究

摘要：

该文介绍了一种新型逻辑程序设计语言－－ＧＯＬＯＧ语言。在已知对象初始状态及相关的规划动作的效果公理的条件下，ＧＯＬＯＧ语言解释器自动维持一个对模型化的动态对象的显式解释，从而使得程序能够推断出对象的后继状态。ＧＯＬＯＧ语言适用于运动机器人的高级控制、机械设施的控制、智能的软件ａｇｅｎｔ的编程、离散事件系统的模型和仿真等等。

关键词： 程序设计语言 GOLOG 情态演算 情态 行动 框架

作者: 张勇 林作辁

作者单位: 大学计算机研究所

会议类型: 国内会议

会议名称: 1998年中国智能自动化学术会议

会议地点: 上海

会议语种:中文

页码: 1173～1179

在线出版日期: 1998-05-01（万方平台首次上网日期，不代表论文的发表时间）