SoarGroup / rosie
Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment
☆33Updated last year
Alternatives and similar repositories for rosie:
Users that are interested in rosie are comparing it to the libraries listed below
- LAPKT public repository☆40Updated 3 weeks ago
- Non-Axiomatic Causal Explorer☆19Updated last month
- ☆9Updated 8 years ago
- Adaptive Neuro-Symbolic Network Agent☆37Updated 2 years ago
- A Non-Axiomatic Reasoning System implemented in Python☆28Updated last month
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆79Updated last year
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- ☆63Updated 3 years ago
- 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 3 years ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated last week
- A Python-based interpreter for the agent-oriented programming language JASON☆50Updated last year
- Write planning task as Python classes, then translate to PDDL. Type checking included.☆47Updated 2 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- This is a python library module with code to help make working with Soar SML in python easier.☆22Updated last year
- Experimental Python implementation of the Clarion cognitive architecture☆50Updated 3 weeks ago
- General reasoning component for applications based on NARS theory.☆97Updated this week
- LIDA Software Framework☆10Updated 10 years ago
- Classical Planning in Python☆89Updated last year
- GPT-based language channel for NARS (ONA)☆31Updated 2 months ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 3 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- The main repository integrating the LaTeX beamer-based slides☆24Updated last week
- LatPlan : A domain-independent, image-based classical planner☆85Updated 2 years ago
- ☆61Updated 4 months ago
- Knowledge Acquisition Logic Machine☆18Updated 5 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- A lightweight STRIPS planner written in Python.☆108Updated 6 months ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆27Updated 2 years ago