Computation as Knowledge Generation, with Application to the Observer-Relativity Problem

0427249 - ÚI 2016 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Computation as Knowledge Generation, with Application to the Observer-Relativity Problem.
40th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2014). London: AISB - The Society for the Study of Artificial Intelligence, 2014, s. 741-748. ISBN 978-1-63266-838-7.
[AISB Symposium on Computing and Philosophy: Is Computation Observer-Relative? /7./. Goldsmiths (GB), 01.04.2014-04.04.2014]
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge * observer relativity
Kód oboru RIV: IN - Informatika
http://doc.gold.ac.uk/aisb50/ http://toc.proceedings.com/22869webtoc.pdf

We elaborate our recent thesis [Wiedermann, J. van Leeuwen , J: Rethinking computation. Proc. 6th AISB Symp. on Computing and Philosophy: The Scandal of Computation - What is Computation?, AISB Convention 2013 (Exeter, UK), AISB, 2013, pp. 6-10] stating that computation is a process of knowledge generation. We give two conditions for a process to be computational, i.e. to be a knowledge generating process. First, the epistemic domain in which the computation is carried out must be known, and second, there must be evidence that the generated knowledge is indeed derivable within the underlying domain of discourse by the rules governing the domain and the underlying computational mechanism. The fulfillment of these conditions may be decided by an observer which, again, is modeled as a computational process according to our definition. As a consequence, our definition of computation is observer-relative. The viability of our definition is scrutinized by several examples of computations considered widely in the literature. Among them, we consider the question whether a rock can compute as well as some aspects of Searle’s Chinese room thought experiment. The examples illustrate that the epistemic approach to computation brings valuable new insight into the nature of computation and helps to resolve some classical problems related to these examples.
Trvalý link: http://hdl.handle.net/11104/0232841