Two Dimensions and Beyond From: “ A New Kind of Science” by Stephen Wolfram Presented By: Hridesh Rajan.

Slides:



Advertisements
Similar presentations
Reversible Cellular Automata CS240 Kwnaghyun Paek.
Advertisements

Global States.
Cadence Design Systems, Inc. Why Interconnect Prediction Doesn’t Work.
Chapter 2 - The Crucial Experiment Wolfram, Stephen. A New Kind of Science. Wolfram Media, Inc
Electrostatic energy of a charge distribution.
Using the Crosscutting Concepts As conceptual tools when meeting an unfamiliar problem or phenomenon.
Beyond Trilateration: On the Localizability of Wireless Ad Hoc Networks Reported by: 莫斌.
Models of Network Formation Networked Life NETS 112 Fall 2013 Prof. Michael Kearns.
Sociology: Chapter 1 Section 1
CITS4403 Computational Modelling Game of Life. One of the first cellular automata to be studied, and probably the most popular of all time, is a 2-D CA.
Cellular Automata (Reading: Chapter 10, Complexity: A Guided Tour)
Producing Artificial Neural Networks using a Simple Embryogeny Chris Bowers School of Computer Science, University of Birmingham White.
INFINITE SEQUENCES AND SERIES
Chapter 10 The Analysis of Frequencies. The expression “cross partition” refers to an abstract process of set theory. When the cross partition idea is.
Cognitive Studies in Physics (and Astronomy) Do in-class questions help students’ learning? Addie Dove Dong Han.
Regular Expressions and Automata Chapter 2. Regular Expressions Standard notation for characterizing text sequences Used in all kinds of text processing.
Lectures on Cellular Automata Continued Modified and upgraded slides of Martijn Schut Vrij Universiteit Amsterdam Lubomir Ivanov Department.
1 GEM2505M Frederick H. Willeboordse Taming Chaos.
College Algebra Fifth Edition James Stewart Lothar Redlin Saleem Watson.
A New Kind of Science in a Nutshell David Sehnal QIPL at FI MU.
A New Kind of Science Chapter 3 Matthew Ziegler CS 851 – Bio-Inspired Computing.
Chapter 3 - The World of Simple Programs Wolfram, Stephen. A New Kind of Science. Wolfram Media, Inc
Elec471 Embedded Computer Systems Chapter 4, Probability and Statistics By Prof. Tim Johnson, PE Wentworth Institute of Technology Boston, MA Theory and.
Application of Methods of Queuing Theory to Scheduling in GRID A Queuing Theory-based mathematical model is presented, and an explicit form of the optimal.
Artificial Intelligence Reasoning. Reasoning is the process of deriving logical conclusions from given facts. Durkin defines reasoning as ‘the process.
Copyright © Cengage Learning. All rights reserved. CHAPTER 11 ANALYSIS OF ALGORITHM EFFICIENCY ANALYSIS OF ALGORITHM EFFICIENCY.
Ch 8.1 Numerical Methods: The Euler or Tangent Line Method
Towers of Hanoi. Introduction This problem is discussed in many maths texts, And in computer science an AI as an illustration of recursion and problem.
The Role of Artificial Life, Cellular Automata and Emergence in the study of Artificial Intelligence Ognen Spiroski CITY Liberal Studies 2005.
Computer Science 1000 Digital Circuits. Digital Information computers store and process information using binary as we’ve seen, binary affords us similar.
7 Graph 7.1 Even and Odd Degrees.
Design Project 1 (Part 2): Abstraction Through Repetition Delivered by Mohammad Zikky, M.T Multimedia Creative Department, EEPIS Surabaya Visual Design.
Irreducibility and Unpredictability in Nature Computer Science Department SJSU CS240 Harry Fu.
XSLT + Xpath CS High level view We are doing tree editing Changes to node properties Structural rearrangement Several mdels for this kind of task.
Regular Expressions. Notation to specify a language –Declarative –Sort of like a programming language. Fundamental in some languages like perl and applications.
Fundamental Physics Wolfram vs. Einstein, Podolsky, Rosen, Bell, Schrödinger, Bohr, Heisenberg, Planck, Born, Minkowski, Schwarzschild, Misner, Thorne,
Numerical Methods Part: Simpson Rule For Integration.
10/21/2015University of Virginia Implications for Everyday Systems Presented by Selvin George A New Kind of Science (Ch. 8) By Stephen Wolfram.
In section 11.9, we were able to find power series representations for a certain restricted class of functions. Here, we investigate more general problems.
Fibonacci Numbers, Vector Programs and a new kind of science.
Unit 1, Lesson 4 Line Math Puzzles We are going to learn to solve line math puzzles and then you will create your own.
Article Summary of The Structural Complexity of Software: An Experimental Test By Darcy, Kemerer, Slaughter and Tomayko In IEEE Transactions of Software.
A New Kind of Science by Stephen Wolfram Principle of Computational Equivalence - Ting Yan,
EGR 2201 Unit 9 First-Order Circuits  Read Alexander & Sadiku, Chapter 7.  Homework #9 and Lab #9 due next week.  Quiz next week.
Cellular Automata FRES 1010 Eileen Kraemer Fall 2005.
CS851 – Biological Computing February 6, 2003 Nathanael Paul Randomness in Cellular Automata.
Automata & Formal Languages, Feodor F. Dragan, Kent State University 1 CHAPTER 7 Time complexity Contents Measuring Complexity Big-O and small-o notation.
1 Cellular Automata What could be the simplest systems capable of wide-ranging or even universal computation? Could it be simpler than a simple cell?
1 GEK1530 Frederick H. Willeboordse Nature’s Monte Carlo Bakery: The Story of Life as a Complex System.
Dialog Processing with Unsupervised Artificial Neural Networks Andrew Richardson Thomas Jefferson High School for Science and Technology Computer Systems.
A Brief Maximum Entropy Tutorial Presenter: Davidson Date: 2009/02/04 Original Author: Adam Berger, 1996/07/05
Onlinedeeneislam.blogspot.com1 Design and Analysis of Algorithms Slide # 1 Download From
Topics 1 Specific topics to be covered are: Discrete-time signals Z-transforms Sampling and reconstruction Aliasing and anti-aliasing filters Sampled-data.
CIE Centre A-level Further Pure Maths
Information complexity - Presented to HCI group. School of Computer Science. University of Oklahoma.
School of Information Sciences University of Pittsburgh TELCOM2125: Network Science and Analysis Konstantinos Pelechrinis Spring 2013 Figures are taken.
The inference and accuracy We learned how to estimate the probability that the percentage of some subjects in the sample would be in a given interval by.
©2010 Cengage Learning SLIDES FOR CHAPTER 4 APPLICATIONS OF BOOLEAN ALGEBRA MINTERM AND MAXTERM EXPANSIONS Click the mouse to move to the next page. Use.
UNIT 4 APPLICATIONS OF BOOLEAN ALGEBRA MINTERM AND MAXTERM EXPANSIONS Click the mouse to move to the next page. Use the ESC key to exit this chapter. This.
On Routine Evolution of Complex Cellular Automata
Modelling of biomolecular networks
OTHER MODELS OF TURING MACHINES
Models of Network Formation
Alexei Fedorov January, 2011
Cellular Automata.
Models of Network Formation
Models of Network Formation
Models of Network Formation
Cellular Automata What could be the simplest systems capable of wide-ranging or even universal computation? Could it be simpler than a simple cell?
Chapter 2 - The Crucial Experiment
Presentation transcript:

