与或图，是将复杂问题拆解为子问题，并表达子问题间“并且（与）/或者（或）”逻辑的有向图，它的节点分为与节点（其子节点必须全真才真）和或节点（其子节点必须全假才假）。普通的状态图等同于一个全是或节点的与或图。与或图搜索的难点在于，一方面，其必须一边扩展节点一边判断子节点和父节点的逻辑关系；另一方面，当

写在开始之前：本笔记整理自西北工业大学2026年春智能系统课程内容，在此感谢老师以及助教的辛苦付出！ 智能系统，笔者上之前以为是教我怎么做一个完整的、以人工智能为主要内容的项目系统，但实际上是在讲人工智能从符号主义起源到当下连接主义盛行的历史发展过程中探索出的各种算法和系统。其实笔者上着感觉非常轻松