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