【人工智能基础】经典逻辑与归结原理

本章节的大部分内容与离散数学的命题、谓词两章重合。

假言推理的合式公式形式

R,R→P⇒PR,¬R∨P⇒P

链式推理 

R→P,P→Q⇒R→Q¬R∨P,¬P∨Q⇒¬R∨Q

互补文字:P和¬P 

亲本子句:含有互补文字的子句 ¬R∨P,¬P∨Q为亲本子句

注意:

  • 必须化成析取范式才能归结
  • 子句之间的逻辑关系是合取关系
  • (子句间合取,子句内析取)

可以通过把给定条件与待证结果的非进行合取,若归结结果为空,则得证,如:

已知规则:如果机器人有电,并且货物没有超重,则机器人可以移动货物。

现在已知:机器人有电,且机器人无法移动货物

求证:货物超重

证明过程:

定义 电池有电为BatteryOk,货物超重为OverWeight,机器人能够移动货物为Move。

我们可以列出

1.

已知条件 Battery_Ok,¬Move

2.

已知规则 BatteryOk∧¬OverWeight→Move =¬(BatteryOk∧¬OverWeight)∨Move =¬BatteryOk∨OverWeight∨Move

3.

结论:OverWeight 结论的非为¬OverWeight

归结过程如下: 

归结过程

 归结结果为空,结论超重得证。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/bicheng/1393.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

命理八字之电子木鱼的代码实现

#uniapp# #电子木鱼# 不讲废话,上截图 目录结构如下图 功能描述: 点击一下,敲一下,伴随敲击声,可自动点击。自动点击需看视频广告,或者升级VIP会员。 疑点解答: 即animation动画的时候&…

Window中Jenkins部署asp/net core web主要配置

代码如下 D: cd D:\tempjenkins\src\ --git工作目录 dotnet restore -s "https://nuget.cdn.azure.cn/v3/index.json" --nuget dotnet build dotnet publish -c release -o %publishPath% --发布路径

装饰器学习

【一】什么是装饰器 装饰器指的就是为被装饰的对象添加新的功能 器 代表工具 增加后的调用方式不变 在不改变源代码和调用方式的基础上增加额外的新功能 【二】装饰器的用途 对上线后的程序进行新功能的增加和修改 给一个功能增加新的需求或者改变原来的程序运行逻辑 【…

Day08React——第八天

useEffect 概念:useEffect 是一个 React Hook 函数,用于在React组件中创建不是由事件引起而是由渲染本身引起的操作,比如发送AJAx请求,更改daom等等 需求:在组件渲染完毕后,立刻从服务器获取频道列表数据…

iOS RACScheduler 使用详解

RACScheduler 是 ReactiveCocoa 框架中的一个关键组件,用于在 iOS 开发中管理任务的并发执行。以下是如何详细使用 RACScheduler 的指南,以 Markdown 格式展示。 主要调度器 主线程调度器 用于在主线程上执行任务,通常用于 UI 更新操作。 …

Java:二叉树(1)

