人工智能实验报告.doc

《人工智能》实验报告——子句消解实验姓名:AB学号:**********专业:###############导师:$$$$$$$2012年1月5日子句消解实验一、实验目的: 理解含有变量的子句如何使用消解规则,掌握子句消解的原理和规则,能熟练进行任意两个子句的消解,了解消解推理的某些常用规则。 二、实验原理: 对子句集进行消解推理,得到相应的结论。为了对含有变量的子句使用消解规则,我们必须找到一个置换,作用于父辈子句使其含有互补文字。消解两个子句时,可能有一个以上的消解式。三、实验条件  硬件:微型计算机。编程语言:c++。编程环境:VC++、实验内容:编写消解程序。输入子句,检查消解结果。根据消解过程理解消解原理和常用规则。程序清单,见附件。实验结果附件:////AImplementionOfSimpleClausesResolution//Author:AB,ANHUIUNIVERSITY#include""#include<iostream>#include<cstring>#include<ctime>usingnamespacestd;constshortCLAUSE_LENGTH=60;constshortCLAUSES_MAX_NUM=5;constshortPARA_MAX_NUM=7;constshortPARA_LENGTH=15;constshortWORD_MAX_NUM=8;//themaximalnumberofwordsperclauseconstshortSTACK_LENGTH=PARA_MAX_NUM*PARA_LENGTH;staticintclauses_sum=0;constcharSEPARATOR='|';structwordage{ charnegate; charpredicate; shortparameters_sum; charparameters[PARA_MAX_NUM][PARA_LENGTH];};structcan_be_resolved{ charpred; intclause_index[2]; intwordage_index[2];};struct_sigma{ charres_char; charinstead_char[PARA_LENGTH];};wordage*disassembled_clauses[CLAUSES_MAX_NUM][WORD_MAX_NUM];char**get_clause();short*disassemble_clause(char**clauses);can_be_resolved*get_resolved_predicates(short*words_sum,int*resolved_wd_sum);_sigma*get_sigma_set(can_be_resolved*reslvd_preds,int*reslvd_prds_sum,int*sigma_s);char*get_resolution_result(_sigma*sigma,intsigma_sm,char**p_clauses,can_be_resolved*reslvd_preds,intreslvd_prds_sum);char**get_clause(){ har*p_clauses[CLAUSES_MAX_NUM]; inti; cout<<"Entertheamountofclausesyouwillinput:"; cin>>clauses_sum; if(clauses_sum>CLAUSES_MAX_NUM) cout<<"Thenumberyouenteredisoverflow!\n"; for(i=0;i<clauses_sum;i++) { cout<<"Pleaseenterclause"<<i+1<<":\n\t"; p_clauses[i]=newchar[CLAUSE_LENGTH]; cin>>p_clauses[i]; } if(i==clauses_sum) cout<<"FinishedEntering!\n"; returnp_clauses;}short*disassemble_clause(char**clauses){ inti,j,k; intbracket_stack[STACK_LENGTH]; intstack_top=-1; boolis_nor=false,is_predicate,is_new_word; staticshort*word_sum=newshort[clauses_sum]; for(i=0;i<claus