debugging biological networks to reach coherence, completeness and consistency
-
Updated
Feb 18, 2024 - Common Lisp
#
truth-maintenance
Here are 16 public repositories matching this topic...
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
search scala ai artificial-intelligence tms artificial-intelligence-algorithms atms ai-algorithms truth-maintenance jtms forbus-dekleer building-problem-solvers
-
Updated
Oct 12, 2023 - Haskell
a contextualized first-order logic knowledge base with a justified-inference reasoning engine
-
Updated
Sep 13, 2026 - Clojure
Extracts every assumption your coding agent made, links each one to the code it justifies, and tells you which ones broke. Stdlib only.
python developer-tools measurement uncertainty-quantification observability ai-safety ai-agents hallucination abstention truth-maintenance llm llm-evaluation claude-code agent-reliability
-
Updated
Aug 12, 2026 - Python
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/
python logic inference artificial-intelligence tms sat-solver knowledge-representation reasoning ltms truth-maintenance jtms building-problem-solvers boolean-constraint-propagation forbus-de-kleer
-
Updated
Jun 29, 2026 - Python
Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get deterministic answers with proof, not LLM guesses. Connect agents via MCP, Python SDK, TypeSc
mcp knowledge-graph logic-programming agents reasoning ai-agents backward-chaining inference-engine cost-optimization truth-maintenance langchain ai-memory agentic-ai context-engineering
-
Updated
Aug 14, 2026 - Kotlin
Towards a Modern Truth-Maintenance System and Inference Engine
-
Updated
Jan 18, 2025 - Python
Commitment tracking for LLM agents — a normative overlay that gives long-running agents a scoreboard of their own commitments, not just a memory of what happened.
open-source mcp ai-agents hallucination truth-maintenance llm llm-agents agentic-ai model-context-protocol agent-memory claude-code philosophy-of-language context-engineering commitment-tracking inferentialism
-
Updated
Jul 29, 2026 - Python
An negation assumption based truth maintenance system (NATMS)
-
Updated
Feb 22, 2020 - Python
An R&D substrate & toolkit for LLMs to build external reasoning layer - Providing versioned long-term memory, deterministic, incremental & critical reasoning, truth maintenance & various cool stuffs
knowledge-graph inference-engine mixture-of-experts knowledge-graphs truth-maintenance llm chain-of-thought chain-of-thought-reasoning neurosymbolic-ai llm-orchestration defeasible-reasoning reasoning-graph incremental-reasoning
-
Updated
Aug 12, 2026 - JavaScript
A decision ledger for long-running agent work. Decisions stay made across compaction.
research decision-making knowledge-representation ai-agents truth-maintenance llm llm-reasoning claude-code agent-safety epistemics
-
Updated
Sep 12, 2026 - Python
Stops AI agents from acting on stale plans, with dependency-aware leases, fenced commits, and stale-safe LangGraph resume.
python distributed-systems dependency-graph provenance cache-invalidation human-in-the-loop ai-agents idempotency data-lineage optimistic-concurrency truth-maintenance llmops conditional-requests durable-execution langgraph agentic-ai agent-safety semantic-coherence target-fencing commit-time-authorization
-
Updated
Aug 24, 2026 - Python
Truth maintenance for AI knowledge bases — conventions, tooling and a multi-agent method to keep a Markdown KB verified, fresh and honest. Zero dependencies.
-
Updated
Aug 14, 2026 - Python
Governed beliefs for LLM agents: an append-only ledger, SMT-checked consistency, defeasible revision, and calibration instruments.
python calibration smt smt-solver knowledge-representation ai-agents belief-revision truth-maintenance llm llm-agents defeasible-reasoning
-
Updated
Sep 12, 2026 - Python
A truth maintenance system for AI coding agents — one graph over code, intent, plan, and the why: every belief justified, anchored to the code it concerns, and flagged when it stops holding. pip install yigraf
python tree-sitter knowledge-graph developer-tools ai-agents claude belief-revision drift-detection code-intelligence coding-assistant truth-maintenance llm
-
Updated
Sep 12, 2026 - Python
Add this topic to your repo
To associate your repository with the truth-maintenance topic, visit your repo's landing page and select "manage topics."