The Algorithm: How DDIC Resolves Conflicts
Two rules contradict each other: a nurse is not allowed to read patient records, but in an emergency, she is. Which one wins? How does the engine prove this in microseconds, without a theorem prover and without magic?
12 min read
When AI Writes the Rules
How do we get from 'doctors are allowed to view patient records' to a formal rule that a computer can verify deterministically? On rule languages, translation gaps, and the question of whether an LLM should be allowed to help.
14 min read