Title :
Unconventional logic for massively parallel reasoning
Author :
Schumann, Andrew
Author_Institution :
Univ. of Inf. Technol. & Manage., Rzeszow, Poland
Abstract :
In this paper, unconventional logic for massive-parallel reasoning is introduced and two examples of simulating natural processes by means of this logic are regarded: chemical (Belousov-Zhabotinsky reaction) and biological (dynamics of plasmodium of Physarum polycephalum). In unconventional logic well-formed formulas are defined as streams and there are possible so-called wave sets of formulas (where all members are non-well-founded). This way of simulating is much simpler in applications of unconventional computing than sequential thinking.
Keywords :
formal logic; inference mechanisms; parallel processing; biological logic; chemical logic; massively parallel reasoning; natural process simulation; sequential thinking; unconventional computing; unconventional logic; Automata; Chemicals; Cognition; Cost accounting; Finite element analysis; Substrates; Transforms; Belousov-Zhabotinsky reaction; Physarum polycephalum; proof-theoretic cellular automata; streams; wave sets;
Conference_Titel :
Human System Interaction (HSI), 2013 The 6th International Conference on
Conference_Location :
Sopot
Print_ISBN :
978-1-4673-5635-0
DOI :
10.1109/HSI.2013.6577839