人工智能期末作业(程序+结果).doc

题目：小型动物分类专家系统专业：通信与信息系统姓名：学号：一、系统的研究背景 通过一个简单的prolog程序，实现对一个小型动物系统的识别问题，从而提供一种思维方式来简轻人们日常生活中花在分类问题中的工作量，进而达到人工智能科学可以很好的被人民的效果。二、设计思路 首先对一些常见动物的属性进行归纳，提出有用的信息再对这种动物进行描绘，通过这一过程，我们就能得出大部分动物的特点，这样再通过智能语言对它编写，最后通过人机对话桌面，可以很轻松的判别出各种动物的种类，通过这一方案，我们可以发现，这一系统可以应用的很多生活实例和科学研究中，只要我们好好提取一下信息属性，就能使机器很好的为我们服务，进而实现智能化。三、方案的实施程序代码及效果在如图1示的窗口中输入如下程序。 图1 程序的输入窗口程序代码：global facts xpositive(symbol,symbol) xnegative(symbol,symbol)predicates nondeterm animal_is(symbol) nondeterm it_is(symbol) ask(symbol,symbol,symbol)remember(symbol,symbol,symbol) positive(symbol,symbol) negative(symbol,symbol) clear_fatcs runclausesanimal_is(cheetah):-it_is(mammal),it_is(carnivore),positive(has,tawny_color),positive(has,dark_spots).animal_is(tiger):-it_is(mammal),it_is(carnivore),positive(has,tawny_color),positive(has,black_stripes).animal_is(giraffe):-it_is(ungulate),positive(has,long_neck),positive(has,long_legs),positive(has,dark_spots).animal_is(zebra):-it_is(ungulate),positive(has,black_stripes).animal_is(ostrich):-it_is(bird),negative(does,fly),positive(has,long_neck),positive(has,long_legs),positive(has,black_and_white_color).animal_is(penguin):-it_is(brid),negative(does,fly),positive(does,swim),positive(has,black_and_white_color).animal_is(albatross):-it_is(bird),positive(does,fly_well).it_is(mamal):-positive(has,hair).it_is(mamal):-positive(does,give_milk).it_is(bird):-positive(has,feathers).it_is(bird):-positive(does,fly),positive(does,lay_eggs).it_is(carnivore):-positive(does,eat_meat).it_is(carnivore):- positive(has,pointed_teeth),positive(has,claws),positive(has,forward_eyes).it_is(ungulate):-it_is(mamal),positive(does,chew_cud).positive(X,Y):-xpositive(X,Y),!. positive(X,Y):- not(xnegative(X,Y),ask(X,Y,yes).negative(X,Y):-xnegative(X,Y),!.negative(X,Y):- not(xpositive(X,Y), ask(X,Y,no).ask(X,Y,yes):- !,write(X,”it”,Y,n),readln(Reply),nl,frontchar(Reply,y,_),remember(X,Y,yes).ask(X,Y,no):- !,write(X,”it”,Y,n),readln(Reply),nl,frontchar(Reply,n,_),remember(X,Y,no).remember(X,Y,yes):- assertz(xpositive(X,Y).remember(X,Y,no):-assertz(xnegative(X,Y).clear_fatcs:- write(“nn Please press the space bar to exitn ”),retractall(_,dbasedom),readchar(_).run:- animal_is(X),!, write (“n Your animal may be a(an)”,X), nl,nl,clear_fatcs.run:- write (“n Unable to determine