判断题 CASEY能较为高效的进行案例的联合推理。

判断题 推理规则的形式是：左边部分>右边部分。

判断题 目前绝大部分的软件作为有限状态的系统都使用“存在-与”逻辑。