Digital Scientific Notations as a Human-Computer Interface in Computer-Aided Research

Konrad Hinsen
DOI: https://doi.org/10.7717/peerj-cs.158
2018-02-22
Abstract:Most of today's scientific research relies on computers and software not only for administrational tasks, but also for processing scientific information. Examples of such computer-aided research are the analysis of experimental data or the simulation of phenomena based on theoretical models. With the rapid increase of computational power, scientific software has integrated more and more complex scientific knowledge in a black-box fashion. As a consequence, its users do not know, and don't even have a chance of finding out, which models or assumptions their computations are based on. The black-box nature of scientific software has thereby become a major cause of mistakes. The present work starts with an analysis of this situation from the point of view of human-computer interaction in scientific research. It identifies the key role of digital scientific notations at the human-computer interface, and describes a proof-of-concept implementation of such a digital scientific notation for scientific models formulated as mathematical equations.
Human-Computer Interaction,Computers and Society
What problem does this paper attempt to address?
The problem this paper attempts to address is the issue of scientists gradually losing control over models and methods in computer-aided research, leading to non-verifiability of computational results. Specifically, as computational power increases, scientific software becomes increasingly complex, with much scientific knowledge encapsulated in "black boxes" that users cannot understand in terms of their internal models and assumptions. This not only leads to an increase in errors but also makes the results of scientific research difficult to reproduce and verify. The paper analyzes this problem from the perspective of human-computer interaction, emphasizing the critical role of digital scientific symbols in the human-computer interface. It proposes a proof-of-concept implementation for describing scientific models represented in the form of mathematical equations. In this way, the authors hope to enhance the transparency and verifiability of scientific computing, ensuring that scientists can better understand and control the models and methods they use.