sandsmark / replicode
constructivist AI language and runtime
☆35Updated 3 years ago
Alternatives and similar repositories for replicode:
Users that are interested in replicode are comparing it to the libraries listed below
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 3 months ago
- Adaptive Neuro-Symbolic Network Agent☆37Updated 2 years ago
- A Non-Axiomatic Reasoning System implemented in Python☆28Updated last month
- Non-Axiomatic Causal Explorer☆19Updated last month
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆27Updated 2 years ago
- AtomSpace Graph Database RocksDB backend☆16Updated 3 weeks ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆25Updated 5 years ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Updated 2 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search. See also AS-MOSES https://github.com/opencog/asmoses but kept to gu…☆131Updated last year
- A scalable actor-model framework for developing AI systems with dynamic topologies.☆41Updated 8 years ago
- Hierarchical Temporal Sparse Learner☆13Updated 9 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆40Updated 3 weeks ago
- Genomic and Proteomic data exploration and pattern mining☆25Updated 3 weeks ago
- A continuous implementation of hierarchical temporal memory on the GPU☆39Updated 10 years ago
- Very low-level C++ programming utilities used by several components☆40Updated 3 weeks ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 3 weeks ago
- Distributed AtomSpace Network Server☆21Updated 3 weeks ago
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆33Updated 2 years ago
- Metamath verifier in Python☆38Updated last year
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆56Updated 3 weeks ago
- Small Robot, Toy Robot platform☆34Updated 4 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆11Updated 6 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- EXPLORE & EDIT REALITY☆17Updated last year
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- Terry Winograd's SHRDLU☆38Updated 14 years ago
- A large collection of example and demo Soar agents for a variety of domains and problems.☆23Updated 7 years ago
- OpenCog Attention Allocation Subsystem☆14Updated 3 weeks ago
- General reasoning component for applications based on NARS theory.☆97Updated last week