问答题
判断下列子句集中哪些是不可满足的:{¬P∨Q,¬Q,P,¬P}。
不可满足,其归纳过程为:
填空题 下列谓词公式化成子句集是()。z))
填空题 用语义网络表示知识“鸵鸟是一种鸟”()。
填空题 用产生式表示知识“雪是白的”()。