High-level models of unconventional computations : a case of plasmodium /: a case of plasmodium. ([2019])

• Record Type: Book
• Further Information: Note: Andrew Schumann, Krzysztof Pancerz.
• Authors: Schumann, Andrew; Pancerz, Krzysztof
• Contents: Intro; Contents; 1 Introduction; 2 Natural Labelled Transition Systems and Physarum Spatial Logic; 2.1 Experimental Data; 2.2 Physarum Process Calculus; 2.3 Spatial Logic of Physarum Process Calculus; 2.4 Physarum Illocutionary Logic; 2.5 Arithmetic Operations in Physarum Spatial Logic; 3 Decision Logics and Physarum Machines; 3.1 Decisions on Databases and Codatabases; 3.2 Determenistic Transition Systems; 3.3 Timed Transition System; 3.4 Physarum Machines; 3.5 Decision Logics of Transition Systems; 4 Petri Net Models of Plasmodium Propagation; 4.1 The Rudiments of Petri Nets. 4.2 Petri Net Models of Logic Gates for Physarum Machines4.3 A Petri Net Model of a Multiplexer for Physarum Machines; 4.4 A Petri Net model of a Demultiplexer for Physarum Machines; 4.5 A Petri Net Model of a Half Adder for Physarum Machines; 5 Rough Set Based Descriptions of Plasmodium Propagation; 5.1 The Rudiments of Rough Sets; 5.2 Rough Set Descriptions Based on Transition Systems; 5.3 Rough Set Descriptions Based on Complex Networks; 5.4 Rough Set Descriptions Based on Tree Structures; 6 Non-Well-Foundedness; 6.1 Non-Well-Founded Reality. 6.2 Algorithms Versus Coalgorithms, Induction Versus Coinduction7 Physarum Language; 7.1 Object-Oriented Programming Language; 7.2 Physarum Language for Petri Net Models; 7.3 Physarum Language for Transition System Models; 7.4 Physarum Language for Tree Structures; 8 p-Adic Valued Logic; 8.1 p-Adic Valued Matrix Logic; 8.2 p-Adic Valued Propositional Logical Language; 8.3 p-Adic Valued Logic of Hilbert's Type; 8.4 p-Adic Probability Theory; 9 p-Adic Valued Arithmetic Gates; 9.1 p-Adic Valued Physarum Machines; 9.2 p-Adic Valued Adder and Subtracter. 9.3 High-Level Models of p-adic Valued Arithmetic Gates10 The Rudiments of Physarum Games; 10.1 Transition Systems of Plasmodia and Hybrid Actions; 10.2 Concurrent Games on Slime Mould; 10.3 Context-Based Games on Slime Mould; 10.4 p-Adic Valued Probabilities and Fuzziness; 10.5 States of Knowledge and Strategies of Plasmodium; 11 Physarum Go Games and Rough Sets of Payoffs; 11.1 Go Games; 11.2 Rough Set Based Assessment of Payoffs; 12 Interfaces in a Game-Theoretic Setting for Controlling the Physarum Motions; 12.1 Software Tool; 12.2 Game-Theoretic Interfaces for Plasmodia; 13 Conclusions.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 579.4; Plasmodium -- Behavior -- Computer simulation; SCIENCE -- Life Sciences -- Biology; SCIENCE -- Life Sciences -- Microbiology; Electronic books
• Languages: English
• ISBNs: 9783319917733; 3319917730
• Related ISBNs: 9783319917726; 3319917722
• Notes: Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.