填空题
问题的状态空间，可以记为三元组，其中S为（），F为（），G为（）
初始状态集合；算符集合；目标状态集合
填空题 D-S证据理论中函数Bel定义为（）、而函数Pl定义为（）
填空题 基于规则的演绎系统主要有（）、（）和（）
填空题 一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
