Games -- Home Page

Despite the indisputable progresses made by Artificial Intelligence in many research fields, some tasks that are rather easy for a human being, continue to be challenging for a machine. An emblematic example of such tasks is the resolution of mathematical puzzles with diagrams given their textual and graphical description. Even when considering puzzles that can be solved by a 4th grade student, the multimodal interpretation of both natural language and diagram, and the integration of the derived knowledge, possibly involving common-sense concepts, makes the resolution extremely challenging for a machine. Whereas sub-symbolical approaches have proven successful in fields like image recognition and Natural Language Processing, the combination of these techniques towards the identification of the correct answer appears to be a matter of reasoning, more suitable for the application of a symbolic technique. We employ logic programming to perform spatial reasoning on the puzzle's diagram and integrate the deriving knowledge into the solving process.

This site proposes a working demo of a Prolog puzzle reasoning library

All the games used in this site are translated from PRISTEM Research Center catalogue of Bocconi Univesity of Milan, Italy.