631306050123黄嘉城谓词演算启发式搜索.doc

重庆交通大学计算机与信息学院
验证性实验报告
班 级： 计软专业 13 级1 班
学 号： 631306050123
姓 名： 黄嘉城
实验项目名称：谓词演算
实验项目性质：验证性实验
实验所属课程： 人工智能
实验室（中心E(x)","AT(robot,x)'',"EMPTY(robot)","HOLDS(robot,box)"};
S[0][7]=x;
S[l][6]=x;
S ⑵[9]=x;
if(IsInState(S[l]) && IsInState(S[2])) if(IsInState(S[O]))
Delete(number);
else
(
printf("Cannot pickup %c",x);
return false;
}
if(IsInState(S[3]))
Delete(number);
else
(
printf("Cannot pickup %c",x);
return false;
}
Insert(S[4]);
return true;
}
{
printf("Cannot pickup %c",x);
return false;
}
}
bool SetDown(char x)
{
char
S[5][20]={"AT(robot,x)","TABLE(x)'',"HOLDS(robot,box)'',"EMPTY(robot)","ON(box,x)"};
S[0][9]=x;
S[l][6]=x;
S[4][7]=x;
if(IsInState(S[O]) && IsInState(S[l])) if(IsInState(S[2]))
Delete(number);
else
(
printf("Cannot set down %c”,x);
return false;
}
Insert(S[3]); Insert(S[4]);
return true;
}
return false;
}
void ShowState(char s[10][20],int num)
{
int i;
printf("");
for(i=0;i<num;i++)
printf("%s ",s[i]);
printf("\n");
)
void main()
(
printf("the process as follows:\n\nThe start state:\n");
ShowState(state,state_num);
printf("(l) Go from c To a:\n");
if(!GoTo(V*))
return;
ShowState(state,state_num);
printf(n(2) PickUp a:\nn);
if(!PickUp('a'))
return;
ShowState(state,state_num);
printf("(3) Go from a To b:\n");
if(!GoTo('a','b'))
return;
ShowState(state,state_num);
printf(n(4) SetDown b:\nn);
if(!SetDown(b))
return;
ShowState(state,state_num);
printf("(5) Go from b To c:\n");
if(!GoTo(b,B)
return;
ShowState(state,state_num);
}
六、 测试结果及说明
实验很成功
七、 实验体会
让我了解到人工智能的先进化，开阔我的眼界通过，本次实验，让我更加了解启发式搜 索算法的原理，见识了其广泛的应用；同时加强了本人阅读程序能力和编程能力，以及 如何将理论问题解决实际应用的能力。在编程实现过程中出现过不少问题，通过一次次 调试得以解决，并一定程度上提高了我的编程能力，而且让我对人工智能这一课程有了 更直接的认知
重庆交通大学计算机与信息学院
验证性实验报告
班 级： 计软专业 13 级1 班
学 号： 631306050123
姓 名： 黄嘉城
实验项目名称： 启发式搜索
实验项目性质：验证性实验
实验所属课程： 人工智能
实验室（中心）：软件中心实验室（语音楼8楼）
指导教师：朱振国
实验完成时间： 2016 年 月 10 日
评阅意见:
实验成绩:
签名:
年 月曰
一实验目的
理解和掌握A*算法
二 实验内容及要求
在8数码问题中，利用策略函数判断搜索，并使用A*算