问答题
支持集归结策略对参加归结的子句有什么限制？
支持集策略要求在每次归结时，亲本子句中至少应有一个是由目标的否定所得到的子句或者它们的后代。
问答题 什么是知识？什么是知识表示？
问答题 什么是人工智能？人工智能有哪几个主要学派？
问答题 画出CITY库的依赖图。
