• 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