基于μ演算的认知难题符号化模型检测