Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan...

17
Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF NER grant and UTK Center for Information Technology Research

Transcript of Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan...

Page 1: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Universally Programmable Intelligent Matter

A Systematic Approach to Nanotechnology

Bruce MacLennan

University of Tennessee, Knoxville

Supported by NSF NER grantand UTK Center for Information Technology Research

Page 2: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Introduction & Definitions

• Intelligent matter: individual molecules or molecular clusters function as agents

• Universally programmable intelligent matter: made from a small set of building blocks that are computationally universal

Page 3: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Goals

• Avoid case-by-case nano-engineering of materials

• Design one “universal material” that can be “programmed” for many applications

• Requires a small, fixed set of molecular building blocks (& reactions), which can be arranged for varied purposes

• Suggestive evidence for such sets

Page 4: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

K-substitution

((K X) Y) X

Page 5: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

K-Substitutionas a Molecular Process

Page 6: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

S-Substitution (with Copying)

(((S X) Y) Z) ((X Z) (Y Z))

Page 7: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

S-Substitution (with Sharing)

(((S X) Y) Z) ((X Z) (Y Z))

Page 8: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Computational Properties

• Universality: S and K can compute anything that is computable

• Church-Rosser Property: substitutions can be done in any order without affecting result

Page 9: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

SK Computation

• Good model of nondeterministic & parallel computing

• Has been studied as model of massively parallel computer architecture

• Functional computer programs can be compiled into SK networks

Page 10: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Example: Computing a Ring

Ring (X,Y) = R

where rec R = Aux (X,Y,R)

Aux (X, nil, R) = R

Aux (x:X, y:Y, R)

= (x,y) : Aux (X,Y,R)

Page 11: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Example: Computing a Tube

Tube (nil, X, Y)

= Ring (X, Y)

Tube (a:N, X, Y)

= Ring [X, Tube(N,X,Y)]

Page 12: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Extensions

• Sensor operations respond to environmental conditions

• Effector operations have physical effects on environment

• Execution of these “imperative” operations must be controlled

Page 13: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Some Static Applications

• Complex physical structures: chains, tubes, spheres, fibers, networks, quasi-crystalline structures

• Membranes with pores or channels

• Very dense analog neural networks

• Sensor & effector organs for microrobots

• Conventional computation

Page 14: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Some Dynamic Applications

• Membrane with controllable channels• Free-floating clusters controlling fluid properties• Semiautonomous agents to recognize and bind

molecules• Sensory transducers, such as artificial retinas &

cochleas• Effectors, such as cilia & artificial muscle fibers• Self-repair

Page 15: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Developing an Application

1) Write & debug program

2) Compile into SK network

3) Simulate on computer

4) Flatten into DNA sequence

5) Replicate DNA

6) Construct molecular network from DNA

7) Supply reactants for computation

8) Optionally, replace by permanent groups

Page 16: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Issues

• Appropriate model of computation• Replication/sharing problem• Appropriate choice of combinators• Blocking computation• Nontraditional effects on computation• Dealing with substitution error• Geometrical issues• Supply of reactants• Identifying/synthesizing appropriate reactions

Page 17: Universally Programmable Intelligent Matter A Systematic Approach to Nanotechnology Bruce MacLennan University of Tennessee, Knoxville Supported by NSF.

Current Activities

• Developing mathematical model

• Theoretical analysis

• Developing simulation tool

• Programming sample applications