---
title: "逻辑推理"
date: 2018-12-29
lastmod: 2020-01-05
weight: 9
type: 
icon: #
description: "人工智能高阶路线图,逻辑推理"
# search related keywords
---


- Differentiable Neural Logic Machines
- 数理逻辑的理解
  - 数理逻辑和Lambda calculus的关系
  - Epistemic Logic


## 相关学习资源

### Differentiable Neural Logic Machines

见<https://arxiv.org/abs/1910.02481>和相关研究


### 数理逻辑和Lambda calculus的关系

见Sørensen和Urzyczyn所著《Lectures on the Curry-Howard Isomorphism》


### Epistemic Logic

见van Ditmarsch等人所编《Handbook of Epistemic Logic》