info:eu-repo/semantics/publishedVersion
Abductive Spaces: Modeling Concept Framework Revision with Category Theory
Fecha
2021Registro en:
Gangle, Jonathan; Gianluca, Caterina; Tohmé, Fernando Abel; Abductive Spaces: Modeling Concept Framework Revision with Category Theory; Springer; 2021; 49-73
978-3-030-61772-1
CONICET Digital
CONICET
Autor
Gangle, Jonathan
Gianluca, Caterina
Tohmé, Fernando Abel
Resumen
A formal model of abductive inference is provided in which abduction is conceived as expansive and contractive movements through a topological space of theoretical and practical commitments. A pair of presheaves over the (Heyting algebra) space of commitments corresponds to communities sharing commitments on the one hand and possible obstructions to commitments on the other. In this framework, abductive inference is modeled by the dynamics of redistributed communities of commitment made in response to obstructive encounters. This semantic-pragmatic model shows how elementary category theory tools can be used to formalize abductive inference while hewing close to ordinary intuitions about collective agency and reasoning.