状态空间法、谓词逻辑法和语义网络的要点分别是什么？

状态空间法、谓词逻辑法和语义网络的要点分别是什么？
正确答案：状态算符|问题的状态空间|命题真值|论域与谓词|连接词和量词|项与合式公式|自由变元和约束变元|类属关系|包含关系|属性关系