问答题
设公理集: P, (P∧Q)→R, (S∨T)→Q, T 用归结原理求证:R
证明:子句集:(1)P(2)~P∨~Q∨R(3)~S∨Q
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 画出下列知识的语义网络:“籍贯为湖南的张山在信息学院读书,该学校位于健翔桥附近,该校由计算机系、信息系和通信系组成。”
问答题 请用一阶谓词逻辑法表示“太原市的夏天既干燥又炎热。”
问答题 画出CITY库的与/或树。