Alternatives and similar repositories for self-concepts

Users that are interested in self-concepts are comparing it to the libraries listed below

• w3c / cogai
  for work by the Cognitive AI community group
  ☆65Updated 3 months ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆303Updated last week
• cmekik / pyClarion
  Experimental Python implementation of the Clarion cognitive architecture
  ☆56Updated 2 months ago
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆177Updated last week
• asanchez75 / opencyc
  ☆278Updated 5 years ago
• niklasf / python-agentspeak
  A Python-based interpreter for the agent-oriented programming language JASON
  ☆54Updated last year
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆16Updated 3 years ago
• opennars / ALANN2018
  Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
  ☆28Updated 2 years ago
• QasimWani / gct
  Graphical Code Tracer (GCT): Visualize code at lightning speed
  ☆53Updated last year
• IBM / ULKB
  A HOL-based framework for reasoning over knowledge graphs
  ☆26Updated last month
• nerdimite / neuro-symbolic-ai-soc
  Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
  ☆58Updated 4 years ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated last month
• franzinc / agraph-python
  AllegroGraph Python client
  ☆44Updated 4 months ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆111Updated 2 months ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆33Updated last month
• LogicalContracts / LogicalEnglish
  ☆40Updated 2 weeks ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆54Updated last month
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆38Updated 4 months ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆272Updated last year
• MichaelBosello / jason-RL
  Framework for integrate BDI agents and Reinforcement Learning.
  ☆16Updated last year
• IBM / AMR-CSLogic
  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
• opencog / rocca
  Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.
  ☆35Updated 2 years ago
• ptarau / recursors
  Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
  ☆44Updated last month
• SoarGroup / rosie
  Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment
  ☆34Updated 2 years ago
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆36Updated 9 months ago
• patham9 / NarsGPT
  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
• SDXorg / SD-Tools
  List of open source system dynamic tools
  ☆31Updated 2 years ago
• lab-v2 / pyreason-gym
  An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
  ☆31Updated last year
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆22Updated 2 years ago
• lab-v2 / pyreason-rl-sim
  ☆14Updated 2 years ago