把问题求解中所需要的人类专家的知识和客观事物的知识构造为计算机可处理的逻辑结构是（）。