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

填空题
D-S证据理论中函数Bel定义为（）、而函数Pl定义为（）
答案：
填空题
产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为（）和反向推理。
答案：正向推理
填空题
归结法中，可以通过（）的方法得到问题的解答
答案：修改证明树
填空题
组成产生式系统的三要素：（）、（）和（）。
答案：数据库；规则库；推理机
填空题
人工智能是关于知识的科学，主要研究的核心课题包括如下四个方面：（）、（）、各种推理方法和AI系统结构和语言。
答案：知识的模型化和表示方法；启发式搜索理论