什么是自然演绎推理从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理。等价式设P与Q是D上的两个谓词公式，若对D上的任意解释，P与Q都有相同的真值，则称P与Q在D上是等价的。如果D是任意非空个体域，则称P与Q是等价的，记做P<=>Q。永真蕴含式对谓词公式P和Q，如果P→Q永真，则称P永真蕴涵Q，且称Q为P的逻辑结论，P为Q的前提，记做P...

搜索的含义一、概念：依靠经验，利用已有知识，根据问题的实际情况，不断寻找可利用知识，从而构造一条代价最小的推理路线，使问题得以解决的过程称为搜索二、适用情况：不良结构或非结构化问题；难以获得求解所需的全部信息；更没有现成的算法可供求解使用。三、搜索的类型：（1）按是否使用启发式信息：盲目搜索：按预定的控制策略进行搜索，在搜索过程中获得的中间信息并不改变控制策略。启发式搜索：在搜索...

产生式推理的基本结构规则库：用于描述相应领域内知识的产生式集合。综合数据库：一个用于存放问题求解过程中各种当前信息的数据结构。控制系统：包括控制和推理机两个部分，由一组程序组成，负责整个产生式系统的运行，实现对问题的求解。产生式的正向推理步骤：（1）把用户提供的初始证据放入综合数据库。（2）检查综合数据库中是否包含了问题的解，若已包含，则求解结束，并成功退出；否则，执行下一步...

谓词公式的范式范式是公式的标准形式，公式往往需要变换为同它等价的范式，以便对它们进行一般性的处理。在谓词逻辑中，根据量词在公式中出现的情况，可将谓词公式的范式分为以下两种。前束范式任一含有量词的谓词公式均可化为与其对应的前束范式...

逻辑学基础（1）命题和真值一个陈述句称为一个断言。凡有真假意义的断言称为命题。命题的意义通常称为真值，它只有真、假两种情况。（2）论域也称为个体域，是由讨论的对象的全体构成的非空集合（3）谓词实现的是从个体域中的个体到 T 或 F 的映射。分为谓词名和个体两个部分谓词名：表示个体的性质、状态或个体之间的关系，用大写英文字母表示个体：命题中的主语，用小写英文字母表示。可以是常量、变...

语义网络的基本结构从结构上看，语义网络是由一些最基本的语义单元构成的，这种最基本的语义单元被称为语义基元。语义基元可用三元组：（结点1，弧，结点2） 来描述。当把多个语义基元用相应的语义联系关联在一起时，就形成了一个语义网络。事实与规则的语义网络的表示形式是相同的，区别仅是弧上的标志不同基本的语义关系（1）实例关系：一个事物是另外一个事物的具体例子，语义标志是 ISA（2）分类关...

一、算法思想在状态空间搜索中，如果每一步都利用估价函数f(n)=g(n)+h(n)对Open表中的结点进行排序，则称A算法。它是一种为启发式搜索算法。算法类型：全局择优： 从Open表的所有结点中选择一个估价函数值最小的进行扩展。局部择优：仅从刚生成的子结点中选择一个估价函数值最小的进行扩展。二、全局择优搜索A算法过程把初始结点S0放入Open表中，f(S0)=g(S0)+h(...

一、概述博弈的概念博弈是一类具有智能行为的竞争活动，如下棋、战争等。博弈的类型双人完备信息博弈：两位选手（例如MAX和MIN ）对垒，轮流走步，每一方不仅知道对方已经走过的棋步，而且还能估计出对方未来的走步。机遇性博弈：存在不可预测性的博弈，例如掷币等。博弈树若把双人完备信息博弈过程用图表示出来，就得到一棵与/或树，这种与/或树被称为博弈树。在博弈树中，那些下一步该MAX走步的结...

一、概念：依靠经验，利用已有知识，根据问题的实际情况，不断寻找可利用知识，从而构造一条代价最小的推理路线，使问题得以解决的过程称为搜索二、适用情况：不良结构或非结构化问题；难以获得求解所需的全部信息；更没有现成的算法可供求解使用。三、搜索的类型：（1）按是否使用启发式信息：盲目搜索：按预定的控制策略进行搜索，在搜索过程中获得的中间信息并不改变控制策略。启发式搜索：在搜索中加入了与问...

之前一直对stacking一知半解，找到的资料也介绍的很模糊。。所以有多看了几篇文章，然后来此写篇博客，加深一下印象，顺便给各位朋友分享一下。stacking的过程有一张图非常经典，如下：虽然他很直观，但是没有语言描述确实很难搞懂。上半部分是用一个基础模型进行5折交叉验证，如：用XGBoost作为基础模型Model1，5折交叉验证就是先拿出四折作为training data，另外...