Neural Logic Machines.
Honghua DongJiayuan MaoTian LinChong WangLihong LiDenny ZhouPublished in: CoRR (2019)
Keyphrases
- network architecture
- neural network
- logic programming
- modal logic
- bio inspired
- neural model
- artificial neural
- deontic logic
- predicate logic
- automated reasoning
- multi valued
- formal theory
- proof theory
- data sets
- probabilistic logic
- nonmonotonic logics
- abductive reasoning
- programming language
- special case
- sound and complete axiomatization