化为子句集的九步法.doc

下载文档 降价啦

198
0
约5.28千字
约 11页
2020-09-23 发布于天津
举报
版权申诉
保障服务

化为子句集的九步法.doc

1、本文档共11页，其中可免费阅读4页，需付费100金币后方可阅读剩余内容。
2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。

化为子句集的九步法一实验目的熟悉谓词公式化为子句集的九个步骤理解消解谓词公式化为子句集规则能把任意谓词公式转换成子句集掌握基于规则推理的基本方法二实验原理产生式系统用来描述若干个不同的以一个基本概念为基础的系统这个基本概念就是产生式规则或产生式条件和操作对在产生式系统中论域的知识分为两部分用事实表示静态知识用产生式规则表示推理过程和行为任一谓词公式通过九步法可以化成一个子句集九步法消解包括消去蕴含和等价符号把否定符号移到紧靠谓词的位置上变量标准化消去存在量词化为前束型化为标准形略去全称量词消去合

化为子句集的九步法一、实验目的：熟悉谓词公式化为子句集的九个步骤，理解消解（谓词公式化为子句集）规则，能把任意谓词公式转换成子句集，掌握基于规则推理的基本方法。二、实验原理产生式系统用来描述若干个不同的以一个基本概念为基础的系统，这个基本概念就是产生式规则或产生式条件和操作对。在产生式系统中，论域的知识分为两部分：用事实表示静态知识；用产生式规则表示推理过程和行为。任一谓词公式通过九步法可以化成一个子句集。九步法消解包括消去蕴含和等价符号、把否定符号移到紧靠谓词的位置上、变量标准化、消去存在量词、化为前束型、化为Skolem标准形、略去全称量词、消去合取词，把母式用子句集