MeTTa Coder Lab Program

chevron-icon
RFP Proposals
Top
chevron-icon
project-presentation-img
Expert Rating 4.0
guillermo lucero
Project Owner

MeTTa Coder Lab Program

Expert Rating

4.0

Overview

The MeTTa Coder Lab, an innovative educational program focused on lowering the entry bar for newcomers to MeTTa language. Structured into four progressive modules, the program guides participants through foundational knowledge, advanced concepts, and practical applications. Through a blend of synchronous and asynchronous methodologies, participants will explore modular design, dynamic reasoning, and AGI-focused applications. The program will provide multilingual resources in English, Portuguese, and Spanish, including open-source demos, tutorials, and gamified exams for certification. By fostering hands-on experimentation, we aim to empower developers and drive global adoption of MeTTa.

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

Project details

Our objective is to develop practical and educational demonstrations that highlight MeTTa's unique capabilities for AGI and AI systems. By showcasing its strengths in modular design, dynamic reasoning, and real-time adaptability, we aim to drive ecosystem-wide adoption and foster deeper engagement within the SingularityNET community. These demonstrations will serve as accessible, open-source resources, empowering developers to explore MeTTa’s potential and contribute to innovative applications across various domains.

Program guidelines

Our program is structured into four progressive modules, designed to guide participants through foundational knowledge, advanced capabilities, and practical applications of MeTTa. Each module builds on the previous one, ensuring a thorough understanding of MeTTa’s features and its integration into AGI systems. This structure fosters a hands-on learning experience, empowering participants to contribute meaningfully to the development of innovative AI applications.

Module 1: Introduction to Multiparadigmality and Atomspace

Objective: Introduce MeTTa’s multiparadigm programming approach and its integration with Atomspace.

  • Content:

    • OpenCog Hyperon R&D in 2023: Core Components. 

    • Overview of MeTTa’s combination of functional, logical, and probabilistic programming paradigms.

    • Explanation of how MeTTa programs function as subgraphs within Atomspace metagraphs.

    • Detailed instruction on querying and rewriting operations.

  • Methodology:

    • Reference official MeTTa documentation for guided learning.

    • Develop interactive demo examples to illustrate core concepts.

    • Craft practical exercises to help participants build their first functional MeTTa programs. 

Module 2: Exploring Self-Modification and Type Systems

Objective: Deepen understanding of MeTTa’s self-modifying capabilities and type systems.

  • Content:

    • Exploration of MeTTa’s self-reflective and abstract code manipulation features.

    • Introduction to gradual dependent types, showcasing how the type system enhances mathematical reasoning and error checking.

  • Methodology:

    • Create practical exercises focusing on self-modification and the design of dynamic systems.

    • Guide participants in implementing their own self-modifying MeTTa programs, with emphasis on type safety and logic.

Module 3: Neural-Symbolic Integration and Inference Engines

Objective: Demonstrate MeTTa’s capabilities for neural-symbolic reasoning and inference.

  • Content:

    • Explanation of MeTTa’s probabilistic logic to handle uncertainty in AI reasoning.

    • Discussion of MeTTa’s nondeterministic nature and its ability to act as an adaptive inference engine.

  • Methodology:

    • Showcase demo applications where neural-symbolic reasoning enhances AI systems.

    • Develop exercises that implement inference mechanisms, leveraging MeTTa’s adaptable framework.

Module 4: Building AGI with MeTTa and OpenCog Hyperon

Objective: Integrate MeTTa with OpenCog Hyperon for AGI development.

  • Content:

    • Overview of using MeTTa for scripting cognitive processes and reasoning algorithms.

    • Introduction to Domain-Specific Languages (DSLs) to facilitate dynamic AI system collaboration.

    • Practical examples of MeTTa’s open architecture for AGI-specific applications.

  • Methodology:

    • Design real-world projects where participants build functional demos integrating MeTTa with OpenCog Hyperon.

    • Guide the development of use cases, such as virtual agents in SophiaVerse or bioinformatics analysis with Rejuve.bio.

 

Program Methodology

Our program employs a blended learning methodology that combines synchronous and asynchronous approaches to deliver a dynamic and flexible educational experience. This approach ensures accessibility for participants with varying levels of expertise and availability, while emphasizing hands-on learning through practical applications. By integrating real-time instruction with self-paced resources, we aim to provide a comprehensive learning pathway for developers to master MeTTa and its advanced capabilities.

Synchronous Learning

Synchronous learning will be conducted through biweekly live sessions, structured around the program's three educational phases:

  • Foundations of MeTTa: Introduces multiparadigm programming and Atomspace integration.
  • Advanced Concepts and Practical Exercises: Explores dynamic self-modification, type systems, and procedural learning.
  • Applied AGI Development: Focuses on cognitive processes and real-world use cases like Rejuve.bio and SophiaVerse.

