Probabilistic Graph Reasoning for Natural Proof Generation.
Changzhi SunXinbo ZhangJiangjie ChenChun GanYuanbin WuJiaze ChenHao ZhouLei LiPublished in: ACL/IJCNLP (Findings) (2021)
Keyphrases
- probabilistic logic
- probabilistic reasoning
- mathematical proofs
- bayesian networks
- proof theory
- proof theoretic
- logical inference
- probabilistic knowledge
- random walk
- graph structure
- graph model
- causal networks
- reasoning process
- structured data
- probabilistic model
- graphical representation
- theorem proving
- directed graph
- spanning tree
- generative model
- reasoning systems
- automated reasoning
- graph representation
- knowledge representation
- weighted graph
- graph theory
- connected components
- automated theorem proving
- logical rules
- proof procedure
- knowledge base
- artificial intelligence
- information theoretic
- default reasoning
- theorem prover
- bipartite graph
- uncertain data
- logical framework
- inference process
- decision procedures
- linear logic
- graph matching
- real world
- directed acyclic graph
- conditional probabilities