This volume constitutes the documentation of the advanced course on Analysis of Dynamical and Cognitive Systems, held during the Summer University of Southern Stockholm in Stockholm, Sweden in August 1993.
The volume contains eight carefully revised full versions of the invited three-to-four hour presentations as well as two abstracts. As a consequence of the interdisciplinary topic, several aspects of dynamical and cognitive systems are addressed: there are three papers on computability and undecidability, five tutorials on diverse aspects of universal cellular neural networks, and two presentations on dynamical systems and complexity.
Author(s): G. J. Chaitin (auth.), Stig I. Andersson (eds.)
Series: Lecture Notes in Computer Science 888
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 268
Tags: Computation by Abstract Devices; Computer Communication Networks; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Mathematical Logic and Foundations; Mathematical Biology in General
The limits of mathematics course outline and software....Pages 1-1
Historical background of Gödel's theorem....Pages 3-7
A formal scheme for avoiding undecidable problems. Applications to chaotic behavior characterization and parallel computation....Pages 9-52
Cellular neural networks — A tutorial on programmable nonlinear dynamics in space....Pages 53-73
Neural coding: A theoretical vista of mechanisms, techniques, and applications....Pages 75-119
Hebbian unlearning....Pages 121-136
Mapping discounted and undiscounted Markov Decision Problems onto Hopfield neural networks....Pages 137-167
“Blob” analysis of biomedical image sequences: A model-based and an inductive approach....Pages 169-187
Simplicity criteria for dynamical systems....Pages 189-225
Analysis of dynamical systems using predicate transformers: Attraction and composition....Pages 227-260