Where the agent touches the wall
My experimental project AEGIS checks the actions of autonomous AI agents against a formal set of rules before they are executed.
8 min read
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