相关推论与强相关逻辑

 推论的能力,尤其是抽象推论的能力,无疑是人类智能最本质的特征之一,因而应该是任何以实现人工人类智能为目标的计算智能系统都应该提供的必不可少的功能。本文简要介绍相关推论和相关逻辑。分析表明,为相关推论提供逻辑有效性保证的强相关逻辑,对于以发现或预测为最基本功能的各种计算智能系统来说,具有无可替代的关键作用。