A Prolog application for reasoning on maths puzzles with diagrams
| العنوان: | A Prolog application for reasoning on maths puzzles with diagrams |
|---|---|
| المؤلفون: | Riccardo Buscaroli, Federico Chesani, Giulia Giuliani, Daniela Loreti, Paola Mello |
| المساهمون: | Buscaroli, Riccardo, Chesani, Federico, Giuliani, Giulia, Loreti, Daniela, Mello, Paola |
| المصدر: | Journal of Experimental & Theoretical Artificial Intelligence. :1-21 |
| بيانات النشر: | Informa UK Limited, 2022. |
| سنة النشر: | 2022 |
| مصطلحات موضوعية: | logic programming, Artificial Intelligence, Multimodal solver, spatial reasoning, Software, mathematical puzzle, Theoretical Computer Science |
| الوصف: | Despite the indisputable progresses of artificial intelligence, some tasks that are rather easy for a human being are still challenging for a machine. An emblematic example is the resolution of mathematical puzzles with diagrams. Sub-symbolical approaches have proven successful in fields like image recognition and natural language processing, but the combination of these techniques into a multimodal approach towards the identification of the puzzle’s answer appears to be a matter of reasoning, more suitable for the application of a symbolic technique. In this work, we employ logic programming to perform spatial reasoning on the puzzle’s diagram and integrate the deriving knowledge into the solving process. Analysing the resolution strategies required by the puzzles of an international competition for humans, we draw the design principles of a Prolog reasoning library, which interacts with image processing software to formulate the puzzle’s constraints. The library integrates the knowledge from different sources, and relies on the Prolog inference engine to provide the answer. This work can be considered as a first step towards the ambitious goal of a machine autonomously solving a problem in a generic context starting from its textual-graphical presentation. An ability that can help potentially every human–machine interaction. |
| وصف الملف: | STAMPA |
| تدمد: | 1362-3079 0952-813X |
| الوصول الحر: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::881dd9577d9373d85095b8412d32b3ffTest https://doi.org/10.1080/0952813x.2022.2062456Test |
| حقوق: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....881dd9577d9373d85095b8412d32b3ff |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 13623079 0952813X |
|---|