智能论证的方法论基础及逻辑证成