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

标准答案： （1）状态空间法是以状态和算符为基础来表示和求解问题的，三个要点是：状态，算符，问题的状态空间。 （2）谓词逻辑法要点：命题真值，论域与谓词，连接词和量词，项与合式公式，自由变元和约束变元。 （3）语义网络要点：类属关系，包含关系，属性关系，时间关系，位置关系，相近关系，推论关系。