简答题 已知：If Fido goes wherever John goes and if John is at school，用归结原理求解：Where is Fido？

设公理集： P， （P∧Q）→R， （S∨T）→Q， T 用归结原理求证：R 点击查看答案

画出下列知识的语义网络：“籍贯为湖南的张山在信息学院读书，该学校位于健翔桥附近，该校由计算机系、信息系和通信系组成。” 点击查看答案