- 博客(7)
- 资源 (9)
- 问答 (1)
- 收藏
- 关注
RSS订阅原创 Knowledge 8一阶谓词逻辑-resolution规则
1.写在前面我们在前面介绍了一阶谓词逻辑的Generalized Modus Ponens规则，这个地方，我们介绍第二个规则resolution，基本上一样要因为有变数的关系一样要找substitution，那你如果找到unify，使得某两个clause里面的literal它们互为一个complement补充关系的话，那你就可以使用。2.resolution比如说如果我们这一句的话...
2019-12-20 21:32:31
4210
原创 【论文阅读CVPR2019】Text2Scene: Generating Compositional Scenes from Textual Descriptions
目录写在前面：1.本文的主要贡献：2.相关工作：3.模型各个部分介绍3.1文本编码器3.2对象和属性解码器3.2.1基于注意力机制的对象解码器3.2.2基于注意力机制的属性解码器3.3 前向嵌入模块论文题目：Text2Scene: Generating Compositional Scenes from Textual Descriptions（根据文本描...
2019-12-10 12:59:09
1688
原创 Knowledge 7一阶谓词逻辑-Generalized Modus Ponens规则
1.写在前面 propositionalize虽然可以做到我们想做的事，但是它没效率。怎么做更有效率点呢？我们首先来介绍一个，我们叫GeneralizedModusPonens2.GeneralizedModusPonens GeneralizedModusPonens，它其实就是ModusPonens，ModusPonens是如果知道一个...
2019-12-09 21:33:33
4741
2
原创 Knowledge 6一阶谓词逻辑的UI和EI和proposotionalization命题化问题
目录1.写在前面2.instantiation中UI 和EI的概念3.如何利用Instantiation在knowlegebase中做proposotionalization（命题化）事情1.写在前面 我们了解了一阶谓词逻辑的基本概念，接下来我们看一下，在一阶谓词逻辑中如何做inference，我们先介绍两个概念，UI和EI，这两个都是instantiati...
2019-12-09 21:24:32
3030
3
原创 Knowledge 复习内容
最后一次课复习内容： 前面都讲的是知识表示和知识推理的内容，也就是人工智能里面的符号主义的学派（另一个是连接主义），把脑袋中存储的知识用符号表示，用什么符号呢？逻辑的形式化语言来表示，我们讲了两个逻辑，一个命题逻辑和一阶谓词逻辑，表式的范围是不一样，命题逻辑能够表达能力小一些。 两套逻辑，讲课思路如图。每一种逻辑都会定义形式语言、定义形式语法，语言要定义清楚...
2019-12-06 18:23:28
2347
原创 利用python生成一个从0开始的n个数字的列表（也可以是从m到n）
# ==第一种===========================================================================def test1(): l = [] for i in range(1000): l = l + [i]# ==第二种（append ）=============================...
2019-12-01 16:06:47
2834
原创 pandas新增一列作为id，或者新增有默认值的一列
原始数据：我们想要在text这一列前面加上一列作为id（数字从小到大吧），在后面加上一列作为标签，默认0吧import pandas as pddata = pd.read_csv('test.txt')n = len(data)+1nlist = range(1,n)data['id'] = nlistdata['label'] = 0print(data.head...
2019-12-01 15:59:57
7797
catVSdog_data深度学习猫狗分类任务数据集
2020-04-15
LaTex参考书籍（刘海洋入门+short快速）
2019-03-05
html5实现腾讯QQ登录界面背景动画特效（QQ背景动态）
2017-08-02
mysql创建视图遇到问题
2018-03-02
TA创建的收藏夹 TA关注的收藏夹
TA关注的人