知识表示方法中状态空间法、问题规约法、谓词逻辑法、语义网络总结

（1）状态空间法： 问题的状态空间时一个表示该问题所有可能状态及其关系的图，它包含三种说明的集合，即全部可能的问题初始状态集合S、操做符集合F以及目标状态集合G。所以，把状态空间记为三元状态（S,F,G）。 要完成某个问题的状态描述，必须肯定三件事：一是该状态描述方式，特别是初始状态描述；二是操做符集合及其对状态描述的做用；三是目标状态描述的特性。 旅行商问题（下面分别是原图和状态空间法表示的图像

>>阅读原文<<