人工智能實驗報告(熟悉專家系統(tǒng)開發(fā)工具)

實驗報告實驗?zāi)康?.熟悉專家系統(tǒng)開發(fā)工具----VisualProlog,學(xué)習(xí)該工具的基本語法規(guī)則、使用技巧、程序構(gòu)成；2．學(xué)習(xí)示例程序,嘗試編寫小型完整VisualProlog應(yīng)用程序。2.學(xué)習(xí)示例程序，嘗試編寫小型完整VisualProlog應(yīng)用程序。2．學(xué)習(xí)示例程序，嘗試編寫小型完整VisualProlog應(yīng)用程序。實驗設(shè)備計算機(jī)、VisualProlog軟件開發(fā)平臺。實驗內(nèi)容1.熟悉VisualProlog軟件開發(fā)平臺,包括進(jìn)入Prolog主程序、編輯源程序、修改環(huán)境目錄、退出等基本操作。2.學(xué)習(xí)VisualProlog的簡單程序結(jié)構(gòu),掌握分析問題、詢問解釋技巧。3.了解Prolog語言中常量、變量的表示方法。4．利用Prolog進(jìn)行事實庫、規(guī)則庫的編寫,并在此基礎(chǔ)上進(jìn)行簡單的詢問。5．依次編輯并執(zhí)行所給程序,運行Example1、Example2、Example3,分析程序功能并寫出使用結(jié)果。6.完成簡單程序的編寫：求N！的值。6．完成簡單程序的編寫:求N！的值。6．完成簡單程序的編寫：求N！的值。6．完成簡單程序的編寫：求N！的值。實驗準(zhǔn)備（預(yù)習(xí)程序）Example1:domainsperson,activity=symbolpredicateslikes(person,activity)clauseslikes(ellen,tennis).likes(john,football).likes(tom,baseball).likes(eric,swimming).likes(mark,tennis).likes(bill,X):-likes(tom,X).goallikes(bill,X).Example2:domainsnamelist=name*name=symbolpredicatesmember(name,namelist).clausesmember(Name,[Name|[]).member(Name,[_|Tail]):-member(Name,Tail).goalmember(john,[leonard,john,eric,frank]).Example3:domainsname=symbolpredicatesfather(name,name)everybodyclausesfather(leonard,katherine).father(carl,jason).father(carl,marilyn).everybody:-father(X,Y),write(X,"is",Y,"'sfather\n"),fail.goaleverybody.求N！值的:PREDICATESfactorial(unsigned,real)CLAUSESfactorial(1,1):-!.factorial(X,FactX):-Y=X-1,factorial(Y,FactY),FactX=X*FactY.GOALX=6,factorial(X,FactX).實驗記錄Example1:設(shè)定目標(biāo)為:likes(bill,X).結(jié)果為:X=baseball1SolutionExample2:設(shè)定目標(biāo)為:member(john,[leonard,john,eric,frank]).結(jié)果為:YesExample3:設(shè)定目標(biāo)為:everybody.結(jié)果為:leonardiskatherine'sfathercarlisjason'sfathercarlismarilyn'sfatherNo求N！值的:設(shè)定目標(biāo)為:X=6,factorial(X,FactX).結(jié)果為:X=6,FactX=7201Solution實驗結(jié)論（結(jié)果）求N！值的:該程序通過遞歸算法有效的解決了求N！值的問題。并熟悉了VisualProlog軟件開發(fā)平臺。該程序通過遞歸算法有效的解決了求N！值的問題。并熟悉了VisualProlog軟件開發(fā)平臺。實驗心得與小結(jié)通過這次實驗我更加熟悉了Prolog語言和該軟件開發(fā)平臺。對Prolog語言的基本語法規(guī)則和使用技巧有了更好的掌握。在使用VisualProlog軟件開發(fā)平臺的過程中,我從對軟件的不熟悉,經(jīng)常出錯,到會編寫一些