论文部分内容阅读
推论的能力,尤其是抽象推论的能力,无疑是人类智能最本质的特征之一,因而应该是任何以实现人工人类智能为目标的计算智能系统都应该提供的必不可少的功能。本文简要介绍相关推论和相关逻辑。分析表明,为相关推论提供逻辑有效性保证的强相关逻辑,对于以发现或预测为最基本功能的各种计算智能系统来说,具有无可替代的关键作用。
The ability to deduce, and especially abstracted absurdity, is undoubtedly one of the most essential features of human intelligence and should therefore be an indispensable function that any computational intelligence system that aims to achieve artificial human intelligence should provide. This article briefly introduces the related inferences and related logic. The analysis shows that the strong correlation logic that provides the logic validity guarantees for the related inferences has an irreplaceable key role for various computational intelligence systems that find or predict as the most basic functions.