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