Agenci weryfikowalni sami ze sobą: jak oddzielić błędy zobowiązań od błędów powiązań

Praca przedstawia innowacyjny instrument architektoniczny, gdzie egzekutyw deterministyczny zarządza wszystkimi przekonaniami, a model językowy może tylko składać wpisane propozycje. Weryfikacja jest wbudowana strukturalnie, a każdy przebieg automatycznie się unieważnia przy wykryciu defektów, co doprowadziło do znalezienia rzeczywistych usterek w architekturze.