书目详细信息 : 面向知识表示与推理的自然语言逻辑