Abstrakt K-axiom-baserad epistemisk stängning för explicit kunskap avvisas även för de mest triviala fall av avdragbar inferentiell resonemang på grund av det faktum att stängning axiom inte sträcker sig utöver en rå konsekvens förhållande. Erkännandet av att den avdragsgilla slutsatsen gäller växelverkan lika mycket som den avser konsekvensen gör det möjligt att omorientera perspektiv från logiken bakom informationsflödet med flera agenser till ett resonemang som bygger på monoagentiska avdrag. Istället för att modellera informationsflödet mellan olika agenter i en kommunikativ eller tillkännagivande inställning, modellerar vi informationsflödet mellan olika tillstånd av en enda agent eftersom denna agent skäl avdragsgillt. Resurshanteringen av databasen av agent stater för den avdragsgilla resonemang fragmentet i fråga omfattas av den återstod struktur som kodar den icke-associativa Lambek Calculus med permutation, botten, och identitet: NLP 01.
Sequoiah-Grayson REF arbetar med epistemisk tolkning av icke-associativ Lambek analys; han modellerar informationsflödet mellan olika tillstånd av en agent.
Epistemic closure and commutative, nonassociative residuated structures
{'venue': 'Synthese', 'journal': 'Synthese', 'mag_field_of_study': ['Mathematics', 'Computer Science']}