{"type":"ScholarlyArticle","title":"A Goal-Oriented Meaning-based Statistical Multi-Step Math Word Problem Solver with Understanding, Reasoning and Explanation","authors":[{"name":"Chao-Chun Liang","slug":"chao-chun-liang","given":"Chao-Chun","family":"Liang","affiliation":""},{"name":"Yu-Shiang Wong","slug":"yu-shiang-wong","given":"Yu-Shiang","family":"Wong","affiliation":""},{"name":"Yi-Chung Lin","slug":"yi-chung-lin","given":"Yi-Chung","family":"Lin","affiliation":""},{"name":"Keh-Yih Su","slug":"keh-yih-su","given":"Keh-Yih","family":"Su","affiliation":""}],"abstract":"A goal-oriented meaning-based statistical framework is presented in this paper to solve the math word problem that requires multiple arithmetic operations with understanding, reasoning and explanation. It first analyzes and transforms sentences into their meaning-based logical forms, which represent the associated context of each quantity with role-tags (e.g., nsubj, verb, etc.). Logic forms with role-tags provide a flexible and simple way to specify the physical meaning of a quantity. Afterwards, the main-goal of the problem is decomposed recursively into its associated sub-goals. For each given sub-goal, the associated operator and operands are selected with statistical  models. Lastly, it performs inference on logic expressions to get the answer and explains how the answer is obtained in a human comprehensible way. This process thus resembles the human cognitive understanding of the problem and produces a more meaningful problem solving interpretation.","doi":"10.24963/ijcai.2017/775","url":"https://ijcai.org/proceedings/2017/775","pdf":"https://ijcai.org/proceedings/2017/0775.pdf","markdown":"https://ijcai.org/proceedings/2017/775.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/775","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Demos","track":"Demos","number":775,"pages":{"first":5235,"last":5237},"keywords":["Machine Learning: Machine Learning","Natural Language Processing: Natural Language Processing"],"videos":[],"references":[{"position":1,"raw":"[Bakman, 2007] Yefim Bakman. Robust understanding of word problems with extraneous information. http://lanl.arxiv.org/abs/math.GM/0701393., 2007.","title":"Robust understanding of word problems with extraneous information","authors":"Yefim Bakman, Bakman","year":"2007","venue":null,"doi":null,"url":"http://lanl.arxiv.org/abs/math.GM/0701393","internal_url":null},{"position":2,"raw":"[Chang and Lin, 2011] Chih-Chung Chang and Chih-Jen Lin. 2011. LIB-SVM: a library for support vector machines. ACM Transactions on Intelligent Systems and Technology, 2(3):27:1-27:27. http://www.csie.ntu.edu.tw/cjlin/libsvm, 2011.","title":"LIB-SVM: a library for support vector machines","authors":"Chang, Lin ; ] Chih-Chung Chang, Chih-Jen Lin","year":"2011","venue":"ACM Transactions on Intelligent Systems and Technology","doi":null,"url":"http://www.csie.ntu.edu.tw/cjlin/libsvm,2011","internal_url":null},{"position":3,"raw":"[Hosseini et al., 2014] Mohammad Javad Hosseini, Han- naneh Hajishirzi, Oren Etzioni, and Nate Kushman. 2014. Learning to solve arithmetic word problems with verb categorization. Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, EMNLP 2014, Doha, Qatar, A meeting of SIGDAT, a Spe- cial Interest Group of the ACL, pages 523-533, October 25-29, 2014.","title":"Learning to solve arithmetic word problems with verb categorization","authors":"Mohammad Javad Hosseini, Hannaneh Hajishirzi, Oren Etzioni, Nate Kushman","year":"2014","venue":"Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, EMNLP 2014, Doha, Qatar, A meeting of SIGDAT, a Special Interest Group of the ACL","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Huang et al., 2015] Chien-Tsung Huang, Yi-Chung Lin, and Keh-Yih Su. Explanation generation for a math word problem solver. International Journal of computational Linguistics and Chinese Language processing (IJ- CLCLP), 20(2):27-44, 2015.","title":"Explanation generation for a math word problem solver","authors":"Chien-Tsung Huang, Yi-Chung Lin, Keh-Yih Su","year":"2015","venue":"International Journal of computational Linguistics and Chinese Language processing","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Koncel-Kedziorski et al., 2015] Rik Koncel-Kedziorski, Hannaneh Hajishirzi, Ashish Sabharwal, Oren Etzioni, and Siena Dumas Ang. Parsing algebraic word problems into equations. Transactions of the Association for Com- putational Linguistics, 3:585-597, 2015.","title":"Parsing algebraic word problems into equations","authors":"Rik Koncel-Kedziorski, Hannaneh Hajishirzi, Ashish Sabharwal, Oren Etzioni, Siena Dumas, Ang","year":"2015","venue":"Transactions of the Association for Computational Linguistics","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Kushman et al., 2014] Nate Kushman, Yoav Artzi, Luke Zettlemoyer, and Regina Barzilay. Learning to automati- cally solve algebra word problems, page 271-281, Bal- timore, Maryland, June. Association for Computational Linguistics, 2014.","title":"Learning to automatically solve algebra word problems","authors":"Kushman","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Liang et al., 2016] Chao-Chun Liang, Shih-Hong Tsai, Ting-Yun Chang, Yi-Chung Lin and Keh-Yih Su. A Meaning-based English Math Word Problem Solver with Understanding, Reasoning and Explanation. Proceedings of COLING 2016, 2016.","title":"A Meaning-based English Math Word Problem Solver with Understanding, Reasoning and Explanation","authors":"Chao-Chun, Shih-Hong Liang, Ting-Yun Tsai, Yi-Chung Chang, Keh-Yih Lin, Su","year":"2016","venue":"Proceedings of COLING 2016","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Lin et al., 2015] Yi-Chung Lin, Chao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Shen-Yun Miao, Wei-Yun Ma, Lun-Wei Ku, Churn-Jung Liau, and Keh-Yih Su. Designing a tag-based statistical math word problem solver with reasoning and explanation. International Journal of computational Linguistics and Chinese Lan- guage processing (IJCLCLP), 20(2):1-26, 2015.","title":"Designing a tag-based statistical math word problem solver with reasoning and explanation","authors":"Yi-Chung Lin, Chao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Shen-Yun Miao, Wei-Yun Ma, Lun-Wei Ku, Churn-Jung Liau, Keh-Yih Su","year":"2015","venue":"International Journal of computational Linguistics and Chinese Language processing","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Ma et al., 2010] Yuhui Ma, Ying Zhou, Guangzuo Cui, Yun Ren, and Ronghuai Huang. Frame-based calculus of sol- ing arithmetic multi-step addition and subtraction word problems. Education Technology and Computer Science, International Workshop on, 2:476-479, 2010.","title":"Frame-based calculus of soling arithmetic multi-step addition and subtraction word problems","authors":"Yuhui Ma, Ying Zhou, Guangzuo Cui, Yun Ren, Ronghuai Huang","year":"2010","venue":"Education Technology and Computer Science, International Workshop on","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Manning et al., 2014] Christopher D Manning, Mihai Surdeanu, John Bauer, Jenny Finkel, Steven J Bethard, and David McClosky. The Stanford CoreNLP natural language processing toolkit. In ACL Demonstrations, 2014.","title":"The Stanford CoreNLP natural language processing toolkit","authors":"Mihai Christopher D Manning, John Surdeanu, Jenny Bauer, Steven J Finkel, David Bethard, Mcclosky","year":"2014","venue":"ACL Demonstrations","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Mayer, 1987] Richard E. Mayer. Educational psychology: A cognitive approach. Boston: Little, Brown, 1987.","title":"Educational psychology: A cognitive approach","authors":"Richard E Mayer","year":"1987","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Mayer, 1992] Richard E. Mayer. Thinking, Problem solving, Cognition. 2nd Edition. New York: Freeman, 1992.","title":"Thinking, Problem solving, Cognition","authors":"Richard E Mayer","year":"1992","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Mitra and Baral, 2016] Arindam Mitra and Chitta Baral. Learning to use formulas to solve simple arithmetic problems. In Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, pages 2144-2153, 2016.","title":"Learning to use formulas to solve simple arithmetic problems","authors":"Mitra, Baral ;, Arindam Mitra, Chitta Baral","year":"2016","venue":"Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Mukherjee and Garain, 2008] Anirban Mukherjee and Utpal Garain. A review of methods for automatic understanding of natural language mathematical problems. Artif. Intell. Rev., 29(2):93-122, 2008","title":"A review of methods for automatic understanding of natural language mathematical problems","authors":"Anirban Mukherjee, Utpal Garain","year":"2008","venue":"Artif. Intell. Rev","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Pape, 2004] Stephen J. Pape. Middle school children's problem-solving behavior: A cognitive analysis from a reading comprehension perspective. Journal for Research in Mathematics Education, 35(3):187-219, 2004.","title":"Middle school children's problem-solving behavior: A cognitive analysis from a reading comprehension perspective","authors":"J Stephen, Pape","year":"2004","venue":"Journal for Research in Mathematics Education","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Roy and Roth, 2015] Subhro Roy and Dan Roth. Solving general arithmetic word problems. EMNLP-2015, pages 1743-1752, 2015.","title":"Solving general arithmetic word problems","authors":"Roth Roy","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Roy et al., 2015] Subhro Roy, Tim Vieira, and Dan Roth. Reasoning about quantities in natural language. TACL, 3:1-13, 2015.","title":"Reasoning about quantities in natural language","authors":"Roy","year":"2015","venue":"TACL","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Russell and Norvig, 2009] Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall Press, Upper Saddle River, NJ, USA, 3rd edition, 2009.","title":"Artificial Intelligence: A Modern Approach","authors":"Stuart Russell, Peter Norvig","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Slagle, 1965] James. R. Slagle. Experiments with a deduc- tive question-answering program. J-CACM, 8(12):792-798, 1965.","title":"Experiments with a deductive question-answering program","authors":"James R Slagle","year":"1965","venue":"J-CACM","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}