Abduction: A Categorical Characterization

Scientific knowledge is gained by the informed (on the basis of theoretic ideas and criteria) examination of data. This can be easily seen in the context of quantitative data, handled with statistical methods. Here we are interested in other forms of data analysis, although with the same goal of ext...

Descripción completa

Detalles Bibliográficos
Autores: Tohme, Fernando Abel, Caterina, Gianluca, Gangle, Rocco
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2015
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/11926
Acceso en línea:http://hdl.handle.net/11336/11926
Access Level:acceso abierto
Palabra clave:Abduction
Category-Theoretical Representation
Adjunction
https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
Descripción
Sumario:Scientific knowledge is gained by the informed (on the basis of theoretic ideas and criteria) examination of data. This can be easily seen in the context of quantitative data, handled with statistical methods. Here we are interested in other forms of data analysis, although with the same goal of extracting meaningful information. The idea is that data should guide the construction of suitable models, which later may lead to the development of new theories. This kind of inference is called abduction and constitutes a central procedure called Peircean qualitative induction. In this paper we will present a category-theoretic representation of abduction based on the notion of adjunction, which highlights the fundamental fact that an abduction is the most efficient way of capturing the information obtained from a large body of evidence.