知识图谱推理是一个基础问题，在电子商务推荐、生物医学知识图谱药品再利用等领域有着重要的应用。在本教程中，我将全面介绍知识图谱推理的最新进展，包括:(1)知识图谱嵌入的方法(如TransE、TransR和RotatE);(2)传统的归纳逻辑规划方法和最新的神经逻辑规划方法;(3)结合神经和符号逻辑方法进行知识图谱推理的最新进展。
2022-01-07 16:41:54
13.81MB
1
SATNet•
使用可区分的可满足性求解器桥接深度学习和逻辑推理。
这个软件库包含源代码重现实验中ICML 2019纸由， ，和。
什么是SATNet
SATNet是可微分（平滑）的最大可满足性（MAXSAT）求解器，可以集成到较大的深度学习系统的循环中。 该（近似）求解器基于快速坐标下降法来求解与MAXSAT问题相关的半定程序（SDP）。
SATNet如何运作
SATNet层将已知MAXSAT变量的离散或概率分配作为输入，并通过权重为S的MAXSAT SDP弛豫输出未知变量的分配猜测。 下图显示了该层正向通过的示意图。 为了获得后向通行证，我们通过SDP松弛来进行分析区别（有关更多详细信息，请参见本文）。
实验概述
我们表明，通过将SATNet集成到端到端学习系统中，我们可以以最少的监督方式学习挑战性问题的逻辑结构。 特别是，我们表明我们可以：
使用单比特监督学习奇偶校验功能（传
2021-12-02 17:49:35
275KB
1
无敌世界
Wumpus World 游戏的 Python 实现，该游戏使用人工逻辑推理来假设游戏状态空间，并尝试成功地遍历世界而不会死于 Wumpus。
该项目使用命题知识库 (KB) 并使用解析查询此知识库，以查看是否可以从新的命题逻辑中推断出任何内容。
2021-11-04 09:55:36
21KB
1
一款经典游戏，80后应该都玩过（文曲星上的游戏）。
系统随机生成1个4位数字（位之间不重复，即0-9最多出现1次），然后可以输入一个4位数字开始猜测（允许重复），回车后系统返回猜测情况，如数字存在且位置对，则A的数值+1，如数字存在，但位置不对，则B的数值+1，如数字不存在则AB都不加。
例如：系统生成数为3927，猜测3290会返回1A 2B，3位置与数字都对，29在集合内，但位置不对。
共10局，每局有10次机会，1次猜中有10分，依次递减。
然后在这个基础上，增加了双杀的玩法。
双杀：在4位数字后多一个+，则代表双杀，成功后得分翻倍，失败则本局0分。
2021-10-09 17:06:29
1.29MB
1