OpenNARS-for-Applications
opennars
OpenNARS-for-Applications | opennars | |
---|---|---|
1 | 5 | |
86 | 369 | |
- | 0.0% | |
7.5 | 0.0 | |
26 days ago | about 3 years ago | |
C | Java | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
OpenNARS-for-Applications
-
From here to proto-AGI: what might it take and what might happen
NARS ( https://github.com/opennars/OpenNARS-for-Applications )
opennars
- AGI frameworks
-
How will artificial general intelligence come?
(For research)Test Chamber, the most complex application with its doors keys and pizzas is nowhere near complexity of the real ant world. Saw the car detection and Lego bot too. https://github.com/opennars/opennars/wiki/Test-Chamber
- How to make/program an AI? Is it even possible?
-
AI on the PC for fun
Non Axiomatic Reasoning System
-
What would the algorithm of imagination look like?
You could also look at OpenNars, written by Pei Wang who studied with Hofstadter: https://github.com/opennars/opennars The theory behind the NARS system might approach what you are thinking about.
What are some alternatives?
phoebe - Phoebe
Choco - An open-source Java library for Constraint Programming
Genann - simple neural network library in ANSI C
Hodoku - Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
lab - A customisable 3D platform for agent-based AI research
opencog - A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
MV-Tractus - A simple tool to extract motion vectors from h264 encoded videos.
awesome-rust-formalized-reasoning - An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
ruby-fann - Ruby library for interfacing with FANN (Fast Artificial Neural Network)
fastInvoiceAI - FastInvoiceAI - Automate accounting of Peppol and EHF invoices in Java
Recaf - The modern Java bytecode editor
RoyalUr-Analysis - This repository is dedicated to the technical analysis of The Royal Game of Ur. We aim to answer: How much of the game is luck, and how much is skill?