单项选择题
定义谓词如下：HIGHER（x，y）：x比y长得高，定义公式father（x）：x的父亲。李某某比他父亲长得高。用谓词公式表示为（）。
A.HIGHER（limm，father（limm））B.HIGHER（father（limm），limm ）C.father（limm）D.以上都不对
单项选择题 定义谓词如下：COMPUTER（x）：x是计算机系的学生；LIKE（x，y）：x喜欢y。张某某是一名计算机系的学生，他喜欢编程序。用谓词公式表示为（）。
单项选择题 按知识的作用可把知识划分为（）知识。
单项选择题 目前人工智能的主要研究学派是（）。
