又称之为谓词合式公式-合肥工业大学

- * - 合肥工业大学人工智能与数据挖掘研究室 - */113 - 高级人工智能逻辑、推理与知识王浩