DocumentCode :
629739
Title :
Unconventional logic for massively parallel reasoning
Author :
Schumann, Andrew
Author_Institution :
Univ. of Inf. Technol. & Manage., Rzeszow, Poland
fYear :
2013
fDate :
6-8 June 2013
Firstpage :
298
Lastpage :
305
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Human System Interaction (HSI), 2013 The 6th International Conference on
Conference_Location :
Sopot
ISSN :
2158-2246
Print_ISBN :
978-1-4673-5635-0
Type :
conf
DOI :
10.1109/HSI.2013.6577839
Filename :
6577839
Link To Document :
بازگشت