问答题
判断下列公式是否为可合一，若可合一，则求出其最一般合一。 （1）P（a，b），P（x，y） （2）P（f（x），b），P（y，z） （3）P（f（x），y），P（y，f（b）） （4）P（f（y），y，x），P（x，f（a），f（b）） （5）P（x，y），P（y，x）
（1）可合一，其最一般和一为：σ={a/x，b/y}。（2）可合一，其最一般和一为：&sigma......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 产生式系统的推理过程？
问答题 命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
问答题 全局择优搜索A算法描述？
