问答题
设有子句集：S＝{～I（x）∨R（x），I（a），～R（y）∨～L（y），L（a）}对S用支持集策略归结出空子句，画出归结树。
归结树如下：
问答题 小凤是小龙的妹妹。如果X和Y是兄妹，则X的父亲也是Y的父亲。如果小龙的父亲是东旭，问小凤的父亲是谁？
问答题 画出下列事实的语义网络：“山西大学是一个学校，位于太原市，建立时间是1902年。”
问答题 输入归结策略对参加归结的子句有什么限制？
