patham9 / NACE
Non-Axiomatic Causal Explorer
☆15Updated last week
Related projects ⓘ
Alternatives and complementary repositories for NACE
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Updated 4 months ago
- A Non-Axiomatic Reasoning System implemented in Python☆26Updated 6 months ago
- AIRIS Public Release☆20Updated 8 months ago
- General reasoning component for applications based on NARS theory.☆91Updated last month
- 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
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆81Updated 2 months ago
- The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)☆22Updated last year
- ☆9Updated 8 years ago
- ☆26Updated this week
- Julia wrapper around SWI Prolog☆13Updated 2 years ago
- Symbolic planners for problems and domains specified in PDDL.☆59Updated 2 months ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆32Updated last year
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Updated last year
- GPT-based language channel for NARS (ONA)☆26Updated 5 months ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 7 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆26Updated last year
- LAPKT public repository☆40Updated 3 months ago
- constructivist AI language and runtime☆35Updated 3 years ago
- Call Julia code from Prolog☆28Updated 2 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- RockIt: A query engine for Markov logic☆11Updated 8 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆16Updated 2 months ago
- MeTTa Optimal Reduction Kernel☆11Updated this week
- A Sparse Distributed Memory Framework.☆44Updated 5 years ago
- Planning, inverse planning, and inference in planning, using PDDL and Gen.☆36Updated 4 months ago
- Discussion of MeTTa programming with examples☆20Updated this week
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆21Updated last year