berickcook / AIRIS_Public

Related projects: ⓘ

• patham9 / NACE
  Non-Axiomatic Causal Explorer
  ☆13Updated 2 weeks ago
• ccrock4t / NARS-Python
  A Non-Axiomatic Reasoning System implemented in Python
  ☆25Updated 3 months ago
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated last year
• 222464 / HTSL
  Hierarchical Temporal Sparse Learner
  ☆13Updated 8 years ago
• sandsmark / replicode
  constructivist AI language and runtime
  ☆35Updated 2 years ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆35Updated 2 years ago
• aic-sri-international / aic-praise
  SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)
  ☆12Updated 3 years ago
• opennars / ALANN2018
  Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
  ☆26Updated last year
• maxeeem / NARS-Swift
  Swift implementation of Pei Wang's Non-Axiomatic Logic
  ☆13Updated 2 months ago
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆17Updated 3 weeks 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.
  ☆38Updated 7 months ago
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆89Updated this week
• jjoller / aixi
  Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.
  ☆12Updated 7 years ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆16Updated 6 months ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆17Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• opencog / ure
  Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
  ☆55Updated 5 months ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆14Updated 8 years ago
• CarsonScott / CALM
  Conditional Associative Logic Memory
  ☆27Updated 6 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆29Updated last year
• cycorp / example-code
  Examples of common usage of the Cyc APIs.
  ☆17Updated 6 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆29Updated 4 years ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆13Updated 4 months ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆66Updated 6 years ago
• PeterOvermann / TriadicMemory
  Cognitive Computing with Associative Memory
  ☆30Updated 7 months ago
• pulinagrawal / sparsey-csa
  Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…
  ☆11Updated last year
• ajhager / copycat
  A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
  ☆43Updated 7 years ago
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆25Updated 3 months ago
• Mortimerp9 / Prolog-Graphplan
  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…
  ☆37Updated 9 years ago
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 8 years ago