maxeeem / NARS-Swift
Swift implementation of Pei Wang's Non-Axiomatic Logic
☆13Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for NARS-Swift
- Non-Axiomatic Causal Explorer☆15Updated last week
- A Non-Axiomatic Reasoning System implemented in Python☆26Updated 6 months ago
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆40Updated 9 months ago
- Adaptive Neuro-Symbolic Network Agent☆35Updated 2 years ago
- ☆26Updated this week
- Julia wrapper around SWI Prolog☆13Updated 2 years ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Updated last year
- ☆9Updated 8 years ago
- General reasoning component for applications based on NARS theory.☆91Updated last month
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆81Updated 2 months ago
- AIRIS Public Release☆20Updated 8 months ago
- Call Julia code from Prolog☆28Updated 2 years ago
- Symbolic planners for problems and domains specified in PDDL.☆59Updated 2 months ago
- MeTTa Optimal Reduction Kernel☆11Updated this week
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 2 months ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆26Updated last year
- Metamath verifier in Python☆34Updated 7 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- Abstracting out concurrency to generic servers.☆15Updated 3 years ago
- The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)☆22Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- minimal miniKanren implementation in Julia☆20Updated 7 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 7 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Julia interface to Z3☆57Updated last month
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- ☆14Updated 5 years ago
- constructivist AI language and runtime☆35Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 3 weeks ago