最是琐事磨人耐性 搜索策略 引言 ## 盲目搜索 宽度优先搜索（BFS） OPEN表中简单的排序方式：扩展但花钱节点后生成的子结点总是置于OPEN表的后端，即OPEN表作队列，先进县出，使搜索优先横向发展。 宽度优先算法可以表示为如下步骤： 1. 把初始节点放入OPEN表。 2. 若OPEN表为空则问题无解，失败并退出。 3. 把OPEN表的第一个节点去除放入CLOSE表中并按照顺序冠以编号n。 4. 考察节点n不可扩展则转到第2步。 5. 否则扩展节点n将其子结点防盗OPEN表的尾部，并为每一个子节点都配置指向夫节点的指针，然后转第2步。 OPEN表 CLOSE表 [A] [] [B,C] [A] [C,D,E] [B,A] [D,E,F,H] [C,B,A] [D,E,F,H,I,J] [D,C,B,A] [D,E,F,H,I,J, G1 ,K] [E,D,C,B.A] [H,I,G1,K,L,M] [F,E,D,C,B,A] … 直到G2出现在OPEN表的最后 深度优先搜索（DFS） OPEN表中的排序方式：深...

确定性推理 推理的基本概念 推理的逻辑基础 谓词公式的永真性和可满足性 ## 自然演绎推理 归结演绎推理 子句型 子句与子句集 原子谓词公式及其否定都称为文字 任何文字的析取都称为子句 不含任何文字的子句称为空子句（空子句永假且不可满足） 子句或空子句构成的集合称为字句集 子句集化简 消除连接词” →“和”↔︎” 减少否定符号的辖域: 对变元标准化:在一个量词的辖域内，把谓词公式中收到该量词约束的边缘全部用另外的一个没有出现过的任意变元代替，使用不同量词约束的变元有不同的名字。 化为前束范式：基于第三步已经对变元标准化，直接将所有的量词都移动到公式的左边，移动时不能改变其相对顺序 消去存在量词： 若存在量词不出现在全称量词的辖域内（即它的左边没有全称量词）只需要一个新的个体常量替代它即可。 若存在量词位于一个或多个全称量词辖域内，则需要用Skolem函数f(x1,x2,...,xn)替换受该量词约束的变元然后再消除该存在量词。 化为SKolen标准型 (∀x1)...(∀xn)M(x1,x2,...,xn) 其中M(x1,x2,...,xn)是Skol...

<p> 我认为，对我们来说，一个人，一个党，一个军队，或者一个学校，如若不被敌人反对，那就不好了那一定是同敌人同13流合污了。如若被敌人反对，那就好了，那就证明我们同敌人划清界线了。如若敌人起劲地反对我们，把我们说得一塌糊涂，一无是处，那就更好了，那就证明我们不但同敌人划清了界线，而且证明我们的工作是很有成绩的了。 </p> <br/> <p> 《被敌人反对是好事而不是坏事》（一九三九年五月二十六日），人民出版社版第二页 </p> 知识表示 谓词逻辑表示法 命题 具有真假意义的判断句 ### 谓词 谓词逻辑表示方法: 例题： 产生式表示法 规则库：用于描述相应领域内值是的产生式的集合，是某领域知识（规则的存储器。其中规则是以产生式的形式表现的 综合数据库：用于存放输入的事实、从外部数据库输入的事实以及中间结果和最终结果的工作区。综合数据库是不断动态变化的 用于控制和协调规则库和综合数据库的运行，包含了控制策略和推理方式。 语义网络 基本概念 基本语义联系 类属关系 该类关系属性具有继承性...

绪论 人工智能的概念 人工智能的主要学派 符号主义（逻辑主义），是基于物理符号系统的人工智能学派逻辑谓词 联接主义（仿生学派），基于神经网络与学习算法的人工智能学派深度神经网络 行为主义（进化主义），基于控制论“动作-感知”控制系统的人工智能学派

网络层 网络层的一些重要概念 网络层提供的两种服务 网络层的工作是让在不同的局域网的主机间的通信问题（异构网络终端的信息交互问题） 网络层应该向运输层提供“面向连接”/“无链接”的服务？ IP协议采用无链接服务，灵活性强、实时性较差，采取尽最大努力交付的工作方式。 可靠交付应由网络还是端系统负责？ 端系统（运输层） 两种观点： 让网络负责可靠交付 模仿电信网络使用面向连接通信方式 先建立虚电路保证双方通信所需的一切网络资源。 再使用可靠传输的网络协议便可保证无差错、按序到达、不丢书、不重复。 虚电路只是一条逻辑连接，分组都沿着这条逻辑连接按照存储转发方式传送，并不是物理连接。电路交换是先建立了一条真正的连接。 网络提供数据报服务 网络层只向上提供简单灵活、无链接、尽最大努力交付的数据报服务 网络在发送分组时不建立先烈，每一个分组单独转发，与前后的分组无关。 网络层不提供服务质量的承诺，会出错和超时。 尽最大努力交付：不提供可靠交付，使得其处理灵活、成本低廉，实现起来更为简单。由端系统的运输层提供可靠交付（差错处理、流量控制）。 **数据报的发送可能会*...

