还剩2页未读,继续阅读
文本内容:
北邮人工智能实验报告prolog班级2011211307姓名周俊霞日期2014-05-
111、实验题目用PROLOG完成以下系统的编写給出代码和一个运行实例,辨别云的类型低纬度云是那些高度等于或低于6000英尺高的云,包括层云和层积云;中纬度云是高度在6000—20000英尺的云,包括高层云、高积云和乱层云;高纬度云是那些高于20000英尺的云,包括卷云、卷层云和卷积云积云和积雨云可以从低到高纬度之间分布;层云、高层云、卷层云、积云和积雨云呈大圆锥状;层积云、高积云、乱层云、卷积云象平滑绵延的被单;卷云有纤细的外观,象一簇簇头发;乱层云和积雨云是含雨云,呈黑灰色
2、实验要求编写一个程序辨别云的类型,程序的输入是描述云特征的事实,输出为已辨别的云的类型*写出一个运行实例(输入、输出)
3、源代码/*****************************************************************************CopyrightcMyCompanyProject:CLOUDFileName:CLOUD
3.PROPurpose:NodescriptionWrittenby:VisualPrologComments:******************************************************************************/includecloud.incdo__insCloud_xTypeShapeColorWhat=symbolHight=integerfacts%云,有云的名字,高度,形状,颜色四个属性;cloudCloud_xHightShapeColorpredicatesnondetermisCloud_xTypeclauses%此处为某个已知的云,有云的名字,高度,形状,颜色四个属性;cloudcloud_lily7000big_coneblackgray.%判断某云是否为~~云;如isCloud_x__ngyun判断某云是否为层云isCloud_x__ngyun:-cloudCloud_xHightShapeColorHight=6000Shape=big_coneColor=white.isCloud_x__ngjiyun:-cloudCloud_xHightShapeColorHight=6000Shape=sheetsColor=white.isCloud_xgao__ngyun:-cloudCloud_xHightShapeColorHight=6000Hight=20000Shape=big_coneColor=white.isCloud_xgaojiyun:-cloudCloud_xHightShapeColorHight=6000Hight=20000Shape=sheetsColor=white.isCloud_xluan__ngyun:-cloudCloud_xHightShapeColorHight=6000Hight=20000Shape=sheetsColor=blackgray.isCloud_xjuanyun:-cloudCloud_xHightShapeColorHight20000Shape=hairColor=white.isCloud_xjuan__ngyun:-cloudCloud_xHightShapeColorHight20000Shape=big_coneColor=white.isCloud_xjuanjiyun:-cloudCloud_xHightShapeColorHight20000Shape=sheetsColor=white.isCloud_xjiyun:-cloudCloud_x_ShapeColorShape=big_coneColor=white.isCloud_xjiyuyun:-cloudCloud_x_big_coneblackgray.goalwriteinputthenamehight0~200000theshapebig_coneorsheetsorhairandthecolorblackgrayorwhiteofyourcloudnlwriteinputthenamenlreadlnCloud_xwritename:Cloud_xnlwriteinputthehightnlreadintHightwritehight:HightnlwriteinputtheshapenlreadlnShapewriteshape:ShapenlwriteinputthecolornlreadlnColorwritecolor:ColornlassertzcloudCloud_xHightShapeColorisCloud_xWhat.
4、运行实例其中,云的名字,如lily高度如7000形状如big_cone形状如blackgray根据提示每次输入一个属性然后得到运行结果
5、搜索规则PROLOG自动搜索机制为满足一目标,从知识库顶起以遍历方式逐一匹配如与一事实匹配成功,则将代换表作用于右邻;如与一规则左部匹配成功,则将代换表作用于规则右部——化为一系列子目标为满足一个子目标,从知识库顶起逐一匹配如匹配成功,则返回代换表,并继续试图满足其右邻子目标;如匹配失败(指针到了库底仍不成功),则设法重新满足其左邻子目标——回溯回溯时变量脱解。