本资源包含使用LISP和Prolog语言实现的专家系统的源代码及详细实验报告，适用于深入学习人工智能与编程方法论。
在人工智能课程的实验项目中，我们分别使用Lisp语言和Prolog语言开发了一个专家系统，并撰写了详细的实验报告，其中包括绘制的二级推理树。
本项目的背景是通过一个简单的动物识别专家系统来阐明专家系统的运作原理。该系统能够识别老虎、金钱豹、斑马、长颈鹿、鸵鸟、企鹅以及信天翁这七种特定动物。
为了缩小求解问题的范围，我们首先将这些动物分为三大类：哺乳动物、鸟类和肉食性动物，并进一步细化到具体的物种分类。知识库中包含15条产生式规则来表示识别每一种动物所需的知识。
以下是部分规则示例：
- R1: 如果该动物有毛发，则它是哺乳动物。
- R2: 如果该动物能分泌乳汁喂养幼崽，它也是哺乳动物。
- R3：如果某物种具备羽毛特征，那么可以推断出这是鸟类的一种。
- R4：一种生物若同时拥有飞行能力和产蛋特性，则被归类为鸟。
- 中间结论规则示例：
- R5: 如果该动物以肉类为主要食物来源，它属于肉食性动物类别；
- R6: 若某物种具备犬齿、爪子以及目光集中在前方的特征，则可将其识别为一种典型的肉食者。
- 最终结论规则示例：
- R9：如果某种哺乳类生物同时具有黄褐色毛发和暗色斑点，且被确认是肉食动物，那么它很可能是金钱豹；
- R10: 若某物种符合哺乳类、肉食性以及拥有黄色皮毛带黑色条纹的特征，则可确定为老虎。
这些规则构建了一个逻辑推理网络，帮助系统逐步缩小分类范围直至准确识别出特定种类的动物。
5星
