1 - 关于空间实体和空间关系的知识表示和推理： 在AI领域 - 主要是拓扑关系 - formal 逻辑 meretopology - 推理 在图像解释方面欠发达 - 需要不精确的只是表示 - 半量化框架->数值评估 - 例如 在非清晰图像中的结构识别 主要成分 - 知识表示 包含空间关系 - 不精 ...
分类：
其他好文 时间：
2018-02-14 10:35:24
阅读次数：
277
?一、直言三段论的概述 ?1.直言三段论的定义 ?直言三段论又称三段论，是传统形式逻辑中的主要内容，是传统形式逻辑体系中最为严密的部分。现代逻辑就是在这个基础上发展起来的。 ?三段论是由包含着一个共同项的两个性质判断为前提，推出一个新的性质判断为结论的推理形式。（并且就主项和谓项来说，它只能包含三个 ...
分类：
其他好文 时间：
2018-02-12 20:15:07
阅读次数：
155
一、集合（Collections） Java使用集合来组织和管理对象。 1、Java的集合类 集合类主要负责保存、盛装和管理对象，因此集合类也被称为容器类。 集合类分为Set、List、Map和Queue四大体系。 Set 代表无序、不可重复集合； List 代表有序、可重复集合； Map 代表具有 ...
分类：
编程语言 时间：
2018-02-06 20:12:12
阅读次数：
147
一、技能学习经验 有什么技能比90%的人更好？ 有什么技能比90%的人更好？ 这个问题问的就很emmmm。。我觉得自己的推理和逻辑思维能力比较出众，面对新事物的自学速度比较快。 针对技能谈一下成功的经验。 针对技能谈一下成功的经验。 每一项出众的技能都是与平时息息相关的。我的自学能力跟我从小所处的环 ...
分类：
编程语言 时间：
2018-02-04 00:31:58
阅读次数：
213
作者 | Ben Shaver 翻译 | 刘畅 编辑 | Donna 大多数时候，贝叶斯统计在结果在最好的情况下是魔法，在最糟糕时是一种完全主观的废话。在用到贝叶斯方法的理论体系中，马尔可夫链蒙特卡洛方法尤其神秘。 这篇文章将介绍马尔可夫链蒙特卡洛方法，极其背后的基本数学推理。 首先，什么是马尔可夫 ...
分类：
其他好文 时间：
2018-02-03 16:01:47
阅读次数：
173
一、各数据类型的最大值和最小值整数：以byte为例，我们知道，byte共有8个bit位，最大值是0111111，最小值是10000000，用十进制来表示就是-128~127，即-2^7~2^7。依照上面的推理方式可知总结下表：数据类型bit位取值范围byte8-2^7~2^7-1short16-2^15~2^15-1int32-2^32~2^32-1long64-2^63~2^63-1小数：我们知
分类：
编程语言 时间：
2018-02-02 16:07:36
阅读次数：
198
机器不学习 jqbxx.com-机器学习好网站 假设我们正在建造一个家用机器人，并希望它能够回答与它周围的一些问题。我们可能会它问这样的问题： 我们如何确保机器人可以正确回答这些问题？深度学习的标准方法是收集问题，图像和答案的大型数据集，并训练一个单一的神经网络，从问题和图像直接映射到答案。如果大多 ...
分类：
其他好文 时间：
2018-02-02 14:09:19
阅读次数：
186
介绍了isA这种二元关系和它的应用即推理Taxonomy以得到完整的Taxonomy，再就是介绍了set expansion方法，从种子出发，找到文本中两个与种子相同的实例，就把该文本中其他的实例都添加至种子表中来逐渐的提取实例的方法，此方法也可以应用于HTML表格中。 ...
分类：
其他好文 时间：
2018-01-30 00:17:52
阅读次数：
152
算法的时间复杂度和空间复杂度-总结 通常，对于一个给定的算法，我们要做 两项分析。第一是从数学上证明算法的正确性，这一步主要用到形式化证明的方法及相关推理模式，如循环不变式、数学归纳法等。而在证明算法是正确的基础上，第二部就是分析算法的时间复杂度。算法的时间复杂度反映了程序执行时间随输入规模增长而增 ...
分类：
其他好文 时间：
2018-01-18 16:58:28
阅读次数：
175
一、 总结自己的alpha 过程 1.团队的整体情况 团队整体团结状态很好，大家都大致服从组长安排，将该完成的大部分工作都完成。但是操作系统位数会导致几个问题，但是我们马上开发了不同系统位数所适合的版本，整个团队很努力的。 2.我做了哪些工作 和队友制定计划并分配了任务，我负责数据库搭建。 3.我是 ...
分类：
其他好文 时间：
2018-01-14 01:00:18
阅读次数：
179