Each live session will feature:

  • Guided Tutorials: Step-by-step explanations of foundational and advanced MeTTa concepts.

  • Live Coding Demonstrations: Interactive coding sessions to clarify complex topics in real-time.

  • Collaborative Problem-Solving: Group exercises that foster teamwork and application of MeTTa in practical scenarios.

All live sessions will be recorded and made available to participants, ensuring continuous access to learning materials and minimizing the impact of scheduling conflicts.

Asynchronous Learning

To complement the real-time sessions, asynchronous resources will enable participants to learn at their own pace and deepen their understanding of MeTTa. These resources include:

  • Tutorial Videos: Pre-recorded lessons covering essential concepts, advanced techniques, and example applications.

  • Documentation and Guides: Comprehensive written materials detailing exercises, practical tasks, and project workflows.

  • Demo Library Repositories: Open-source projects with clear, commented code to provide hands-on practice and inspire further development.

  • Self-Paced Exercises: Assignments that range from beginner-friendly tasks to advanced challenges, encouraging independent problem-solving.

Practical Work

Practical application is at the core of the program, bridging theoretical knowledge with hands-on experience. Participants will:

  • Engage in structured exercises during live sessions and asynchronous tasks.

  • Collaborate on developing use-case-specific demos, such as integrating MeTTa with Rejuve.bio for bioinformatics or creating interactive AI agents for SophiaVerse.

  • Build individual projects with guidance from instructors and peers, solidifying their skills and fostering innovation.

This methodology ensures participants gain both the knowledge and practical experience necessary to contribute effectively to AGI research and development using MeTTa.

The program centers on creating use cases that highlight MeTTa's practical applications, with experimentation as the foundation of the learning process. Through educational demos, such as tutorials on multi-paradigm programming and self-modification, participants gain hands-on experience with MeTTa’s unique capabilities. These use cases are designed to ensure accessibility, foster ecosystem adoption, and empower developers to create and maintain their own projects. This focus on real-world experimentation solidifies understanding and encourages innovation.

The program emphasizes developing reusable libraries to extend MeTTa’s functionality, focusing on neural-symbolic reasoning and data querying within distributed systems like Distributed Atomspace (DAS). These libraries demonstrate MeTTa’s modular and extensible nature, enabling broader applications across various fields. By creating modular tools, participants can enhance MeTTa’s capabilities in research, analytics, and scalable AI implementations, fostering innovation and streamlining integration into diverse projects.

 

Expected Outcomes

By the end of the program, participants will have a comprehensive understanding of MeTTa’s core principles, advanced features, and practical applications. They will produce modular, open-source demos that showcase MeTTa’s capabilities and contribute to the growth of the ecosystem.

  • Open-source code repositories with modular, clean, and commented code.

  • Comprehensive documentation to guide developers.

  • A technical report summarizing experiments, outcomes, and insights for further exploration.

 

Program Certification

To ensure participants gain a comprehensive understanding of MeTTa and its applications, the program will culminate in a final exam with gamified elements and the issuance of a program certification for successful completion.

Structure: The exam will feature a blend of theoretical questions, practical coding challenges, and gamified scenarios to engage participants and encourage creative problem-solving.

Content:

  • Key topics such as multiparadigm programming, Atomspace querying, self-modification, and neural-symbolic reasoning.
  • Practical tasks and gamified challenges requiring the implementation of modular demos or solutions for specific use cases.

Evaluation Criteria: Participants will be assessed on their problem-solving skills, code quality, and ability to navigate gamified challenges while applying MeTTa principles effectively.

Certification:

  • Participants who pass the final exam will receive an official MeTTa Coder Lab Program Certificate, reflecting their proficiency in MeTTa and their capacity to create functional demos and applications.
  • The certification will also acknowledge their engagement in a structured, gamified training program supported by SingularityNET and Kinetic Corp., further enhancing their professional credentials.

 

Collaboration

In collaboration  with SingularityNET's Ambassadors R&D and LatAm Guilds, engaging with core contributors and fostering outreach with educational institutions and startups in LatAm.

In this initiative, we are partnering with Kinetic Corp., a leader in educational program development, to design and deliver high-quality learning materials and resources for the MeTTa Coder Lab Program. Kinetic Corp.’s expertise in project management, agile frameworks, and digital technologies will enrich the program’s structure and ensure its adaptability to diverse learner needs. Their contributions will include:

  • Refining the educational framework for both synchronous and asynchronous learning.

  • Producing detailed documentation, tutorial videos, and modular demo repositories.

  • Facilitating collaborative engagement with participants worldwide.

 

Proposal Video

