基于认知的推理机制与实现技术