What software can understand the following task: "A big cat needs 4 days to catch all the mice and a small cat needs 12 days. How many days need the both if they catch mice together?"?

  • $\begingroup$ This could be a good question, but I think you need to define the scope of the challenge for the AI with 1 The expected answer (e.g. will it always be a simple number e.g. "3", or could it be any text "Both cats together will take 3 days". Should the answer show working? Or is this multiple-choice, it just has to choose "C"?) and 2 Some more examples. It is not possible to tell from your question so far what breadth of AI would be required. It could be something that already exists and somewhat reliable, or it could be beyond current knowledge. Use edit to add the extra information $\endgroup$ – Neil Slater Aug 22 '18 at 11:09
  • $\begingroup$ @NeilSlater I think this is well formed. Handling the ambiguity in the desired answer format is one of the challenges in this area. $\endgroup$ – John Doucette Aug 22 '18 at 11:22
  • $\begingroup$ @JohnDoucette: Yes. However, with one example and no desired output it is not at all clear how much handling of ambiguity is required. It could be just a little and compatible with current question answering techniques. Or it could be a lot and require much deeper research. For instance, if all questions were about extracting numbers from text and applying one of a limited number of techniques, then the problem is more tractable. $\endgroup$ – Neil Slater Aug 22 '18 at 11:58

Well this is a relatively new problem very tied to Question Answering. One of the recent systems is EUCLID that can answer those type of question the public Dolphin algebra question set by using a tree transducer cascade approach.

This paper details the proposed model Hopkins, M., Petrescu-Prahova, C., Levin, R., Le Bras, R., Herrasti, A., & Joshi, V. (2017). Beyond sentential semantic parsing: Tackling the math sat with a cascade of tree transducers. In Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing (pp. 795-804).

In the same sense, SEMEVAL has released a task related to Math QA, you can see the related bibliography and referenced works semeval 2019 task 10 internal.

  • $\begingroup$ Welcome to AI.SE andres! I like the paper you've cited, but I think your answer could be improved. Question answering is a very old problem. Check out this paper from 1969 for example: dtic.mil/docs/citations/AD0696394. The rest of your answer looks pretty good though. $\endgroup$ – John Doucette Aug 22 '18 at 21:30
  • $\begingroup$ QA pretty Old!!! yes sure. But it is a an open problem and it is very interesting. You can see how it is important for Automatic Assistants, Conversational AI platforms, Knowledge Bases QA, QA over linked data, Qa over hybrid sources. You can also find old systems as LUNAR QA (1977), BASEBALL QA (1961) and new systems as WATSON (2011), MSRA QA, etc. $\endgroup$ – andres Aug 22 '18 at 22:04
  • $\begingroup$ Those look like great sources! You should consider editing your answer to incorporate them. $\endgroup$ – John Doucette Aug 23 '18 at 10:12

Welcome to AI.SE!

There was a lot of work on this topic through at UT Austin, which has now migrated to the Alan Institute.

There is no off-the-shelf software that will answer your question (if there was, DARPA would stop funding its development!), but you can read about the latest development in a number of recent papers.

This paper (Seo et al. EMNLP 2015) discusses the techniques that are used to interpret diagrams that accompany geometry problems, while this one (Hosseini et al. EMNLP 2014) talks about how to automatically parse verbs to interpret the meaning of a question. The 2015 TACL paper (Koncel-Kedziorski et al. 2015) completes this by discussing how to extract the relevant equations from a word problem. Once you have the equations, know what question is being asked, and can interpret any diagrams, you can do most high school math problems.

However, I don't think this is yet a fully reliable system. It is one part of a larger, long running effort to create a program that can achieve higher education certifications in many subjects. You can see many projects related to this at the Alan Institute's website.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.