Interactive AI Logic Puzzle Solver Using MeTTa

chevron-icon
RFP Proposals
Top
chevron-icon
project-presentation-img
Expert Rating 3.6
Sudipto De
Project Owner

Interactive AI Logic Puzzle Solver Using MeTTa

Expert Rating

3.6

Overview

The AI Logic Puzzle Solver will provide an interactive platform where users input a logic puzzle in plain text, and MeTTa will solve it while explaining its reasoning process. This demo aims to highlight MeTTa's ability to process complex logic structures and deduce solutions efficiently and transparently. This project will deliver a lightweight yet powerful demo that highlights MeTTa’s logical reasoning capabilities. By solving classic puzzles interactively and transparently, the app will serve as an engaging entry point for exploring the potential of MeTTa within the SingularityNET ecosystem.

RFP Guidelines

Develop interesting demos in MeTTa

Complete & Awarded
  • Type SingularityNET RFP
  • Total RFP Funding $100,000 USD
  • Proposals 21
  • Awarded Projects 4
author-img
SingularityNET
Aug. 12, 2024

Create educational and/or useful demos using SingularityNET's own MeTTa programming language. This RFP aims at bringing more community adoption of MeTTa and engagement within our ecosystem, and to demonstrate and expand the utility of MeTTa. Researchers must maintain demos for a minimum of one year.

Proposal Description

Company Name (if applicable)

Arbiteria

Project details

Interactive AI Logic Puzzle Solver Using MeTTa

 

Objective: Develop a demo application showcasing MeTTa’s capabilities in logical reasoning by solving classic logic puzzles such as the Zebra Puzzle or Sudoku. The app will demonstrate MeTTa's strengths in handling structured problems and generating clear, step-by-step solutions.


Project Description: The AI Logic Puzzle Solver will provide an interactive platform where users input a logic puzzle in plain text, and MeTTa will solve it while explaining its reasoning process. This demo highlights MeTTa's ability to process complex logic structures and deduce solutions efficiently and transparently.


Key Features:

  1. Interactive Puzzle Input:
    • Users can provide puzzles in a predefined plain-text format.
    • Supported puzzles include logical deduction problems (e.g., Zebra Puzzle) and small Sudoku grids.
  2. Step-by-Step Solutions:
    • The app will display each step of the problem-solving process, illustrating MeTTa’s logical reasoning.
  3. Customizable Problem Sets:
    • Users can upload or select from pre-defined puzzles to explore the app’s versatility.
  4. Intuitive Interface:
    • A simple and engaging user interface to make interactions seamless and visually appealing.

Implementation Plan:

  1. Design Phase (2 Weeks):
    • Define the formats for puzzle input and output.
    • Draft the logic flow for solving puzzles in MeTTa.
    • Design a user-friendly interface.
  2. Development Phase (4 Weeks):
    • Implement puzzle-solving logic using MeTTa.
    • Develop a web-based interface for user interaction.
    • Integrate solution visualization to explain MeTTa’s reasoning.
  3. Testing and Debugging (1 Week):
    • Test the solver with a variety of puzzles to ensure robustness.
    • Fine-tune the system to handle edge cases and provide clear explanations.
    • Gather feedback from initial users to improve the app.
  4. Deployment and Documentation (1 Week):
    • Deploy the demo on a public platform with reliable hosting.
    • Prepare detailed user and developer documentation.

Deliverables:

  1. A working AI Logic Puzzle Solver demo hosted online.
  2. Source code shared under an appropriate open-source license.
  3. User documentation with instructions on input formats and puzzle-solving capabilities.
  4. A project report detailing the development process and key insights.

Timeline: 8 Weeks (2 Months)

Proposal Video

Not Avaliable Yet

Check back later during the Feedback & Selection period for the RFP that is proposal is applied to.

  • Total Milestones

    3

  • Total Budget

    $22,000 USD

  • Last Updated

    8 Dec 2024

Milestone 1 - 1. Design Phase (2 Weeks):

Description

o Define the formats for puzzle input and output. o Draft the logic flow for solving puzzles in MeTTa. o Design a user-friendly interface.

Deliverables

High level design plus UI mockups

Budget

$4,000 USD

Success Criterion

Approval for the high level design and the UI design

Milestone 2 - Development Phase (4 Weeks):

Description

o Implement puzzle-solving logic using MeTTa. o Develop a web-based interface for user interaction. o Integrate solution visualization to explain MeTTa’s reasoning.

Deliverables

1. A working AI Logic Puzzle Solver demo hosted online.

Budget

$14,000 USD

Success Criterion

Alpha passes preliminary tests

Milestone 3 - Testing,Debugging,Documentation & Deployment-2Wks

Description

o Test the solver with a variety of puzzles to ensure robustness. o Fine-tune the system to handle edge cases and provide clear explanations. o Gather feedback from initial users to improve the app.

Deliverables

1. Source code shared under an appropriate open-source license. 2. User documentation with instructions on input formats and puzzle-solving capabilities. 3. A project report detailing the development process and key insights.

Budget

$4,000 USD

Success Criterion

Running Beta with test feedback implemented.

Join the Discussion (0)

Expert Ratings

Reviews & Ratings

Group Expert Rating (Final)

Overall

3.6

  • Feasibility 4.3
  • Desirabilty 4.0
  • Usefulness 3.7

While experts rated this submission highly, ultimately we selected another proposal for strategic reasons.

  • Expert Review 1

    Overall

    3.0

    • Compliance with RFP requirements 4.0
    • Solution details and team expertise 4.0
    • Value for money 4.0
    Good showcase of MeTTa

    Strong showcase of MeTTa’s reasoning but unclear how it handles diverse puzzle complexities or edge cases. Feasible timeline; success hinges on robust input formats and clear solution visualization.

  • Expert Review 2

    Overall

    3.0

    • Compliance with RFP requirements 4.0
    • Solution details and team expertise 3.0
    • Value for money 3.0

  • Expert Review 3

    Overall

    5.0

    • Compliance with RFP requirements 5.0
    • Solution details and team expertise 5.0
    • Value for money 4.0
    I sorta like this as a demo, with some tweaks to be described below

    I think this could be an interesting Metta-Motto demo, if we connected an LLM to explain the steps taken by the puzzle-solver. Making the plumbing of this work would require translating MeTTa to either NL or some other formalism the LLM could understand, which would be interesting..... This seems like it could be fairly educational.

feedback_icon