自然语言的语义推理的一种方法 - 吴士珑 (Tongxin xuebao)