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

填空题
鲁宾逊提出了（）使机器定理证明成为可能
答案：归结原理
填空题
AI研究的主要途径有三大学派，它们是（）学派、（）学派和（）学派。
答案：符号主义；联想主义；行为主义
填空题
专家系统的瓶颈是（）它来自于两个阶段，第一阶段是（），第二阶段是（）。
答案：知识获取；人类领域专家获取知识；系统运行过程中的知识获取
填空题
目前所用的知识表示形式有（）、（）、（）等
答案：框架；语义网络；面向对象
填空题
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
答案：否定；合取；析取；蕴涵