🧠 LTMS
Layered Truth Maintenance System — Live Belief Graph
KNOWLEDGE ENGINE
📝 Operations
Assert
Rule
Queries
Exact
🔍 Semantic
📖 Socratic Demo
⚠️ Contradiction
🔄 Clear All
💭 Beliefs
0 active
No beliefs yet. Assert or assume a belief to begin.
⛓️ Derivation Chain
0 steps
Waiting for inferences...
📋 Execution Log
• System initialized