声明性控制体系结构

审核人：M.亚当·马哈茂德

Kohn讨论了智能实时控制系统体系结构的设计和实现。本文的第一部分描述了传统控制器和声明式控制器之间的区别，确定了设计和实现控制系统的智能形式化方法的必要性，并说明了设计声明式控制器所涉及的步骤。下面介绍声明性控制体系结构的元素。该体系结构由知识库、定理规划器、推理器和适配器组成。知识库使用具有二阶扩展的一阶逻辑子句来表示知识。知识库中每个子句的指称语义基于守恒、不变性或约束原则。定理规划器为每个更新间隔生成一条语句，描述该间隔期间所需的系统行为。推理器调查由定理规划器导出的定理是否符合知识库中存储的知识的逻辑。本文不讨论体系结构的最后一个组件（适配器）。接下来，作者描述了该体系结构的原型实现。他使用一个用于运行化学反应器的智能控制器来说明此实现的操作和功能特性。我喜欢这样一个事实，即在实施该系统时，作者强调了自我意识和推理过程的层次分解。科恩最后描述了该系统的现状、结论和对未来研究的展望。尽管他曾表示，他使用了另外两个原型来说明这一概念的可行性，但他从未讨论过这些研究。我想了解一下作者使用这些原型的经验。我也想知道这些原型是如何为第三个原型铺平道路的。用什么标准来确定概念的可行性__？__对这些原型进行简单的比较将为讨论第三个原型铺平道路，并将加强实施第三个样机的理由<____Pub插入符号>。