人工智能实验报告.docVIP

《人工智能》实验报告 ——子句消解实验 姓名： A B 学号： ********* * 专业： ############### 导师： $$$$$$$ 2012年1月5日 子句消解实验 一、实验目的： 理解含有变量的子句如何使用消解规则，掌握子句消解的原理和规则，能熟练进行任意两个子句的消解，了解消解推理的某些常用规则。 ? 二、实验原理： 对子句集进行消解推理，得到相应的结论。为了对含有变量的子句使用消解规则，我们必须找到一个置换，作用于父辈子句使其含有互补文字。消解两个子句时，可能有一个以上的消解式 。 三、实验条件 ?硬件：微型计算机。 程序清单，见附件。 实验结果 附件： // ClausesResolution.cpp // A Implemention Of Simple Clauses Resolution // Author: A B , ANHUI UNIVERSITY #include stdafx.h #includeiostream #includecstring #includectime using namespace std; const short CLAUSE_LENGTH=60; const short CLAUSES_MAX_NUM=5; const short PARA_MAX_NUM=7; const short PARA_LENGTH=15; const short WORD_MAX_NUM=8; //the maximal number of words per clause const short STACK_LENGTH=PARA_MAX_NUM*PARA_LENGTH; static int clauses_sum=0; const char SEPARATOR=|; struct wordage { char negate; char predicate; short parameters_sum; char parameters[PARA_MAX_NUM][PARA_LENGTH]; }; struct can_be_resolved { char pred; int clause_index[2]; int wordage_index[2]; }; struct _sigma { char res_char; char instead_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,int sigma_sm,char** p_clauses,can_be_resolved* reslvd_preds,int reslvd_prds_sum); char** get_clause() { static char* p_clauses[CLAUSES_MAX_NUM]; int i; coutEnter the amount of clauses you will input:; cinclauses_sum; if(clauses_sumCLAUSES_MAX_NUM) coutThe number you entered is overflow!\n; for (i=0;iclauses_sum;i++) { coutPlease enter clause i+1:\n\t; p_clauses[i]=new char[CLAUSE_LENGTH]; cinp_clauses[i]; } if(i==clauses_sum) coutFinished Entering!\n; return p_clauses; } short* disassemble_clause(char** clauses) { int i,j,k; int bracket_stack[STACK_LENGTH];