基于问题归约的功能化体系结构

摘要

本文提出基于问题归约的功能化体系结构方式,将问题求解活动分为二个层次来组织:归约和推理。归约层通过问题归约作功能化规划,推理层则构造功能单元去执行由规划指派的子任务。每个功能单元(称为处理元)集结与子任务有关的领域知识并采用恰当的控制策略,从而使知识的表示和应用紧密结合在一起。由于推理层提供了丰富的基本控制元素描述执行子任务的控制策略,各种弱法和适合于特定领域的问题求解方法均易实现。