1、实验一 产生式系统实验一、实验目的1.熟悉一阶谓词逻辑和产生式表示法。2.掌握产生式系统的运行机制。3.以及基于规则推理的基本方法。二、实验内容运用所学知识，设计并编程实现 一个小型的水果识别人工智能系 统。三、实验步骤1. 基于产生式系统实验程序， 设计并实现一个小型人工智能系 统：（1）系统设置，包括设置系统名称和系 统谓词， 给出谓词名及其含 义。（2）编辑知识库，通过输入规则 或修改规则等，完成整个 规则库 的建立。（3）建立事实库（综合数据库）， 输入多条事实或结论。（4）运行推理，包括正向推理和反向推理，给出相应的推理过程、事实区和规则区。2. 撰写实验报告。四、实验结果1. 系统
2、名称及谓词定义（1）系统名称：水果识别系统（2）谓词定义：水果是： fruit类别 是：is事实 ：positive2. 系统知识库（1）fruit(“菠萝“):-is(“温热性水果“),positive(“酸甜的“),positive(“也称凤梨“)（2）fruit(“甘蔗“):-is(“平性水果“),positive(“甜的“)， positive(“有节的“)（3）fruit(“火龙果“):-is(“寒凉性水果“),positive(“仙人掌科水果 “)（4）fruit(“梨“):-is(“寒凉性水果“),positive(“药用功效强的“),positive(“蔷薇科水果“)（5）fr
3、uit(“荔枝“):-is(“温热性水果“),positive(“需冷藏的“)（6）fruit(“柠檬“):-is(“平性水果“),positive(“酸的“)， positive(“黄色的“)（7）fruit(“苹果“):-is(“平性水果“),positive(“红色的“)（8）fruit(“桑葚“):-is(“平性水果“),positive(“紫色的“)（9）fruit(“西瓜“):-is(“寒凉性水果“),positive(“多汁的“),positive(“葫芦科水果“)（10）fruit(“香蕉“):-is(“寒凉性水果“),positive(“黄色的“),positive(“剥皮的
4、“)（11）fruit(“樱桃“):-is(“温热性水果“),positive(“大红色的“),positive(“甜的“)（12）is(“寒凉性水果 “):-positive(“清热降火“)（13）is(“平性水果 “):-positive(“寒热偏性不明，开胃健脾“)（14）is(“温热性水果 “):-positive(“驱寒补虚“)3. 系统正反向推理过程、事实 区和规则区。（1）正向推理过程事实 区：温热性水果大红色的甜的规则区：fruit(“樱桃“):-is(“温热性水果“),positive(“大 红色的“),positive(“甜的“)（2）反向推理过程假设：菠萝水果是：驱寒补虚吗(Y/N)? 回答：Y水果是：酸甜的吗(Y/N)? 回答：Y水果是：也称凤梨吗(Y/N)? 回答：Y事实区：驱寒补虚温热性水果酸甜的也称凤梨菠萝规则区：is(“温热性水果 “):-positive(“驱寒补虚“)fruit(“菠萝“):-is(“温热性水果“),positive(“酸甜的 “),positive(“也称凤梨“)结论：假设成立五、实验总结
