摘要
本文提出基于问题归约的功能化体系结构方式,将问题求解活动分为二个层次来组织:归约和推理。归约层通过问题归约作功能化规划,推理层则构造功能单元去执行由规划指派的子任务。每个功能单元(称为处理元)集结与子任务有关的领域知识并采用恰当的控制策略,从而使知识的表示和应用紧密结合在一起。由于推理层提供了丰富的基本控制元素描述执行子任务的控制策略,各种弱法和适合于特定领域的问题求解方法均易实现。
This paper proposes an approach for functional architecture based on problem reduction, which organizes problem-solving activities in two levels:reduction and reasoning. The reduction level makes functional plans for the activities by problem reduction while the reasoning level constructs functional units to perform the subtasks assigned by the plans. Every functional unit, called handler, gathers all domain knowledge for a subtask and adopts the appropriate control strategy, hence the representation of knowledge can be combined with the use of knowledge closely. Because the reasoning level provides abundant control primitives to describe the control strategies for performing subtasks, the weak methods and domain-specific problem-solving methods can be realized easily.
关键词
问题归约
功能化
体系结构
problem reduction
functional architecture
control representation
