与或图搜索（and or graph search），工学-控制科学与工程-智能系统-智能系统-问题求解-搜索论，一种在与或图中搜索路径的方法，是一种启发式搜索算法。与或图搜索也是状态空间图搜索的一个分支。与或图是一个超图，节点间通过连接符连接。普通图搜索表现为从初始节点到目标节点的解路径。与或图中某一个节点到目标节点集的一个解图类似于普通图中的一条解路径。解图的求法是：从节点开始，正确选择一个外向连接符，再从该连接符所指的每一个后继节点出发，继续选一个外向连接符，如此进行下去直到由此产生的每一个后继节点成为目标节点集中的一个元素为止。在与或图是无环（即不存在这样的节点——其后继节点同时又是它的祖先）的假定下，解图可递归定义如下。在一个与或图中，从节点到目标节点集的解图记为。是的子图。（1）若是的一个元素，则由单一节点组成。（2）若有一个指向节点的外向连接符，使得从每一个到有一个解图，则由节点，连接符，及中的每一个节点到的解图组成。（3）否则到不存在解图。