SCIENCE@home

A Prolog application for reasoning on maths puzzles with diagrams

Riccardo Buscaroli,F. Chesani,Giulia Giuliani,Daniela Loreti,P. Mello

Published 2022 in Journal of experimental and theoretical artificial intelligence (Print)

ABSTRACT

ABSTRACT 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.

PUBLICATION RECORD

  • Publication year

    2022

  • Venue

    Journal of experimental and theoretical artificial intelligence (Print)

  • Publication date

    2022-04-19

  • Fields of study

    Mathematics, Computer Science

  • Identifiers
    DOI 10.1080/0952813X.2022.2062456
  • External record

    Open on Semantic Scholar

  • Source metadata

    Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-42 of 42 references · Page 1 of 1

CITED BY