pulinagrawal / sparsey-csaLinks
Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mini-columns that produces sparse representations of input stimuli.
☆12Updated 2 years ago
Alternatives and similar repositories for sparsey-csa
Users that are interested in sparsey-csa are comparing it to the libraries listed below
Sorting:
- Adaptive Neuro-Symbolic Network Agent☆39Updated 3 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 7 years ago
- Non-Axiomatic Causal Explorer☆19Updated 5 months ago
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆44Updated last year
- A Sparse Distributed Memory Framework.☆46Updated 6 years ago
- General reasoning component for applications based on NARS theory.☆104Updated 4 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated last month
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- constructivist AI language and runtime☆35Updated 4 years ago
- The CSNePS Knowledge Representation and Reasoning System☆29Updated 6 months ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆34Updated 2 years ago
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Updated 3 months ago
- A Non-Axiomatic Reasoning System implemented in Python☆29Updated 2 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 10 years ago
- Port of Cyc to Common Lisp☆23Updated 5 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- A large collection of example and demo Soar agents for a variety of domains and problems.☆26Updated 8 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆79Updated last month
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- 3D Visualization tool for HTM systems☆18Updated 3 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 6 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 3 weeks ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- Common lisp library for manipulating PDDL expressions.☆14Updated 4 months ago
- Art of Prolog Code☆36Updated 6 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 months ago
- DAYDREAMER goal-based agent☆78Updated 3 years ago