实验一--产生式系统实验

实验一 产生式系统实验一、实验目的1.熟悉一阶谓词逻辑和产生式表示法。2.掌握产生式系统的运行机制。3.以及基于规则推理的基本方法。二、实验内容运用所学知识，设计并编程实现一个小型的水果识别人工智能系统。三、实验步骤 1. 基于产生式系统实验程序，设计并实现一个小型人工智能系统：（1）系统设置，包括设置系统名称和系统谓词，给出谓词名及其含义。（2）编辑知识库，通过输入规则或修改规则等，完成整个规则库的建立。（3）建立事实库（综合数据库），输入多条事实或结论。（4）运行推理，包括正向推理和反向推理，给出相应的推理过程、事实区和规则区。2. 撰写实验报告。四、实验结果1. 系统名称及谓词定义（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）fruit(荔枝):-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(剥皮的)（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(也称凤梨) 结论：假设成立 五、实验总结