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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F14%3A00427249" target="_blank" >RIV/67985807:_____/14:00427249 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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] statingthat 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 observerwhich, 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 con

Název v anglickém jazyce

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

Popis výsledku anglicky

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] statingthat 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 observerwhich, 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 con

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F10%2F1333" target="_blank" >GAP202/10/1333: NoSCoM: Nestandardní výpočetní modely a jejich aplikace ve složitosti, lingvistice a učení</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

40th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2014)

ISBN

978-1-63266-838-7

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

741-748

Název nakladatele

AISB - The Society for the Study of Artificial Intelligence

Místo vydání

London

Místo konání akce

Goldsmiths

Datum konání akce

1. 4. 2014

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—