COLAB2 / midcaLinks
The Metacognitive Integrated Dual-Cycle Architecture (MIDCA)
☆27Updated 2 years ago
Alternatives and similar repositories for midca
Users that are interested in midca are comparing it to the libraries listed below
Sorting:
- Demo for Neuro-Symbolic Agent (LOA)☆17Updated 3 years ago
- Non-Axiomatic Causal Explorer☆19Updated 8 months ago
- General reasoning component for applications based on NARS theory.☆110Updated 8 months ago
- A Non-Axiomatic Reasoning System implemented in Python☆29Updated 5 months ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆187Updated last week
- Neuro-Symbolic AI Toolkit☆110Updated 4 months ago
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆37Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆55Updated 4 months ago
- Adaptive Neuro-Symbolic Network Agent☆41Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆294Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆320Updated this week
- Deep relational learning through differentiable logic programming.☆113Updated 5 months ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆341Updated last year
- Experimental Python implementation of the Clarion cognitive architecture☆62Updated last week
- Experimentation framework for Popper☆24Updated 6 months ago
- A HOL-based framework for reasoning over knowledge graphs☆26Updated 4 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated 2 months ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Updated 2 years ago
- Tarski - An AI Planning Modeling Framework☆72Updated last month
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆34Updated 2 years ago
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆45Updated last year
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 4 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Updated 3 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- Soar, a general cognitive architecture for systems that exhibit intelligent behavior.☆399Updated 3 weeks ago
- An inductive logic programming system☆261Updated 4 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆32Updated last month
- Port of Aleph to SWI-Prolog☆52Updated last year
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated last year