本报告描述了一个用于在动态环境中推理和执行复杂任务的反应式系统。已经设计了一个强大的、理论上合理的方案来表示和推理动作和过程。该表示足够丰富，可以描述任意测试和行动序列的效果，推理机制提供了一种直接使用这些知识来实现预期目标或对关键情况做出反应的手段。已经构建了表示的声明性语义，允许用户独立于上下文指定有关行为的事实。还定义了一个操作语义，展示了系统如何使用这些事实来实现其目标。拥有声明性语义和操作性语义为系统提供了对复杂动作进行推理、向他人解释其推理、应对环境修改以及接受验证的能力。该系统还包括强大的元级推理能力，使用与对象级知识相同的形式来表示该知识。这种系统的实际实现已经构建并应用于太空操作自动化中的一些关键问题。