High-Level Models of Unconventional Computations

This book shows that the plasmodium of Physarum polycephalum can be considered a natural labelled transition system, and based on this, it proposes high-level programming models for controlling the plasmodium behaviour. The presented programming is a form of pure behaviourism: the authors consider the possibility of simulating all basic stimulusreaction relations. As plasmodium is a good experimental medium for behaviouristic models, the book applies the programming tools for modelling plasmodia as unconventional computers in different behavioural sciences based on studying the stimulusreaction relations. The authors examine these relations within the framework of a bio-inspired game theory on plasmodia they have developed i.e. within an experimental game theory, where, on the one hand, all basic definitions are verified in experiments with Physarum polycephalum and Badhamia utricularis and, on the other hand, all basic algorithms are implemented in the object-oriented language for simulations of plasmodia. The results allow the authors to propose that the plasmodium can be a model for concurrent games and context-based games.

Shows that plasmodium propagation is a natural process algebra Proposes high-level programming models for controlling the slime mould behaviour Applies the programming tools for modelling slime mould in different behavioral sciences which are based on studying the stimulusreaction relations Offers high-level programming tools for Physarum Chips in the form of a new object-oriented programming language Checks, within the proposed language, the possibility of practically implementing storage modification machines on plasmodia and their applications to behavioural science such as behavioural economics and game theory Uses the proposed language for developing programs for the slime mould using the spatial configuration of stationary nodes

Inhalt
Introduction.- Natural Labelled Transition Systems and Physarum Spatial Logic.- Decision Logics and Physarum Machines.- Petri Net Models of Plasmodium Propagation.- Rough Set Based Descriptions of Plasmodium Propagation.- Non-well-Foundedness.- Physarum Language.- p-Adic Valued Logic.- p-Adic Valued Arithmetic Gates.- The Rudiments of Physarum Games.- Physarum Go Games and Rough Sets of Payoffs.- Interfaces in a Game-Theoretic Setting for Controlling the Physarum Motions.- Conclusions.