人工智能及专家系统第4章 逻辑的知识表示和推理