Knowledge Representation Python Packages

ontodag

Associative memory and categories based on a directed acyclic graph data structure

9K 9 1

creating-intelligence

A computational foundation for AGI, based on hyperdimensional computing and framed in set theory.

6K 17 3

pymetta

MeTTa, Hyperon's AGI language, based on PeTTa semantics with significant extensions.

5K 0 1

endoxa

Governed beliefs for LLM agents: an append-only ledger, SMT-checked consistency, defeasible revision, and calibration instruments.

3K 0 0

holographic-vsa

High-performance Holographic Memory System (HMS) for Node.js, powered by Rust. This library implements Vector Symbolic Architectures (VSA) using Binary Spatter Code (BSC) to enable semantic search, analogical reasoning, and associative memory at scale.

918 21 5

davia

Interactive, editable docs designed for coding agents

485 2K 122

naruhodo

A python library for automatic semantic graph generation from human-readable text.

315 27 3

sarib

AI-native knowledge language: Markdown-superset surface, property-graph model, atomic id-addressed edits. Spec + ~700-LOC reference impl + benchmarks.

222 2 0

edxml

Python Software Development Kit for generating and processing EDXML data

213 0 0

edxml-test-corpus

A collection of EDXML files for testing EDXML implementations

209 0 0

pyerk

python based framework for imperative representation of knowledge

178 8 1

formal-argumentation

Finite formal argumentation frameworks and semantics: Dung, ASPIC+, bipolar, partial, and revision

143 2 0

edxml-schema

The EDXML RelaxNG schema, part of the EDXML specification

131 0 0

nesyarena

Accuracy Hides Semantic Error: A Diagnostic Arena for Neuro-Symbolic Reasoning

98 2 0

assignment-selection

Assignment-selection merge algorithms and constraint models

96 0 0

vizel

Zettelkasten visualization and stats🤩🗒

92 60 4

id-svo-extractor

id-svo-extractor: Extract SVO triples from Indonesian text.

82 0 0

ltms

A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: https://pisanuw.github.io/ltms/

76 4 1

se-df

Executable domain formalization toolkit for domain specifications.

66 1 0

pyirk

python based framework for imperative representation of knowledge

64 8 1

semantic-ink

Instance Neighbouring by using Knowledge

32 20 5