Not Avaliable Yet

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

  • Total Milestones

    5

  • Total Budget

    $25,000 USD

  • Last Updated

    8 Dec 2024

Milestone 1 - Introduction to Multiparadigmality and Atomspace

Description

Complete foundational training for MeTTa’s multiparadigm programming and Atomspace querying.

Deliverables

1. Interactive demo examples and practical exercises to introduce foundational concepts. 2. Live session materials including guided tutorials and coding demonstrations. 3. Video tutorials covering foundational concepts and detailed documentation for exercises and demos.

Budget

$5,000 USD

Success Criterion

1. Program materials for foundational training are created and reviewed for quality and accuracy. 2. Interactive demos and exercises are deployed and tested for online usability. 3. First phase of sessions are successfully recorded, and video resources are uploaded to the online platform.

Milestone 2 - Exploring Self-Modification and Type Systems

Description

Develop expertise in self-modification and type systems through practical implementation.

Deliverables

1. Intermediate demo projects showcasing dynamic self-modification. 2. Exercises on self-modifying programs and type systems. 3. Asynchronous video tutorials and expanded documentation for advanced topics.

Budget

$5,000 USD

Success Criterion

1. Advanced program materials, including exercises and demos, are finalized and made available online. 2. Asynchronous resources, such as videos and guides, are deployed and tested for online usability. 3. Second phase of sessions are successfully recorded, and video resources are uploaded to the online platform.

Milestone 3 - Neural-Symbolic Integration and Inference Engines

Description

Demonstrate neural-symbolic reasoning and adaptive inference with MeTTa.

Deliverables

1. Demos illustrating neural-symbolic reasoning and handling uncertainties. 2. Exercises focused on inference mechanisms and probabilistic logic. 3. Video tutorials and documentation for reasoning and inference applications.

Budget

$5,000 USD

Success Criterion

1. Neural-symbolic reasoning materials are reviewed and deployed across program platforms. 2. Participants complete demos and exercises with positive feedback on the learning process. 3. Third phase of sessions are successfully recorded, and video resources are uploaded to the online platform.

Milestone 4 - Building AGI with MeTTa and OpenCog Hyperon

Description

Integrate MeTTa with domain-specific AGI use cases and finalize program outcomes.

Deliverables

1. Advanced demos integrating MeTTa with applications like SophiaVerse and Rejuve.bio. 2. Video tutorials and comprehensive documentation for final demos. 3. A technical report summarizing outcomes and participant achievements within targeted standards. 4. Program certifications for successful participants development.

Budget

$5,000 USD

Success Criterion

1. Final program components, including advanced demos and certifications, are deployed successfully. 2. All educational materials, technical reports, and resources are published online for public access. 3. Online activation of the program is completed, with a functional platform for ongoing engagement and certification issuance.

Milestone 5 - Retrospective analysis of results

Description

Conduct a retrospective and analyze program results to guide future updates and system evolution.

Deliverables

1. Comprehensive evaluation of participant feedback engagement metrics and learning outcomes. 2. Recommendations document outlining potential updates and improvements to the program. 3. Roadmap for integrating participant suggestions into future iterations of the MeTTa Coder Lab Program.

Budget

$5,000 USD

Success Criterion

1. Feedback from participants and instructors is collected, reviewed, and analyzed. 2. A detailed report identifying strengths, weaknesses, and opportunities for improvement is completed. 3. A clear, actionable plan for evolving the program based on analysis and feedback is finalized.

Join the Discussion (0)

Expert Ratings

Reviews & Ratings

Group Expert Rating (Final)

Overall

4.0

  • Feasibility 3.3
  • Desirabilty 4.3
  • Usefulness 3.7

While reviewers rated this submission highly, ultimately the panel of experts selected another proposal for strategic reasons.

  • Expert Review 1

    Overall

    4.0

    • Compliance with RFP requirements 3.0
    • Solution details and team expertise 5.0
    • Value for money 3.0
    Good proposal for another round or RFP

    Cool educational proposal designed to expand MeTTa adoption through progressive learning modules, open-source demos, and multilingual resources. Clear milestones and deliverables, but limited emphasis on creating “interesting demos” as required by the RFP. Team shows strong technical expertise, which supports program success. Good potential for ecosystem growth, though better alignment with the RFP’s demo-focused goals is needed. Suggest funding in another Deep Funding round.

  • Expert Review 2

    Overall

    3.0

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

  • Expert Review 3

    Overall

    5.0

    • Compliance with RFP requirements 4.0
    • Solution details and team expertise 5.0
    • Value for money 5.0
    This is a proposal to make a system of differently structured MeTTa tutorials. This seems like something we need

    This doesn't exactly fit what the RFP asks for. However it is something we need done, so if it can't get done via this RFP maybe we should talk to the proposer about helping with this in a different way...

feedback_icon