题目详情
单选题 已知:张和李是同班同学,如果x和y是同班同学,则x的教室也是y的教室,现在张在302教室上课.问:现在李在哪个教室上课?其中定义谓词:C(x,y) 为x和y是同班同学; At(x,u)为x在u教室上课. 则以下( )选项不属于该问题反演求解过程中的子句集
A. C(zhang,li)
B. ~C(x,y)∨At(x,u)∨At(y,u)
C. At(zhang,302)
D. ~At(li,u)∨At(li,u)
学科:人工智能
时间:2023-10-04 03:09:01
相关题目
相关作业