问答题
请用一阶谓词逻辑法表示“喜欢玩篮球的人必喜欢玩排球。”
L.ikeplay（x，y）表示x喜欢玩y。 （Эx）（Likeplay（x，篮球）→Likeplay（x，排球））
问答题 支持集归结策略对参加归结的子句有什么限制？
问答题 什么是知识？什么是知识表示？
问答题 什么是人工智能？人工智能有哪几个主要学派？
