Paradigms-Methods-Approaches 2021 Abstracts


Area 1 - Paradigms-Methods-Approaches

Full Papers
Paper Nr: 1
Title:

A Random Walker Can Optimize the Exploration without the Large Capacity Memory

Authors:

Tomoko Sakiyama

Abstract: A random walker explores an unknown field and sometimes changes its movement property using new spatial information obtained by it during its exploration. An important matter is the relation between the movement property of a random walker and the use for acquired information. I recently developed a random walk model in which a walker coordinated its directional rule based on its experiences and found that this model presented an optimal random walk, which demonstrated a so-called Lévy walk with μ = 2.00. Here, I investigate the foraging efficiency for that model and verify whether a large memory capacity is required or not in order to maintain the foraging efficiency. My findings reveal that the proposed model can apply to biological processes where a random walker does not have a high memory capacity.

Paper Nr: 2
Title:

Logical Duality in Reactions of Amoeba Proteus

Authors:

Andrew Schumann, Krzysztof Bielas and Jerzy Król

Abstract: We consider some emergent properties in the motility of Amoeba Proteus in its reactions on attractants and repellents. In these reactions, we cannot define a logical composition Ψ(x1,...,xn) as an n-place logical function Ψ over x1,...,xn, where each xi is an atomic proposition or its negation. Each xi should occur only without negation. Nevertheless, we face there a self-organised process with different reaction under stress or safety conditions.

Paper Nr: 3
Title:

Categorical Approach to Swarm Computations

Authors:

Jerzy Król, Andrew Schumann and Krzysztof Bielas

Abstract: We propose the model approaching the problems of organisation, computing and emergent behavior of certain swarms from category theory point of view. In this model the Yoneda embedding to the category of presheaves spanned over the basic category of partial recursive functions, is activated by external stimuli and the resulting excited domains carry collective self-organising processes. We find that the intuitionistic logic of the presheaf topos becomes a primary logic for a way how swarms act and how they should be described algorithmically.