经典人工智能技术—知识表示 推理与搜索分解