From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning

Philosophy and Technology 36 (3):1-27 (2023)
  Copy   BIBTEX

Abstract

This paper sheds light on the shift that is taking place from the practice of ‘coding’, namely developing programs as conventional in the software community, to the practice of ‘curing’, an activity that has emerged in the last few years in Deep Learning (DL) and that amounts to curing the data regime to which a DL model is exposed during training. Initially, the curing paradigm is illustrated by means of a study-case on autonomous vehicles. Subsequently, the shift from coding to curing is analysed taking into consideration the epistemological notions, central in the philosophy of computer science, of function, implementation, and correctness. First, it is illustrated how, in the curing paradigm, the functions performed by the trained model depend much more on dataset curation rather than on the model algorithms which, in contrast with the coding paradigm, do not comply with requested specifications. Second, it is highlighted how DL models cannot be considered implementations according to any of the available definitions of implementation that follow an intentional theory of functions. Finally, it is argued that DL models cannot be evaluated in terms of their correctness but rather in their experimental computational validity.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2023-07-07

Downloads
17 (#896,762)

6 months
10 (#308,815)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Alessio Plebe
Università degli Studi di Messina

Citations of this work

No citations found.

Add more citations

References found in this work

Functional analysis.Robert E. Cummins - 1975 - Journal of Philosophy 72 (November):741-64.
Science in the age of computer simulation.Eric B. Winsberg - 2010 - Chicago: University of Chicago Press.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.

View all 40 references / Add more references