资源描述：
《第五章 人工智能语言与问题求解》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第五章人工智能语言与问题求解鏈枃鐢眑incai_xia璐＄尞锛嶄汉宸ユ櫤鑳借瑷€涓庨棶棰樻眰瑙?涓昏鍐呭瀛︿範浜哄伐鏅鸿兘璇█浜嗚В浜哄伐鏅鸿兘璇█浣跨敤浜哄伐鏅鸿兘璇█鐢ㄦ悳绱㈣В鍐抽棶棰?鎼滅储鍙婂叾绫诲瀷鐩茬洰鎼滅储瀹藉害浼樺厛鎼滅储娣卞害浼樺厛鎼滅储鍚彂寮忔悳绱笌鍗氬紙浜哄伐鏅鸿兘璇█姒傝堪1銆佷粈涔堟槸浜哄伐鏅鸿兘璇█浜哄伐鏅鸿兘璇█鏄竴绫婚€傚簲浜庝汉宸ユ櫤鑳藉拰鐭ヨ瘑宸ョ▼棰嗗煙鐨勩€佸叿鏈夌鍙峰鐞嗗拰閫昏緫鎺ㄧ悊鑳藉姏鐨勮绠楁満绋嬪簭璁捐璇█銆傝兘澶熺敤瀹冩潵缂栧啓绋嬪簭姹傝В闈炴暟鍊?璁＄畻銆佺
2、煡璇嗗鐞嗐€佹帹鐞嗐€佽鍒掋€佸喅绛栫瓑鍚勭澶嶆潅鐨勬櫤鑳介棶棰樸€?浜哄伐鏅鸿兘璇█姒傝堪2銆佷汉宸ユ櫤鑳借瑷€鐨勭壒鐐?鈥㈠叿鏈夌鍙峰鐞嗚兘鍔涳紱鈥㈤€傚悎浜庣粨鏋勫寲绋嬪簭璁捐锛屽鏄撶紪绋嬶紱鈥㈠叿鏈夐€掑綊鍜屽洖婧殑鍔熻兘锛?鈥㈠叿鏈変汉鏈轰氦浜掕兘鍔涳紱鈥㈤€傚悎浜庢帹鐞嗭紱鈥㈣兘澶熻瀺鍚堣繃绋嬩笌鏁版嵁缁撴瀯锛屽叿鏈夋ā寮忓尮閰嶆満鍒躲€?涓庡叾浠栬瑷€鐨勫叧绯伙細閮藉彲浠ョ敤鏉ュ府鍔╀汉浠В鍐抽棶棰樸€?浜哄伐鏅鸿兘璇█姒傝堪3銆佷汉宸ユ櫤鑳借瑷€鐨勭绫?鈼哖rolog锛?浠ヨ皳璇嶉€昏緫涓哄熀纭€锛屼娇
3、璁＄畻鏈鸿兘澶熻繘琛屽綊缁撴紨缁?TurboProlog銆乂isualProlog鈼哃ISP锛?鍏剁▼搴忔槸鐢变竴缁勫嚱鏁扮粍鎴愶紝绋嬪簭鐨勬墽琛岃繃绋嬪氨鏄竴绯诲垪鐨勫嚱鏁拌皟鐢ㄥ拰姹傚€肩殑杩囩▼鈼嗗叾浠栵細Smalltalk鏄竴绉嶉潰鍚戝璞＄殑璇█锛屽叾涓墍娑夊強鐨勭被銆?瀵硅薄鍜岀户鎵跨瓑姒傚康锛屼笌浜哄伐鏅鸿兘鐗瑰埆鏄煡璇嗚〃绀哄拰鐭ヨ瘑搴撳叿鏈夊ぉ鐒剁殑鑱旂郴銆?TurboProlog鐨勪氦浜掔幆澧冪獥鍙?VisualProlog鐨勪氦浜掔幆澧冪獥鍙?CommonLISP浜嗚ВProlog璋撹瘝閫昏緫锛?璋撹瘝閫昏緫锛峆ro
4、log鐨勭悊璁哄熀纭€鐨勭悊璁哄熀纭€鈼?璋撹瘝锛氱敤鏉ユ弿杩板璞＄殑鐘舵€併€佹€ц川鍙婂璞′箣闂村叧绯荤殑璇嶃€?鈼?閫昏緫锛氫簨鐗╅棿鐨勫洜鏋滃叧绯汇€?渚嬪锛氬皬鏄庡枩娆?鎵?缇芥瘺鐞?鍏崇郴瀵硅薄1瀵硅薄2鍠滄灏忔槑缇芥瘺鐞?likexiaomingbadmintonlike(xiaoming,badminton)Prolog璇█鐨勫熀鏈壒鐐?1.Prolog璇█鏄竴绉嶆櫤鑳藉瀷鐨勬弿杩拌瑷€锛岀敤浼犵粺鐨勯珮绾ц瑷€姹?2.3.4.5.6.瑙ｉ棶棰橈紝绋嬪簭鍛樺繀椤诲啓鍑烘眰瑙ｉ棶棰樼殑鍏ㄩ儴杩囩▼缁嗚妭锛屽嵆鍛婅瘔
5、璁＄畻鏈哄浣曟眰瑙ｉ棶棰橈紝鐢≒rolog璇█姹傝В闂锛屽彧闇€瑕佺▼搴?鍛樺憡璇夎绠楁満姹傝В鐨勯棶棰樻槸浠€涔堛€?Prolog璇█鎺ヨ繎浜庤嚜鐒惰瑷€锛岃鍙ョ绫诲皯锛屽彧鏈変簨瀹烇紝瑙勫垯鍜岀洰鏍囦笁绉嶈鍙ワ紝鏄撲簬瀛︿範鍜屾帉鎻°€?鐢≒rolog璇█涓殑浜嬪疄鍜岃鍒欏彲鏂逛究鍦拌〃杈剧煡璇嗭紝鍏冮€昏緫鎿?浣滀娇寰楀瓨鍙栥€佺鐞嗕互鍙婂鐞嗙煡璇嗘洿鍔犳柟渚裤€佺伒娲汇€?绋嬪簭涓庢暟鎹粺涓€銆?閫昏緫鎬у己銆侾rolog璇彞閲囩敤閫昏緫琛ㄨ揪褰㈠紡锛屾墍浠ユ槗浜庝繚璇?Prolog绋嬪簭鐨勬纭€с€?
6、Prolog绋嬪簭鐨勬墽琛屼互褰掔粨闄㈤噷涓哄熀纭€鑷姩鍦板疄鐜板闂鐨勬眰瑙ｏ紝浠庤€屼娇瀹冨叿鏈夎秴瓒婁紶缁熼珮绾ц瑷€鐨勫姛鑳姐€?浜嗚ВPrologProlog鐨勫熀鏈鍙?鐨勫熀鏈鍙?鈼嗕簨瀹烇細琛ㄧず瀵硅薄鐨勭姸鎬併€佹€ц川鎴栧璞′箣闂寸殑鍏崇郴銆?p(x,y,鈥︼級.鍏朵腑鐨凱鏄皳璇嶏紝瀹冩弿杩颁簨鐗╃殑鎬ц川鎴栦簨鐗╅棿鍏崇郴锛涘弬鏁皒锛寉锛屼唬琛ㄤ簨鐗┿€俵ikes(xiaofang,badminton).Prolog鐨勫熀鏈鍙?鐨勫熀鏈鍙?鈼?瑙勫垯锛?琛ㄧず瀵硅薄涔嬮棿鐨勫洜鏋滃叧绯汇€佽暣娑靛叧绯
7、绘垨瀵瑰簲鍏崇郴銆?p(x,y,鈥?:-q(x,y,鈥?.friend(X,xiaohua):-likes(X,pingpong).缁撹Prolog鐨勮鍒欒鏄?褰㈠紡P(x,y锛屸€?锛氬悕绉?瑙勫垯澶?杩炴帴绗?鏋勬垚涓庝綔鐢?瀹氫箟璋撹瘝p琛ㄧず鈥滃鏋溾€?鐢变竴鏉℃垨澶氭潯璇彞鏋勬垚锛岃鍙ラ棿鐢?鈥?鈥濊〃绀哄苟涓旓紝鈥滐紝鈥濆垎闅旓紱q鏄皳璇?鍙傛暟鍙互鏄父閲忔垨鍙橀噺琛ㄧず涓€鏉¤鍒欑粨鏉?澶囨敞鍙傛暟鍙互鏄父閲忔垨鍙橀噺鍓嶆彁q(x,y,鈥?瑙勫垯浣?.缁撴潫绗?鍋囪鐢╬arallel(x,y)琛ㄧず鐩寸嚎x骞
8、宠浜庣洿绾縴锛?鍒欏彲鐢ㄤ笅鍥捐〃绀轰竴鏉″钩琛岀嚎瀹氱悊锛?Parallel(x,y):-parallel(x,z),
