Argumentation
Тройки — это утверждения, а не факты
Тройки Wikidata — не факты, а утверждения. Наложите модель аргументации Toulmin на тройки — и вы получите динамический граф знаний, где вердикты меняются в зависимости от контекста. Хранение — это структура аргументации; оценка происходит во время выполнения.
toulmin — движок правил, вычисляющий контракты
Движки правил 60 лет считали объект проверки фактом (fact). toulmin считает его утверждением (claim). Модель аргументации Тулмина реализована в виде движка правил на Go.