填空题
D-S证据理论中函数Bel定义为（）、而函数Pl定义为（）
填空题 基于规则的演绎系统主要有（）、（）和（）
填空题 一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
填空题 人工智能研究的主要领域有（）、（）、（）、（）、（）和（）
