人工智能实验报告2王浩算法.docxVIP

人工智能基础实验报告 实验题目：王浩算法 姓名：薛晓波 学号：2220152080 班级：软件工程2015-2班 指导老师：邓安生老师 完成日期：2017年11刀23日 一、实验内容 实现命题逻辑框架内的王浩算法。 （1） 将命题逻辑中的王浩算法推广至下述命题语言的情形之下: i命题变量符号：，，， ii逻辑连接符：，，，， iii间隔符：， （2） 在上述⑴中所定义的命题语言中实现王浩算法。 二、实验目的及要求 1?目的：熟练掌握命题逻辑中的王浩算法 要求： （1） 实验题冃必须由个人独立完成，允许自行参考相关文献资料，但严禁同学间相互 拷贝和抄袭程序以及文档资料。实验结束后一周内上交实验报告和实验文档资料。 （2） 提交的文档资料包括设计文档和程序源代码。设计文档和程序源代码以书而文档 方式提供（用A4纸打印）；并提交电子文档备查。 实验环境：WindowslO 4bit+SWI-Prolog 二、实验思路 ?主要思路 王浩算法实质上是一个反向推理的过程，它将给定的公式化成合取范式，然后通过判断 每个子句是否恒真的来判定给定的公式是否是恒真的。 ?主要函数 （1） init（）：主要作用是负责将符号初始化成树的结构。 （2） clone（）：复制一棵完全相同的符号树。 （3） restruct（）：查找所有, |, ?〉等符号，并将其拆分成新形式：！，?符号。 （4） sea