等边三角形 \(ABC\) 中，点 \(D,E\) 分别在边 \(BC,AC\) 上，且 \(|BD|=\dfrac{1}{3}|BC|,|CE|=\dfrac{1}{3}|CA|,AD,BE\) 相 ...

1 实验概述 1.1 实验目的 熟悉一阶谓词逻辑和产生式表示法，掌握产生式系统的运行机制，以及基于规则推理的基本方法。 1.2 实验内容 设计并编程实现一个小型产生式系统（如分类、诊断等类型） ...