Thank you for your interest in working with LOGICMOO! We'd love to have you and if you're looking for a project that will push you to hone and learn new skills this is probably it. We are working on Good Old Fashioned AI, with a whole new methodology devised after 35 years of research. We will be doing logic programming in Prolog, and depending on the task, will need different forms of knowledge representation, discursive logic and event calculus. 

Skills and Knowledge

First you'll want to check out our Developer Study Guide. You'll need to know Prolog and at least some Discursive/Argumentative Logic to be really useful. 

Get involved

Next, You'll want to join Our Discord Server

Invite Link https://discord.gg/JREW7F2 

Also Join Us on Gitlab! We are working to set up a list of needs for the project. 

Source repo https://logicmoo.org/gitlab/logicmoo/logicmoo_workspace#install-and-run

It is an open-source project to create AGI
Why AGI page)

  • While AGI must represent and process concepts at both the sub-symbolic and symbolic levels, it is sufficient to bootstrap from the symbolic level, and to later add the sub-symbolic facilities.
  • Recursive self-improvement can occur at an early stage, in which the system seeks to fill gaps in desired knowledge and skills.
  • Learning can be done thru watching training scenarios and discussions
  • Current limitations with symbolic deductive approaches to reasoning and natural language processing can be overcome by Narrative AI
  • AGI is more than modelling the cognitive abilities of a stereotypical person, rather
    it encompasses the modelling of human organizations, and their constituent agencies and missions.
  • conversational agents are capable of learning concepts and skills being taught by mentors
  • It aspires to completely understand a controlled subset of English during its bootstrapping phase.
  • Understanding uses Script Theory based on cognitively plausible Internal Dialogs
  • It Trains in PrologMUD which is a highly adaptable world, or a very cool game.

Narrative Memory Implementation

  • Stories provide one central mode for making sense of the world around us.  We tell stories to others about our daily experiences, and tell stories to ourselves to better understand what has happened, what is happening and what might happen in the future.  The Narrative for Sense-making project is a large, multi-year, multi-disciplinary project working to generate tools to support sense-making from real-world event data.  The project is targeted at providing tools for intelligence analysts, who work to make sense of activities characterized within large amounts of desperate, low-level event data, but the research has applicability to a broad range of contexts. 
  • In LOGICMOO's representation language, we develop new cognitively informed plan-based models of narrative action and we attempt to demonstrate that these models can be used both to control a virtual environment and to make effective predictions about the results of users’ mental models of the stories that they characterize. Motivated by psychological models of plans and plan reasoning, the team builds on prior work in plan generation and plan-related communication to develop an architecture for creating understandable interaction in narrative-oriented virtual environments.
  • The narrative paradox, the challenge of facilitating both a coherent and controllable user experience within an interactive narrative, is a significant challenge for systems that automatically generate storylines for players within games.  The interaction project focuses on computational models of narrative adaptation to promote and preserve the user’s sense of agency within a storyline while also working to provide a coherent plot line.
  • PrologMUD is used in the process of controlling an imagination space to tell a story, whether in a virtual world or on a real-world sound stage, relies on judgement about the conventions of films and television, the technical aspects of a camera and its operation within a specific environment and an underlying theory that attention is a planned, intentional action.   Automatically creating effective communication within an environment such as a game or virtual world 
  • This project is developing task-based models of interaction within virtual worlds and leveraging cognitive and computational models of story to provide intelligent tutoring of AGI agents.  The work seeks to provide explicit and well-founded models of user conceptions about a task domain and comparably well-defined methods for remediating misconceptions in an automated fashion.


Specialized Syntax

We will be using a specialized dialect of frame logic (similar to Flora2 or Ergo's dialect) more to follow on that! 

This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 12.10.2 - Documentation