一阶谓词公的语法判别系.docVIP

实验三 一阶谓词公式的语法判别系统 实验目的 一阶逻辑是人工智能学科的重要基础和实现技术之一，对一阶逻辑的深入理解有助于更好的学习人工智能的理论、技术和方法。通过编程实现一阶谓词逻辑公式的语法检查系统能更好的理解一阶逻辑语法系统的构成及其含义。 实验原理 利用一阶公式的句法特征，递归判定公式（子公式）的合法性。 实验内容 编程实现一阶谓词逻辑公式的语法检查系统，以判别任一给定的由一阶逻辑符号所组成的公式是否是一个符合语法规范的一阶谓词公式。 实验要求 编程实现一阶谓词逻辑公式的语法检查系统，使其能对任一由一阶逻辑的语法构成元素所组成的公式进行检查，以判别其是否为一阶逻辑公式。 实验步骤 认真分析一阶逻辑公式的构成方法。 寻求合适的数据结构。 利用一阶逻辑公式构成的递归性特点，涉及相应的求解算法。 编程实现。 参考示例 #include stdio.h #include math.h #define LEN sizeof(struct term) struct term {int power; int data; struct term *link; }; void output(); struct term *copy(p,n1,n2)/*make a copy of p with p not changed*/ struct term *p; int n1,n2; {struct term *q1,*q2,*q3,*p1; q1=q2=(struct term *)malloc(LEN); q1-data=100; q1-power=100; q1-link=NULL; p1=p-link; while(p1!=NULL){ q3=(struct term *)malloc(LEN); q3-data=p1-data*n1; q3-power=p1-power+n2; q3-link=NULL; q2-link=q3; q2=q2-link; p1=p1-link; } return(q1); } struct term *subpolys(p1,p2)/*compute the result of p1 substracted by p2*/ struct term *p1,*p2; {struct term *q1,*q2,*p; p=p1; q1=p1-link; q2=p2-link; while(q2!=NULLq1!=NULL){ if(q1-powerq2-power){ p1=p1-link; q1=q1-link; } else if(q1-powerq2-power){ p2=q2; q2=q2-link; p2-data=-p2-data; p1-link=p2; p2-link=q1; p1=p2; } else{ if(q1-data==q2-data){ q1=q1-link; p1-link=q1; q2=q2-link; } else{ q1-data=q1-data-q2-data; q1=q1-link; p1=p1-link; q2=q2-link; } } } if(q2!=NULL){ p2=q2; while(p2!=NULL){ p2-data=-p2-data; p2=p2-link; } p1-link=q2; } return(p); } int ownabs(n) int n; {if(n=0)return(n); else return(-n); } struct term *divpolys(p1,p2)/*test whether p1 can divide p2*/ struct term *p1,*p2; {struct term *p,*q1,*q2,*q3,*q4,*temp; int n1,n2; p=(struct term *)malloc(LEN); p-data=100; p-power=100; p-link=NULL; q3=p; while(p1-link!=NULLp1-link-power=p2-link-powerownabs(p1-link-data)=ownabs(p2-link-data)){ q1=p1-lin