人工智能子句消解实验报告

实验报告一．实验名称：字句消解原理实验二．实验目的：理解和掌握消解原理，熟悉谓词公式化为子句集的九个步骤，理解消解推理规则，能把任意谓词公式转换成子句集，并能够得到消解式。对基础编程语言的熟悉，应用。三．实验原理：对于L1和L2两个原子公式，并且L1和L2具有相同的谓词符号，但一般具有不同的变量。已知两个字句L1Va和~L2Vb，如果L1和L2具有最一般的合一者c，那么通过消解可以从这两个父辈字句推导出一个新字句(aVb)c。四．实验内容：1通过编程实现字句消解的演示界面。2运行并观察演示实例。3输入新的子句，检查消解结果。4根据消解过程理解消解原理和常用规则。五．开发工具：C#六．实验结论和总结1熟悉消解过程，理解子句消解规则。2给出自己输入的待消解子句、消解结果和详细过程。3通过对置换规则的理解设计相对比较好的置换规则。附实验截图和主要程序代码：主要代码：for(intj=0;jfstr1.Length;j++){for(intk=0;kfstr2.Length;k++){if((temp1[j]==temp2[k])&&((fstr1[j][0]=='~')||(fstr2[k][0]=='~'))){f1=j;f2=k;//标准互补的字符串//找到互补后，进行置换寻找if(fstr1[j][0]=='~'){fstr11=fstr1[j].Substring(3,fstr1[j].Length-4);fs11=fstr11.Split(',');}else{fstr11=fstr1[j].Substring(2,fstr1[j].Length-3);fs11=fstr11.Split(',');}//找到互补后，进行置换寻找if(fstr2[k][0]=='~'){fstr22=fstr2[k].Substring(3,fstr2[k].Length-4);fs22=fstr22.Split(',');}else{fstr22=fstr2[k].Substring(2,fstr2[k].Length-3);fs22=fstr22.Split(',');}}}}