Can Graph Neural Networks Help Logic Reasoning?
Yuyu ZhangXinshi ChenYuan YangArun RamamurthyBo LiYuan QiLe SongPublished in: CoRR (2019)
Keyphrases
- neural network
- proof theory
- automated reasoning
- computational properties
- order of magnitude reasoning
- human reasoning
- deductive reasoning
- proof theoretic
- probabilistic logic
- intuitionistic logic
- fuzzy logic
- logical framework
- knowledge representation
- pattern recognition
- back propagation
- abductive reasoning
- graphical representation
- logical inference
- reasoning engine
- knowledge representation formalisms
- artificial neural networks
- graph representation
- reasoning systems
- logical rules
- graph structure
- graph theory
- recurrent neural networks
- self organizing maps
- random walk
- logic programming
- reasoning about actions
- genetic algorithm
- knowledge base
- directed graph
- relational structures
- structured data
- modal logic
- commonsense reasoning
- proof procedure
- defeasible logic
- weighted graph
- graph model
- default reasoning
- bipartite graph
- undirected graph
- probabilistic reasoning
- qualitative reasoning
- reasoning problems
- predicate logic
- classical logic
- causal reasoning