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

填空题
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
答案：约束；自由
填空题
开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有（）和ISA。
答案：AKO
填空题
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
答案：否定；合取；析取；蕴涵
填空题
人工智能的研究途径有（）、生理模拟和行为模拟。
答案：心理模拟
填空题
问题的状态空间，可以记为三元组，其中S为（），F为（），G为（）
答案：初始状态集合；算符集合；目标状态集合