Explanation

Deep dives into how Mistaber works and why it's designed this way.

Architecture

Understanding the system's internal structure:

• System Overview - High-level architecture
• Engine Internals - HsrsEngine implementation
• Compiler Pipeline - HLL to ASP compilation
• Kripke Implementation - Multi-world semantics
• Ontology Structure - Knowledge organization
• Data Flows - Information flow through layers

Formal Foundations

The mathematical and logical underpinnings:

• Modal Logic - Kripke frames and accessibility
• Deontic Logic - Obligation, permission, prohibition
• Upper Ontology - Formal concept specification
• Multi-World Semantics - Inheritance and override
• Safek Calculus - Uncertainty handling
• Source Chain - Provenance tracing

Concepts

• Glossary - Hebrew/English/Formal term definitions