Brain Agent JEV (Bajev)

Counts differ because each database indexes a different set of publications. We treat OpenAlex as the canonical count; Google Scholar is not shown (no API, and crawling it violates its ToS).

Il presente lavoro introduce Bajev, che trasferiscela stessa disciplina alla decisione: un agente booleano per ogni scelta, con soglia dichiarata,evidenza utilizzata e regola tracciabile. Le scelte sono isolate per impostazione predefinita ericonciliate esclusivamente tramite vincoli espliciti; i conflitti vengono messi in quarantena aU e registrati, mai mediati. La logica di Kleene a tre valori (T/F/U) rende l’incertezza uncittadino di prima classe: le bande grigie attorno alle soglie producono U invece di congetture.Il livello formale richiede ipotesi esplicite: assunzioni mancanti o casi fuori dominio produconoU, mai F. Si riportano l’architettura, la suite completa (105 test), un corpus formale di 100record di matematica e statistica valutati per entailment (false certainty pari a zero) e seidifetti ingegneristici individuati e corretti con test di regressione. This work introduces Bajev, which brings the same discipline to decision-making: one Boolean agent for each decision, with a declared threshold, the evidence used, and a traceable rule. Decisions are isolated by default and reconciled only through explicit constraints; conflicts are quarantined as U and logged, never mediated. Kleene’s three-valued logic (T/F/U) makes uncertainty a first-class citizen: gray zones around thresholds produce U instead of conjectures. The formal layer requires explicit assumptions: missing assumptions or out-of-domain cases yield U, never F. We present the architecture, the complete test suite (105 tests), a formal corpus of 100 mathematics and statistics records evaluated for entailment (with zero false certainty), and six engineering defects that were identified and corrected through regression testing