AGIRI Projects
From AGIRI.org
AGIRI manages several opensource software projects designed to create tools to aid in the study and education of artificial general intelligence. Anyone can become a project contributor. There are currently four projects under development or in planning:
- OpenCog
- Open Cognition Framework
- Mind Ontology Project
- Systematic ontology of concepts, projects and resources relevant to AGI
- Build a common language for discussing AGI & Cognitive Science
- AGISim 3D Simulation World
- Sensory-rich environment for AI learning.
- Aids AGI systems in constructing "symbol groundings"
- Mizar Conversion Project
- Aiding AI in mathematical theorem proving
- Converting the formal Mizar language to a standard notation
- LojbanPlusPlus Parser Project
- Developing a language for Human-AI communication.
- A Lojban derived, English compatible language.
