Probabilistic Graph Reasoning for Natural Proof Generation

被引:0
|
作者
Sun, Changzhi [1 ]
Zhang, Xinbo [1 ]
Chen, Jiangjie [1 ,2 ]
Gan, Chun [1 ,3 ]
Wu, Yuanbin [4 ]
Chen, Jiaze [1 ]
Zhou, Hao [1 ]
Li, Lei [1 ]
机构
[1] ByteDance AI Lab, Beijing, Peoples R China
[2] Fudan Univ, Sch Comp Sci, Shanghai, Peoples R China
[3] Univ Wisconsin, Dept Math, Madison, WI USA
[4] East China Normal Univ, Sch Comp Sci & Technol, Shanghai, Peoples R China
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper, we investigate the problem of reasoning over natural language statements. Prior neural based approaches do not explicitly consider the inter-dependency among answers and their proofs. In this paper, we propose PROBR, a novel approach for joint answer prediction and proof generation. PROBR defines a joint probabilistic distribution over all possible proof graphs and answers via an induced graphical model. We then optimize the model using variational approximation on top of neural textual representation. Experiments on multiple datasets under diverse settings (fully supervised, few-shot and zero-shot evaluation) verify the effectiveness of PROBR, e.g., achieving 10%-30% improvement on QA accuracy in few/zero-shot evaluation. Our codes and models can be found at https://github.com/ changzhisun/PRobr/.
引用
收藏
页码:3140 / 3151
页数:12
相关论文
共 50 条
  • [1] Proof systems for probabilistic uncertain reasoning
    Paris, J
    Vencovska, A
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (03) : 1007 - 1039
  • [2] On direct and indirect probabilistic reasoning in legal proof
    Prakken, Henry
    [J]. LAW PROBABILITY & RISK, 2014, 13 (3-4): : 327 - 337
  • [3] Probabilistic reasoning and natural language
    Macchi, Laura
    Bagassi, Maria
    [J]. BIOLOGICAL AND CULTURAL BASES OF HUMAN INFERENCE, 2006, : 223 - 239
  • [4] A proof theoretic approach to qualitative probabilistic reasoning
    Parsons, S
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1998, 19 (3-4) : 265 - 297
  • [5] Probabilistic Logic Graph Attention Networks for Reasoning
    Vardhan, L. Vivek Harsha
    Jia, Guo
    Kok, Stanley
    [J]. WWW'20: COMPANION PROCEEDINGS OF THE WEB CONFERENCE 2020, 2020, : 669 - 673
  • [6] Relations between geometric proof justification and probabilistic reasoning
    Braithwaite, David W.
    [J]. LEARNING AND INDIVIDUAL DIFFERENCES, 2022, 98
  • [7] Probabilistic Box Embeddings for Uncertain Knowledge Graph Reasoning
    Chen, Xuelu
    Boratko, Michael
    Chen, Muhao
    Dasgupta, Shib Sankar
    Li, Xiang Lorraine
    McCallum, Andrew
    [J]. 2021 CONFERENCE OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS: HUMAN LANGUAGE TECHNOLOGIES (NAACL-HLT 2021), 2021, : 882 - 893
  • [8] Unsupervised Knowledge Graph Alignment by Probabilistic Reasoning and Semantic Embedding
    Qi, Zhiyuan
    Zhang, Ziheng
    Chen, Jiaoyan
    Chen, Xi
    Xiang, Yuejia
    Zhang, Ningyu
    Zheng, Yefeng
    [J]. PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 2019 - 2025
  • [9] PROVER: Proof Generation for Interpretable Reasoning over Rules
    Saha, Swarnadeep
    Ghosh, Sayan
    Srivastava, Shashank
    Bansal, Mohit
    [J]. PROCEEDINGS OF THE 2020 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING (EMNLP), 2020, : 122 - 136
  • [10] Interpretable Proof Generation via Iterative Backward Reasoning
    Qu, Hanhao
    Cao, Yu
    Gao, Jun
    Ding, Liang
    Xu, Ruifeng
    [J]. NAACL 2022: THE 2022 CONFERENCE OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS: HUMAN LANGUAGE TECHNOLOGIES, 2022, : 2968 - 2981