人工智能经典逻辑推理作业

- 第三章 作业及解答 - 1、名词解释：正向推理、逆向推理2、请用消解原理证明G是F1、F2和F3的逻辑结论。 - -