Probabilistic Graph Reasoning for Natural Proof Generation.
Changzhi SunXinbo ZhangJiangjie ChenChun GanYuanbin WuJiaze ChenHao ZhouLei LiPublished in: CoRR (2021)
Keyphrases
- probabilistic logic
- probabilistic reasoning
- logical inference
- mathematical proofs
- theorem proving
- graph structure
- logical rules
- probabilistic model
- proof theory
- proof theoretic
- probabilistic knowledge
- linear logic
- generative model
- proof procedure
- graphical representation
- bayesian networks
- graph representation
- directed graph
- graph matching
- graph model
- cost based abduction
- theorem prover
- knowledge representation
- structured data
- graph theory
- bipartite graph
- graph based algorithm
- uncertain data
- graph theoretic
- graph mining
- inference process
- reasoning tasks
- graph data
- causal networks
- automated reasoning
- connected components
- weighted graph
- random walk