• 相关课程
• 理论基础
• 描述
• 成果及算法

• 图搜索
  优化搜索
• 启发式搜索
  智能计算
• 问题空间中进行符号推演
  以计算方式随机进行求解
• 博弈树搜索、A *算法
  遗传算法、粒子群算法

知识表示模型有谓词逻辑、产生式表示、语义网络、框架等方法。推理方法有自动推理和不确定推理等。