<<AI入门(9)>>(C)

 消解原理: 在我们前面所说的谓词公式,推理规则和置换合一等概念基础上我们进一步研究消解原理. 什么是消解? 我们举个例子:如果存在公式E1//E2和另一个公式~E2//E3,那么E1//E3在逻辑上 就成立,这就是消解,我们称E1//E3为E1//E2和~E2//E3的消解式. 在说明消解过程之前,我们先说明任意一谓词演算公式可以化成一个字句集.变换过程如下: 1.用//和~符号消去=&gt; 如:以~A//B替换A=&gt;B 2.减少否定符号的辖域,每一个否定符号只用到一个谓词符号上 如:以~A//~B替代~(A//B) 3.对变量标准化,在任一量词辖域内,受量词约束的变量为一哑元.应该保证每个来量词有自己 的唯一的哑元. 如:(/-/ x){P(x)=&gt;("倒E" x)Q(x)} 标准化为 (/-/ x){P(x)=&gt;("倒E" y)Q(y)} 4.消去存在量词 5.化为前约束 6.把母式化为合取范式 如:把A//(B//C)化为(A//B)//(A//C) 7.消去前称量词 第4步以消去了存在量词,公式中只剩下全称量词了. 8.消去/ 9.更换变量的名称 消解推理规则: 1.假言推理: 已知:P和~P//Q(即P=&gt;Q) 结论:Q 2.合并: 已知:P//Q和~P//Q 结论:Q 3.重言式: 已知:P//Q和~P//~Q 结论:P//~P和Q//~Q 4.矛盾式: 已知:~P和P 结论:NIL 5.三段论: 已知:~P//Q(即P=&gt;Q)和~Q//R(即Q=&gt;R) 结论:~P//R(即P=&gt;R) 我们可以合并上面几个运算为一简单的推理规则.
  • 0
    点赞
  • 0
    评论
  • 0
    收藏
  • 一键三连
    一键三连
  • 扫一扫,分享海报

1 引言 4 1.1 课程设计目标 4 1.2 编程工具(编程环境)介绍 4 1.3 实施时间及主要实施步骤 4 2 需求分析 5 3 系统总体设计 6 4 数据库设计 6 5 主要功能模块的设计与实现 10 5.1 功能模块1详细设计(综合查询员工信息)..........................................................10 5.1.1 详细设计.......................................................................................................10 5.1.2 算法流程........................................................................................................15 5.1.3 界面设计及测试结果.....................................................................................15 6 调试分析 15 7 用户手册 16 8 测试结果 17 8.1 员工信息的添加...................................................................................................17 8.2 员工信息的修改...................................................................................................17 8.3 员工信息的删除...................................................................................................18 8.4 员工信息的综合查询...........................................................................................18 8.5 员工信息按性别统计的结果................................................................................19 8.6 员工信息按状态统计的结果...............................................................................19 8.7 员工信息按职称统计的结果................................................................................20 9 结论 20 10 参考文献 20
©️2021 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值