{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T05:14:48Z","timestamp":1782278088171,"version":"3.54.5"},"reference-count":31,"publisher":"World Scientific Pub Co Pte Ltd","issue":"07","funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["CCNU17QN005"],"award-info":[{"award-number":["CCNU17QN005"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Patt. Recogn. Artif. Intell."],"published-print":{"date-parts":[[2019,6,30]]},"abstract":"<jats:p> This paper presents a framework for solving math problems stated in a natural language (NL) and applies the framework to develop algorithms for solving explicit arithmetic word problems and proving plane geometry theorems. We focus on problem understanding, that is, the transformation of a NL description of a math problem to a formal representation. We view this as a relation extraction problem, and adopt a greedy algorithm to extract the mathematical relations using a syntax-semantics model, which is a set of patterns describing how a syntactic pattern is mapped to its formal semantics. Our method yields a human readable solution that shows how the mathematical relations are extracted one at a time. We apply our framework to solve arithmetic word problems and prove plane geometry theorems. For arithmetic word problems, the extracted relations are transformed into a system of equations, and the equations are then solved to produce the solution. For plane geometry theorems, these extracted relations are input to an inference system to generate the proof. We evaluate our approach on a set of arithmetic word problems stated in Chinese, and two sets of plane geometry theorems stated in Chinese and English. Our algorithms achieve high accuracies on these datasets and they also show some desirable properties such as brevity of algorithm description and legibility of algorithm actions. <\/jats:p>","DOI":"10.1142\/s0218001419400056","type":"journal-article","created":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T03:22:00Z","timestamp":1540524120000},"page":"1940005","source":"Crossref","is-referenced-by-count":40,"title":["A Framework for Solving Explicit Arithmetic Word Problems and Proving Plane Geometry Theorems"],"prefix":"10.1142","volume":"33","author":[{"given":"Xinguo","family":"Yu","sequence":"first","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingshu","family":"Wang","sequence":"additional","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wenbin","family":"Gan","sequence":"additional","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2088-8193","authenticated-orcid":false,"given":"Bin","family":"He","sequence":"additional","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nan","family":"Ye","sequence":"additional","affiliation":[{"name":"University of Queensland, Brisbane 4072, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2019,6,7]]},"reference":[{"key":"S0218001419400056BIB001","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-015-9326-4"},{"key":"S0218001419400056BIB002","volume-title":"Equation Solving and Machine Proving-Problem Solving with Mmp","author":"Gao X. S.","year":"2006"},{"key":"S0218001419400056BIB003","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1058"},{"key":"S0218001419400056BIB004","first-page":"64","volume":"20","author":"Huang C. T.","year":"2015","journal-title":"Int. J. Comput. Linguist. Chinese Lang. Process."},{"key":"S0218001419400056BIB005","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1084"},{"key":"S0218001419400056BIB006","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1084"},{"key":"S0218001419400056BIB008","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-012-2048-3"},{"key":"S0218001419400056BIB009","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2013.2284258"},{"key":"S0218001419400056BIB010","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.92.1.109"},{"key":"S0218001419400056BIB011","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-1136"},{"issue":"1","key":"S0218001419400056BIB012","first-page":"293","volume":"7","author":"Koncel-Kedziorski R.","year":"1999","journal-title":"J. Comput. Biol."},{"key":"S0218001419400056BIB013","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P14-1026"},{"key":"S0218001419400056BIB014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31178-9_29"},{"key":"S0218001419400056BIB015","first-page":"58","volume":"20","author":"Lin Y. C.","year":"2015","journal-title":"Int. J. Comput. Linguist. Chin. Lang. Process."},{"key":"S0218001419400056BIB016","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.145.465"},{"key":"S0218001419400056BIB017","first-page":"476","volume-title":"Second Int. Workshop Education Technology and Computer Science","author":"Ma Y.","year":"2010"},{"key":"S0218001419400056BIB018","first-page":"1098","volume-title":"Conf. Conf. American Association for Artificial Intelligence","author":"Matsuzaki T.","year":"2014"},{"key":"S0218001419400056BIB019","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-009-9110-0"},{"key":"S0218001419400056BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/TLT.2013.26"},{"key":"S0218001419400056BIB021","first-page":"3082","volume-title":"Conf. American Association for Artificial Intelligence","author":"Roy S.","year":"2017"},{"key":"S0218001419400056BIB022","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1202"},{"key":"S0218001419400056BIB023","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1171"},{"key":"S0218001419400056BIB024","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1135"},{"key":"S0218001419400056BIB025","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1088"},{"key":"S0218001419400056BIB026","volume-title":"Conf. American Association for Artificial Intelligence","author":"Wang L.","year":"2018"},{"key":"S0218001419400056BIB027","doi-asserted-by":"publisher","DOI":"10.1007\/BF02328447"},{"key":"S0218001419400056BIB028","first-page":"189","volume-title":"International Workshop on Automated Deduction in Geometry","author":"Ye Z.","year":"2008"},{"key":"S0218001419400056BIB029","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9162-5"},{"key":"S0218001419400056BIB030","first-page":"242","volume-title":"Int. Conf. Educational Innovation Through Technology","author":"Yu X.","year":"2017"},{"issue":"3","key":"S0218001419400056BIB031","first-page":"200","volume":"15","author":"Zhang J. Z.","year":"1995","journal-title":"J. Syst. Sci. Math. Sci."},{"key":"S0218001419400056BIB032","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1096"}],"container-title":["International Journal of Pattern Recognition and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218001419400056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T08:18:59Z","timestamp":1565079539000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218001419400056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,7]]},"references-count":31,"journal-issue":{"issue":"07","published-online":{"date-parts":[[2019,6,7]]},"published-print":{"date-parts":[[2019,6,30]]}},"alternative-id":["10.1142\/S0218001419400056"],"URL":"https:\/\/doi.org\/10.1142\/s0218001419400056","relation":{},"ISSN":["0218-0014","1793-6381"],"issn-type":[{"value":"0218-0014","type":"print"},{"value":"1793-6381","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,7]]}}}