{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:39Z","timestamp":1750220739758,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T00:00:00Z","timestamp":1588896000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,5,8]]},"DOI":"10.1145\/3390557.3394302","type":"proceedings-article","created":{"date-parts":[[2020,6,4]],"date-time":"2020-06-04T10:22:10Z","timestamp":1591266130000},"page":"47-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Approach for Understanding Primary Mathematical Problems Described in Natural Language"],"prefix":"10.1145","author":[{"given":"Shaohui","family":"Chen","sequence":"first","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China and Zhejiang Lab, Hangzhou, China"}]},{"given":"Ningyu","family":"Yang","sequence":"additional","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China"}]},{"given":"Jiamin","family":"Chen","sequence":"additional","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China"}]},{"given":"Qiuyu","family":"Zheng","sequence":"additional","affiliation":[{"name":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan, China"}]}],"member":"320","published-online":{"date-parts":[[2020,6,4]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Alan Mathison Turing etal Computing machinery and intelligence.  Alan Mathison Turing et al. Computing machinery and intelligence."},{"key":"e_1_3_2_1_2_1","volume-title":"MIT","author":"Bobrow D.G.","year":"1964","unstructured":"D.G. Bobrow , Natural language input for a computer problem solving system [M]. Report MAC-TR-l, Project MAC , MIT , Cambridge , 1964 . D.G. Bobrow, Natural language input for a computer problem solving system [M]. Report MAC-TR-l, Project MAC, MIT, Cambridge, 1964."},{"key":"e_1_3_2_1_3_1","first-page":"507","volume":"1977","author":"\u5434\u6587\u4fca\uff0c\u521d\u7b49\u51e0\u4f55\u5224\u5b9a\u95ee\u9898\u4e0e\u673a\u5668\u5316\u8bc1\u660e","unstructured":"\u5434\u6587\u4fca\uff0c\u521d\u7b49\u51e0\u4f55\u5224\u5b9a\u95ee\u9898\u4e0e\u673a\u5668\u5316\u8bc1\u660e [J]. \u4e2d\u56fd\u79d1\u5b66 (A), 1977: 6: 507--516 ( Wu Wenjun , elementary geometric decision problems and proof of mechanization [J]. Chinese Science (A) , 1977 :6: 507 -- 516 ) \u5434\u6587\u4fca\uff0c\u521d\u7b49\u51e0\u4f55\u5224\u5b9a\u95ee\u9898\u4e0e\u673a\u5668\u5316\u8bc1\u660e [J]. \u4e2d\u56fd\u79d1\u5b66 (A), 1977: 6: 507--516 (Wu Wenjun, elementary geometric decision problems and proof of mechanization [J]. Chinese Science (A), 1977:6:507--516)","journal-title":"Chinese Science (A)"},{"key":"e_1_3_2_1_4_1","unstructured":"1982 \u5e74\uff0c\u5f20\u666f\u4e2d ≪\u9762\u79ef\u5173\u7cfb\u5e2e\u4f60\u89e3\u9898≫ (In 1982 Zhang Jingzhong ≪area relationship helps you solve problems)  1982 \u5e74\uff0c\u5f20\u666f\u4e2d ≪\u9762\u79ef\u5173\u7cfb\u5e2e\u4f60\u89e3\u9898≫ (In 1982 Zhang Jingzhong ≪area relationship helps you solve problems)"},{"key":"e_1_3_2_1_5_1","volume-title":"WSU, TechReP:TR-92-3","author":"Zhang J.Z.","year":"1992","unstructured":"J.Z. Zhang , S.C. Chou , X.S. Gao . Automated production of traditional proofs for theorems in Euclidean geometry. The Hilbert intersection point theorems. Dept. of Computer Science , WSU, TechReP:TR-92-3 , 1992 . J.Z. Zhang, S.C. Chou, X.S.Gao. Automated production of traditional proofs for theorems in Euclidean geometry. The Hilbert intersection point theorems. Dept. of Computer Science, WSU, TechReP:TR-92-3, 1992."},{"key":"e_1_3_2_1_6_1","volume":"198","author":"Kinsch W.","unstructured":"W. Kinsch , J.G. Greeno . Understanding and solving word arithmetic problems , Psychology Review , 198 5. W.Kinsch, J.G. Greeno. Understanding and solving word arithmetic problems, Psychology Review, 1985.","journal-title":"Psychology Review"},{"key":"e_1_3_2_1_7_1","volume-title":"Central Compilation&Translation Press","author":"\u7f16\u8bd1\u51fa\u7248\u793e \u9a6c\u7389\u6167\uff0c\u57fa\u4e8e\u8ba4\u77e5\u6a21\u578b\u7684\u6570\u5b66\u5e94\u7528\u9898\u81ea\u52a8\u89e3\u7b54\u7814\u7a76\uff0c\u4e2d\u592e","year":"2012","unstructured":"\u9a6c\u7389\u6167\uff0c\u57fa\u4e8e\u8ba4\u77e5\u6a21\u578b\u7684\u6570\u5b66\u5e94\u7528\u9898\u81ea\u52a8\u89e3\u7b54\u7814\u7a76\uff0c\u4e2d\u592e \u7f16\u8bd1\u51fa\u7248\u793e , 2012 \u5e744\u6708. (Ma Yuhui, research on automatic solution of mathematical application problems based on cognitive model , Central Compilation&Translation Press , April 2012) \u9a6c\u7389\u6167\uff0c\u57fa\u4e8e\u8ba4\u77e5\u6a21\u578b\u7684\u6570\u5b66\u5e94\u7528\u9898\u81ea\u52a8\u89e3\u7b54\u7814\u7a76\uff0c\u4e2d\u592e \u7f16\u8bd1\u51fa\u7248\u793e, 2012\u5e744\u6708. (Ma Yuhui, research on automatic solution of mathematical application problems based on cognitive model, Central Compilation&Translation Press, April 2012)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P14-1026"},{"key":"e_1_3_2_1_9_1","volume-title":"basic principle of machine proof of geometric theorem: elementary geometry [M]","author":"\u79d1\u5b66\u51fa\u7248\u793e \u5434\u6587\u4fca\uff0c\u51e0\u4f55\u5b9a\u7406\u673a\u5668\u8bc1\u660e\u7684\u57fa\u672c\u539f\u7406\uff1a\u521d\u7b49\u51e0\u4f55\u90e8\u5206","year":"1982","unstructured":"\u5434\u6587\u4fca\uff0c\u51e0\u4f55\u5b9a\u7406\u673a\u5668\u8bc1\u660e\u7684\u57fa\u672c\u539f\u7406\uff1a\u521d\u7b49\u51e0\u4f55\u90e8\u5206 [M]. \u79d1\u5b66\u51fa\u7248\u793e , 1982. ( Wu Wenjun , basic principle of machine proof of geometric theorem: elementary geometry [M] . Science Press , 1982 ) \u5434\u6587\u4fca\uff0c\u51e0\u4f55\u5b9a\u7406\u673a\u5668\u8bc1\u660e\u7684\u57fa\u672c\u539f\u7406\uff1a\u521d\u7b49\u51e0\u4f55\u90e8\u5206 [M]. \u79d1\u5b66\u51fa\u7248\u793e, 1982. (Wu Wenjun, basic principle of machine proof of geometric theorem: elementary geometry [M]. Science Press, 1982)"}],"event":{"name":"ICIAI 2020: 2020 the 4th International Conference on Innovation in Artificial Intelligence","sponsor":["The Hong Kong Polytechnic The Hong Kong Polytechnic University","Xi'an Jiaotong-Liverpool University Xi'an Jiaotong-Liverpool University"],"location":"Xiamen China","acronym":"ICIAI 2020"},"container-title":["Proceedings of the 2020 the 4th International Conference on Innovation in Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3390557.3394302","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3390557.3394302","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:36Z","timestamp":1750199916000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3390557.3394302"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,8]]},"references-count":9,"alternative-id":["10.1145\/3390557.3394302","10.1145\/3390557"],"URL":"https:\/\/doi.org\/10.1145\/3390557.3394302","relation":{},"subject":[],"published":{"date-parts":[[2020,5,8]]},"assertion":[{"value":"2020-06-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}