简答题 假设有以下一段天气预报：“北京地区今天白天晴，偏北风3级，最高气温12º，最低气温-2º，降水概率15%。”请用框架表示这一知识。

判断下列公式是否为可合一，若可合一，则求出其最一般合一。 （1）P（a，b），P（x，y） （2）P（f（x）...

问答题

判断下列公式是否为可合一，若可合一，则求出其最一般合一。
（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）

产生式系统的推理过程？

问答题产生式系统的推理过程？

命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

问答题命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？