到2016年6月份，全世界运动互联网APP的种类有多少？

推理的限制策略主要包括（）。

推理方向主要用于确定推理的驱动方式，主要包括（）。

冲突消解策略基本思想都是对知识进行排序，主要包括（）。

必要条件假言推理的基本原则是（）。

启发式推理在推理过程中运用与问题有关的启发性知识，其中包括（）。

建立知识库的要求包括（）。

按照是否采用数值来描述不确定性，可以将不确定推理分为（）两类。

框架由一组槽组成，适合于描述具有固定格局的（）。

框架是一种层次结构，其组成部分通常包括（）。

谓词逻辑中使用的联结词包括（）。