从现在开始,我们进入二叉树的学习,二叉树是数据结构的重点部分,在了解这个结构之前,我们先来了解一下什么是树型结构吧! 一、树型结构 1、树型结构简介 树是一种非线性的数据结构,它是由n(n>…

通用类的中文实体命名识别

中文命名实体识别(Chinese NER)调研:https://github.com/taishan1994/awesome-chinese-ner 论文:Unified Structure Generation for Universal Information Extraction (一统实体识别、关系抽取、事件抽取、情感分析&a…

TCP协议学习记录

TCP协议学习记录 简述 对TCP有诸多疑惑的地方: 1、TCP和socket的关系 2、TCP客户端和服务端如何区分 3、TCP连接的两端,端口号需要一致吗 什么是socket 一种编程抽象 编写程序时,利用socket可以使用TCP;假设现在已经将TCP协议…

Matlab无基础快速上手1(遗传算法框架)

本文用经典遗传算法框架模板,对matlab新手友好,快速上手看懂matlab代码,快速应用实践,源代码在文末给出。 基本原理: 遗传算法(Genetic Algorithm,GA)是一种受生物学启发的优化算法…

在Gtiee搭建仓库传代码/多人开发/个人代码备份---git同步---TortoiseGit+TortoiseSVN

文章目录 前言1.安装必要软件2. Gitee建立新仓库git同步2.1 Gitee建立新仓库2.2 Gitee仓库基本配置2.3 Git方式进行同步 3. TortoiseGitTortoiseSVN常用开发方式3.1 秘钥相关3.2 TortoiseGit拉取代码TortoiseGit提交代码 4. 其他功能探索总结 前言 正常企业的大型项目都会使用…

TR5 - Transformer的位置编码

🍨 本文为🔗365天深度学习训练营 中的学习记录博客🍖 原作者:K同学啊 目录 前言什么是位置编码1. 定义2. 三角函数3. 位置编码公式4. 位置编码示例 可视化理解位置编码1. 代码实现2. 观察不同位置对应的曲线3. 整句话的位置编码可…

排序 “贰” 之选择排序

目录 ​编辑 1. 选择排序基本思想 2. 直接选择排序 2.1 实现步骤 2.2 代码示例 2.3 直接选择排序的特性总结 3. 堆排序 3.1 实现步骤 3.2 代码示例 3.3 堆排序的特性总结 1. 选择排序基本思想 每一次从待排序的数据元素中选出最小(或最大)的一个…

Guitar Pro简谱输入方法 Guitar Pro简谱音高怎么调整,Guitar Pro功能介绍

一、新版本特性概览 Guitar Pro v8.1.1 Build 17在保留了前版本强大功能的基础上,进一步优化了用户体验和功能性能。新版本主要更新包括以下几个方面: 界面优化:新版界面更加简洁美观,操作更加便捷,即使是初学者也能快…

aixcoder介绍

最近了解了一下国内开源的aixcoder,代码自动补全的工具,可以理解为国内版开源的的copilot。 一开始公司给提供了一个代码自动补全的插件,这几天发现原来用的就是aixcoder,所以专门了解了一下。。 介绍 aiXcoder 是一款基于深度…

在线拍卖系统,基于SpringBoot+Vue+MySql开发的在线拍卖系统设计和实现

目录 一. 系统介绍 二. 功能模块 2.1. 管理员功能模块 2.2. 用户功能模块 2.3. 前台首页功能模块 2.4. 部分代码实现 一. 系统介绍 随着社会的发展,社会的各行各业都在利用信息化时代的优势。计算机的优势和普及使得各种信息系统的开发成为必需。 在线拍卖系…

Docker - 简介

原文地址,使用效果更佳! Docker - 简介 | CoderMast编程桅杆https://www.codermast.com/dev-tools/docker/docker-introduce.html Docker是什么? Docker 是一个开源的应用容器引擎,基于 Go 语言 并遵从 Apache2.0 协议开源。 D…

vulfocus靶场couchdb 权限绕过 (CVE-2017-12635)

Apache CouchDB是一个开源数据库,专注于易用性和成为"完全拥抱web的数据库"。它是一个使用JSON作为存储格式,JavaScript作为查询语言,MapReduce和HTTP作为API的NoSQL数据库。应用广泛,如BBC用在其动态内容展示平台&…

串口RS485

1.原理 全双工:在同一时刻可以同时进行数据的接收和数据的发送,两者互不影响 半双工:在同一时刻只能进行数据的接收或者数据的发送,两者不能同时进行 差分信号幅值相同,相位相反,有更强的抗干扰能力。 干…

vlan的学习笔记1

vlan: 1.一般情况下:以下概念意思等同: 一个vlan一个广播域 一个网段 一个子网 2.一般情况下: (1)相同vlan之间可以直接通信,不同vlan之间不能直接通信! (2)vlan技术属于二层技术&…

C语言中, 文件包含处理,#include< > 与 #include ““的区别

文件包含处理 指一个源文件可以将另外一个文件的全部内容包含进来 &#xff23;语言提供了#include命令用来实现文件包含的操作 #include< > 与 #include ""的区别 <> 表示系统直接按系统指定的目录检索 "" 表示系统先在 "" 指定…