Two Dimensions and Beyond From: “ A New Kind of Science” by Stephen Wolfram Presented By: Hridesh Rajan

Outline Adding dimensions to CA. Turing machines. Extension of substitution systems to 2-D. Network systems and their evolution. Multiway systems. Systems based on constraints. Conclusion and remarks.

Adding Dimensions to CA: 2D Rule: Cell => black if any neighbor is black Variations of this rule gives interesting patterns e.g. Cell => black if just one of all four of its neighbors are black [on page 171 of NKS, more on page 173,174] Key Observation: Adding dimensions does not gives additional complexity to the patterns.

What About 3-D? As Wolfram observes: Some new phenomena can be seen but basic behavior remains the same. For example - rule: cell => black if any of its 6 neighbors are black produces a 3-D pattern [on page 182 of NKS] analogous to the 2-D rule on the previous slide.

Turing Machines 1D 2D 123 Three States of the 2-D Turing Machine

Behavior Exhibited by 2-D TMs Like 1-D TMs with 2-3 possible states only repetitive and nested behavior is possible. With 4-states more complex behavior but still rare. [Examples on page 185 and 186 of NKS]

Substitution Systems in 2-D Like 1-D substitution systems discussed in chapter 3 nested and repetitive behavior is observed. [Examples on Page 187,188 of NKS] Even after removing the rigid grid we don’t get complexity. [Examples on Page 189,190 of NKS] So what produces complexity? - Interaction between components - Rigid grid makes it easier to specify interaction

Network Systems Collection of nodes. Connection between these nodes. Rules to specify how the connections will change. Wolfram restricts further discussion to nodes with exactly 2 outgoing connections. [Examples of such network systems on Page 194 of NKS] Wolfram then goes on to show somewhat obvious fact that by changing the pattern of interconnection it is possible to get network system resembling multi-dimensional arrays.

Evolution of Network Systems

[This rule and more are presented on page 199 of NKS]

Behavior of This Evolution Wolfram considers several other rules including addition on new nodes, addition of new nodes + rerouting etc. [ Figure a and b on page 200] Behavior of this “evolution” also seems similar to substitution systems for the same reasons. (lack of interaction). Introducing dependency upon one hop neighbor does not leads to complex behavior.[ Figure a,b,c on page 201] However dependency on 2 hop neighbor introduces randomness in the evolution. [ Figure a,b,c on page 202]

Multiway Systems So far we have considered systems with single result state for a given state. - Multiway Systems can have more than one result state for a given state. [Non deterministic systems] - Distinctive feature is that all possible results are kept. The behavior exhibited by these systems is still simple and repetitive, however it is difficult to study these systems due to exponential growth. [Non-determinism does not increases the power.]

Systems Based on Constraints Rules are replaced by constraints that must be true. Are there simple set of constraints leading to complex behavior – Wolfram says “No” for 1-D systems. For 2-D cases there is no proof that it is not possible however examples on page 212 shows repetitive simple patterns that satisfy most of the simple constraints. Even complicating the constraints little bit does not helps in achieving complex behavior as displayed by examples on page 214 and 215.

Complex Patterns Further complicating the constraints yields few complex patterns as shown on page 219. More complex patterns can only be obtained by explicit construction. [ Example of such a pattern based on rule 30 is shown on page 221]

Conclusion “ So the fact that traditional science and math tends to concentrate on equations that operate like constraints provides yet another reason for their failure to identify the fundamental phenomenon of complexity that I discuss in this book” – Stephen Wolfram in his book “A New Kind of Science”