Neuropunk Revolution. Hacking Cognitive Systems towards Cyborgs 3.0
Authors:
Max Talanov,
Jordi Vallverdu,
Andrew Adamatzky,
Alexander Toschev,
Alina Suleimanova,
Alexey Leukhin,
Ann Posdeeva,
Yulia Mikhailova,
Alice Rodionova,
Alexey Mikhaylov,
Alexander Serb,
Sergey Shchanikov,
Svetlana Gerasimova,
Mohammad Mahdi Dehshibi,
Alexander Hramov,
Victor Kazantsev,
Tatyana Tsoy,
Evgeni Magid,
Igor Lavrov,
Victor Erokhin,
Kevin Warwick
Abstract:
This work is dedicated to the review and perspective of the new direction that we call "Neuropunk revolution" resembling the cultural phenomenon of cyberpunk. This new phenomenon has its foundations in advances in neuromorphic technologies including memristive and bio-plausible simulations, BCI, and neurointerfaces as well as unconventional approaches to AI and computing in general. We present the…
▽ More
This work is dedicated to the review and perspective of the new direction that we call "Neuropunk revolution" resembling the cultural phenomenon of cyberpunk. This new phenomenon has its foundations in advances in neuromorphic technologies including memristive and bio-plausible simulations, BCI, and neurointerfaces as well as unconventional approaches to AI and computing in general. We present the review of the current state-of-the-art and our vision of near future development of scientific approaches and future technologies. We call the "Neuropunk revolution" the set of trends that in our view provide the necessary background for the new generation of approaches technologies to integrate the cybernetic objects with biological tissues in close loop system as well as robotic systems inspired by the biological processes again integrated with biological objects. We see bio-plausible simulations implemented by digital computers or spiking networks memristive hardware as promising bridge or middleware between digital and (neuro)biological domains.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
Marimba: A Tool for Verifying Properties of Hidden Markov Models
Authors:
Noe Hernandez,
Kerstin Eder,
Evgeni Magid,
Jesus Savage,
David A. Rosenblueth
Abstract:
The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A significant step towards HMM verification was the development by Zhang et al. of a family of logics for verifying HMMs, called POCTL*, and its model checking algorithm. As far as we know, the verification tool we present her…
▽ More
The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A significant step towards HMM verification was the development by Zhang et al. of a family of logics for verifying HMMs, called POCTL*, and its model checking algorithm. As far as we know, the verification tool we present here is the first one based on Zhang et al.'s approach. As an example of its effective application, we verify properties of a handover task in the context of human-robot interaction. Our tool was implemented in Haskell, and the experimental evaluation was performed using the humanoid robot Bert2.
△ Less
Submitted 28 October, 2015; v1 submitted 20 July, 2015;
originally announced July 2015.