Options
The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism
Date de parution
2020-7-16
In
Minds and Machines
No
31
De la page
59
A la page
74
Revu par les pairs
1
Résumé
In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about the future behaviour of the machine that cannot be encoded in any programming instruction; such version has models over history-based structures but no model over a moment-based structure. Therefore, our work adds a new stance to the debate: moment-based structures can be said to rule out certain indeterministic scenarios that are computationally unfeasible.
Identifiants
Autre version
https://link.springer.com/article/10.1007/s11023-020-09530-x
Type de publication
journal article
Dossier(s) à télécharger
