fak10
How Anna understands relations
Anna can reverse a relation, follow an age comparison through two statements, and ask about a contradiction. In the fictional example, Mila is older than Jonas and Ida is younger than Jonas, so Anna infers that Mila is older than Ida. If a supporting statement is removed, the dependent conclusion is removed too.
Imagine Mila is Jonas's mother, so she is older than him. Tell Anna "Mila is older than Jonas", and she understands more than you said.
How does Anna infer that Mila is older than Ida?
She combines “Mila is older than Jonas” with “Ida is younger than Jonas” and infers that Mila is older than Ida.
- Inverse: For every relation between two things Anna knows the inverse. "Jonas is younger than Mila" is the same sentence to her, seen from the other side. She stores it once and works out the inverse when reading, so the two can never drift apart.
- Chains: Add "Ida is younger than Jonas" and Anna infers: Mila is older than Ida. Inferred, not guessed, and stored with where it came from.
- Asking: If someone says "Ida is older than Mila", Anna doesn't quietly overwrite. She asks: "So far I have: Mila is older than Ida. Should I change that?"
- Taking back: If a statement goes, whatever Anna inferred from it goes too.
The three figures at the top are drawn and made up, so you don't have to keep track of who is older.
What happens if a statement conflicts with the graph?
Anna asks before replacing a conflicting fact, and removing a source fact also removes conclusions that depended on it.
As with the last episodes, the video showed things in the app that we have since fixed or are still fixing:
- Some family relations had no fixed inverse, such as aunt and niece. Now every relation between two things has one, and a test keeps watch.
- The chat header showed a developer display. Now it shows the topic of the conversation.
- In the English app, the swipe action on a fact still said "Löschen". Now it says "Delete".
- After deleting, the facts list still shows the deleted line until you reopen it, and an internal value appears under the names. Both are open tickets.
Anna's voice is AI-generated (ElevenLabs). Picture and music are real: a recording of the app in the simulator, and the music is mine.
If you want to be there when fak10 comes out: Join the waitlist
What is stated directly, and what does Anna infer?
“Mila is older than Jonas” is entered in the example. “Jonas is younger than Mila” is its inverse. Anna does not need to store both sentences separately: she knows the defined inverse and can show it when you read the fact. That prevents two copies from drifting apart. Add “Ida is younger than Jonas” and Anna can infer another relation: Mila is older than Ida.
An inference is not the same as a sentence someone entered directly. It depends on the statements it came from. In this example you can follow the path: Mila is older than Jonas; Jonas is older than Ida; therefore Mila is older than Ida. The origin matters because you can inspect a conclusion without confusing it with the original wording.
What happens when a statement conflicts or is removed?
If someone says “Ida is older than Mila”, that conflicts with the existing inference. Anna does not silently replace the earlier information; she asks whether it should be changed. This makes the conflict visible, so the person can confirm the change or keep the saved version.
Taking a statement back is part of the example too. If an input statement is deleted, a conclusion that depended on it cannot simply remain in the graph. It is withdrawn when its support disappears. This is different from a loose network of keywords: each connection has an origin and must be traceable to the statements that support it.
The figures in the video are drawn, and the statements are made up. The example does not describe real people's ages, and Anna does not look up who is older on the internet. It demonstrates only how an inverse, a chain, a follow-up question and removing a conclusion work together.
Which chains can Anna form?
The example chain works because “older than” is an ordered relation: if Mila is older than Jonas and Jonas is older than Ida, Mila is older than Ida too. That does not apply to every relation. “Mila is friends with Jonas” and “Jonas is friends with Ida” do not automatically make Mila and Ida friends. A chain needs an appropriate rule; shared words or a common name are not enough.
The inverse and the chain are also different steps. “Jonas is younger than Mila” expresses the same age relation from the other direction. “Mila is older than Ida” connects two statements about Jonas. The video shows Anna keeping those inputs separate, showing the conclusion, and asking when a new statement conflicts.
For the concepts behind the example, the W3C OWL 2 Primer covers inverse and transitive relations; W3C PROV-O describes the provenance of a statement. These are independent references, not a claim that fak10 implements those standards.