辑是“必然的得出”，是“推理的有效性”，是“从前提真保证得出结论真”。通俗的说是研究推理形式（有效性）而不是其负载内容的。对应的功效是刻画思维中演绎推理这一基本领域的工具。王路《逻辑的观念》中有个定义（好像是李小五的），凭记忆写出（专门背过，但也不能保证无误）：【逻辑就是对形式正确的推理关系进行可靠 ...
分类：
其他好文 时间：
2017-09-11 21:13:07
阅读次数：
117
逻辑思维（Logical thinking），人们在认识事物的过程中借助于概念、判断、推理等思维形式能动地反映客观现实的理性认识过程，又称抽象思维。它是作为对认识者的思维及其结构以及起作用的规律的分析而产生和发展起来的。只有经过逻辑思维，人们对事物的认识才能达到对具体对象本质规律的把握，进而认识客观 ...
分类：
其他好文 时间：
2017-09-11 21:06:34
阅读次数：
119
https://www.luogu.org/problem/show?pid=1784 题目描述 数独是根据9×9盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫内的数字均含1-9，不重复。每一道合格的数独谜题都有且仅有唯一答案，推理方法也以此为基础，任何无解或多解的题 ...
分类：
其他好文 时间：
2017-09-10 22:52:12
阅读次数：
235
变分贝叶斯EM指的是变分贝叶斯期望最大化（VBEM, variational Bayes expectation maximization），这种算法基于变分推理，通过迭代寻找最小化KL(Kullback-Leibler)距离的边缘分布来近似联合分布，同时利用mean field 近似减小联合估计的 ...
分类：
其他好文 时间：
2017-09-10 13:28:55
阅读次数：
152
规则引擎简介 Java规则引擎是推理引擎的一种，它起源于基于规则的专家系统。 Java规则引擎将业务决策从应用程序代码中分离出来，并使用预定义的语义模块编写业务决策。Java规则引擎接受数据输入，解释业务规则，并根据规则作出业务决策。从这个意义上来说，它是软件方法学在"关注点分离"上的一个重要的进展 ...
分类：
编程语言 时间：
2017-09-05 01:47:46
阅读次数：
353
重新审视 Stirling Number . 1. 无标号计数, 带标号计数 我们经常处理的有两种计数类型: 组合计数, 排列计数. 但是, 我更喜欢这样称呼: 组合计数 为 无标号计数. 排列计数 为 带标号计数. 因为它能反应我们直观看到的. 无标号计数 有一个等价的概念: 定序计数. 把无标号 ...
分类：
其他好文 时间：
2017-09-01 12:46:32
阅读次数：
241
本书是林毅夫与喀麦隆一位经济学家合著。基本的观点是：事实证明华盛顿共识是错误的，GIFF是穷国发展正道。GIFF的主要思想是政府找到对标国家，强力推行产业政策。 作为一个经济学外行，读后感觉关于华盛顿共识的错误的推理过程是比较严密的，但是作者推崇的指引穷国致福的明灯GIFF，没有实际应用的案例，这应 ...
分类：
其他好文 时间：
2017-08-30 23:41:29
阅读次数：
292
结构树 1. 算法导论 数据结构 算法 2. 传统智能算法 蚁群算法 遗传算法 模拟退火算法 禁忌搜索 3. 机器学习 前沿算法 小样本学习 贝叶斯推理及理论 图模型 核方法 谱方法 4. 优化方法深度 5. 深度学习 梯度方法探讨 强化学习 迁移学习 对抗学习 表示学习 稀疏学习 主动学习 NLP ...
分类：
其他好文 时间：
2017-08-24 21:33:28
阅读次数：
135
作者：蓝海豹 MySQL数据类型，可以被分为3类：数值类型、日期和时间类型以及字符串(字符)类型 方括号(“[”和“]”)指出可选的类型修饰符的部分 M 指出最大的显示尺寸。最大的合法的显示尺寸是 255 。 D 适用于浮点类型并且指出跟随在十进制小数点后的数码的数量。最大可能的值是30，但是应该不 ...
分类：
数据库 时间：
2017-08-24 11:33:32
阅读次数：
256
一、论文所解决的问题 实现长期记忆（大量的记忆），而且实现怎样从长期记忆中读取和写入，此外还增加了推理功能 为什么长期记忆非常重要：由于传统的RNN连复制任务都不行，LSTM预计也够玄乎。 在QA问题中，长期记忆是非常重要的，充当知识库的作用。从当中获取长期记忆来回答问题 上面这个问题就是，当遇到有 ...
分类：
Web程序 时间：
2017-08-17 20:06:11
阅读次数：
182
