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

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

>>阅读原文<<