debugging biological networks to reach coherence, completeness and consistency
-
Updated
Feb 18, 2024 - Common Lisp
#
truth-maintenance
Here are 13 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
Aug 15, 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
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 10, 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
Improve this page
Add a description, image, and links to the truth-maintenance topic page so that developers can more easily learn about it.
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."