谓词公式与其子句集的关系是（）。

填空题谓词公式与其子句集的关系是（）。

1.填空题谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。

2.填空题在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着（），CF（A）=-1，则意味着假，CF（A）=1，则意味着真。

3.填空题设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

4.填空题谓词逻辑中，重言式（tautlogy）的值是（）。

5.填空题人工智能的基本技术包括搜索技术、（）、知识表示和知识库技术归纳技术、联想技术。

6.填空题任意列举人工智能的四个应用性领域难题求解、（）、智能控制、机器翻译。

7.填空题人工智能的研究途径有（）、生理模拟和行为模拟。

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

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

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