个人常用辅助写博客的工具 Latex公式生成HTML网站 ### Latex公式查询网站 ### 去除背景 可以利用CSS和H5原生语言实现答案隐藏功能 要作为答案的图片插入代码如下 1<img src="/image/头像2.png" alt="" class="ans"> 123456789<style> .ans{ filter: blur(20px); } .ans:hover{ filter: blur(0px); }</style> 示例 博客插入语 12345<p style="font-family:'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;font-size : 20px;background-color: #0093E9;background-image: linea...

# 数据链路层 ### 使用点对点信道的数据链路层 #### 数据链路和数据帧 - 链路：一条无源的点到点物理线路，中级那没有任何其他的交换节点。（一条链路只是一条通路的组成部分） - 物理链路 - 数据链路（逻辑链路：物理链路加上必要的通信协议）：实现协议的硬件（网络适配器）和软件（协议）以及链路的总和 一般适配器都包含了数据链路层和物理层的功能 数据链路层传送的数据单位为“帧”,两个对等的数据链路层之间像一个数字管道一般传输以帧为单位的数据。不必考虑物理层实现的细节，想方设法水平将帧发送给对方。 ### 三个基本问题 - 封装成帧：在一段数据的前后分别加上首部和尾部构成一个帧，首位的作用为帧定界 当数据是由可以打印的ASCLL码组成的文本时可使用特殊的帧定界符，例如： - 透明传输：解决数据中出现帧定界符被错误的判断帧的边界的问题。 可以使用字节（字符）填充的方法，在帧定界符的前面插入一个转义字符”ESC” 连续出现两个ESC就删掉一个。 - 差错检测：在传输过程中可能会产生比特差错：0 变为1 ，或者1变成0。 一段时间内传输错误占总传...

物理层 基本概念 物理层考虑的是如何连接各种计算机的传输媒体上的传输数据比特流而非具体的传输媒体。其作用是要尽可能屏蔽不同传输媒介和通信手段的差异。物理层协议也被称为物理规程 物理层的主要任务 确定传输媒介的接口和某些特性 - 机械特性：接口所用接线器的形状大小、引线数目排列、固定和锁定装置等。 - 电气特性：指明接口电缆的各线上的典雅范围 - 功能特性：指明某条线上电平电压的意义 - 过程特性：指明对于不同功能的各种事件的顺序 数据通信基础知识 数据通信系统模型 一个数据传输系统包括三大部分：源系统、传输系统和目的系统。 数据： 信号 模拟信号 数字信号 码元 信道 信道 单工通信 半双工通信 全双工通信 基带信号：来自信源的信号，直接来自信源的信号大多都包含很多低频、甚至是直流成分，这对与在信道中传输时极其困难的。因此需要对基带信号进行调制。 调制 基带调制：仅对基带信号进行波形变换，使之能够适应信道传输的特性。变换后的信号仍然是基带信号 带通调制：使用载波进行调制，将基带信号搬运至较高的频段并转化为模拟信号以便于更好地在信道中传输。经过载波调制后的信号成...

互联网概述： 互联网和互连网 互联网（Internet）起源于美国，是现代世界上最大的、覆盖全球的计算机网络 互连网（Internetwork）：通过路由器把局域范围的网络连接起来形成更大的计算机网络称之为互连网——网络的网络 node:结点而非节点 云：表示网络，通常用来表示两种不同的情况 1. 云表示的网络已经包含了和网络相连的计算机 2. 云表示的网络里只有路由器和连接路由器的链路，习惯上与网络相连的计算机称为主机 网络将许多计算机连接在一起。 互联网通过路由器将许多网络连接在一起 互联网基础结构发展的三个阶段 第一阶段从单个网络向互联网发展 1969年第一个分组交换网络ARPANET 1983年，TCP/IP协议成为ARPANET上的标准协议，使得所有使用该协议的计算机都能使用互联网实现相互通信 1990年ARPANET正式关闭 第二阶段建成三级结构互联网 三级网络分为主干网、地区网和校园网 第三阶段形成多层次ISP结构互联网。 出现网络服务提供者ISP（Internet Service Provider） 根据提供服务的覆盖面积、IP地址数目分为主干ISP、地区...

123456789101112131415161718192021222324252627//// _oo0oo_// o8888888o// 88" . "88// (| -_- |)// 0\ = /0// ___/`---'\___// .' \\| |// '.// / \\||| : |||// \// / _||||| -:- |||||- \// | | \\\ - /// | |// | \_| ''\---/'' |_/ |// ...