计算机科学人工智能填空题每日一练(2020.05.21)

填空题
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
答案：空集
填空题
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
答案：否定；合取；析取；蕴涵
填空题
神经网络可分为（）、（）、（）和广泛前向网络。
答案：分层前向网络；反馈层向网络；互连前向网络
填空题
盲目搜索的方法有深度优先、宽度优先和（）等。
答案：回溯策略
填空题
谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。
答案：假