Computational Intelligence Winter Term 2009/10

1. Computational Intelligence Winter Term 2009/10 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund

2. Plan for Today • Organization (Lectures / Tutorials) • Overview CI • Introduction to ANN • McCulloch Pitts Neuron (MCP) • Minsky / Papert Perceptron (MPP) G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 2

3. Organizational Issues Who are you? • either • studying “Automation and Robotics” (Master of Science) • Module “Optimization” • or • studying “Informatik” • BA-Modul “Einführung in die Computational Intelligence” • Hauptdiplom-Wahlvorlesung (SPG 6 & 7) G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 3

4. Organizational Issues Who am I ? Günter Rudolph Fakultät für Informatik, LS 11 Guenter.Rudolph@tu-dortmund.de ← best way to contact me OH-14, R. 232 ← if you want to see me office hours: Tuesday, 10:30–11:30am and by appointment G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 4

5. Organizational Issues Lectures Wednesday 10:15-11:45 OH-14, R. E23 Tutorials Wednesday16:15-17:00OH-14, R. 304 group 1 Thursday 16:15-17:00OH-14, R. 304 group 2 Tutor Nicola Beume, LS11 Information http://ls11-www.cs.unidortmund.de/people/rudolph/teaching/lectures/CI/WS2009-10/lecture.jsp Slides see web Literature see web G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 5

6. Prerequisites Knowledge about • mathematics, • programming, • logic is helpful. But what if something is unknown to me? • covered in the lecture • pointers to literature ... and don‘t hesitate to ask! G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 6

7. Overview “Computational Intelligence“ What is CI ? ) umbrella term for computational methods inspired by nature • artifical neural networks • evolutionary algorithms • fuzzy systems • swarm intelligence • artificial immune systems • growth processes in trees • ... backbone new developments G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 7

8. Overview “Computational Intelligence“ • term „computational intelligence“ coined by John Bezdek (FL, USA) • originally intended as a demarcation line) establish border between artificial and computational intelligence • nowadays: blurring border • our goals: • know what CI methods are good for! • know when refrain from CI methods! • know why they work at all! • know how to apply and adjust CI methods to your problem! G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 8

9. Introduction to Artificial Neural Networks Biological Prototype • Neuron • Information gathering (D) • Information processing (C) • Information propagation (A / S) human being: 1012 neurons electricity in mV range speed: 120 m / s axon (A) cell body (C) nucleus dendrite (D) synapse (S) G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 9

10. signalprocessing signaloutput signalinput Introduction to Artificial Neural Networks Abstraction axon nucleus / cell body dendrites synapse … G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 10

11. Introduction to Artificial Neural Networks Model x1 funktion f x2 f(x1, x2, …, xn) … xn McCulloch-Pitts-Neuron 1943: xi { 0, 1 } =: B f: Bn→ B G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 11

12. Introduction to Artificial Neural Networks 1943: Warren McCulloch / Walter Pitts • description of neurological networks → modell: McCulloch-Pitts-Neuron (MCP) • basic idea: • neuron is either active or inactive • skills result from connecting neurons • considered static networks (i.e. connections had been constructed and not learnt) G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 12

13. boolean OR boolean AND x1 x1 x2 x2 ≥ 1 ≥ n ... ... xn xn = n = 1 Introduction to Artificial Neural Networks McCulloch-Pitts-Neuron n binary input signals x1, …, xn threshold  > 0 )can be realized: G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 13

14. NOT x1 ≥ 0 y1 Introduction to Artificial Neural Networks McCulloch-Pitts-Neuron n binary input signals x1, …, xn threshold  > 0 in addition: m binary inhibitory signals y1, …, ym • if at least one yj = 1, then output = 0 • otherwise: • sum of inputs ≥ threshold, then output = 1 else output = 0 G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 14

15. Introduction to Artificial Neural Networks Analogons G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 15

16. x1 ≥  x2 Example: )x1 + x2≥  x1 x2 ≥ 3 x3 x1 x2 ≥ 3 x3 x1 ≥ 2 x4 ≥ 1 Introduction to Artificial Neural Networks Assumption: inputs also available in inverted form, i.e. 9 inverted inputs. Theorem: Every logical function F: Bn → B can be simulated with a two-layered McCulloch/Pitts net. G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 16

17. Introduction to Artificial Neural Networks • Proof: (by construction) • Every boolean function F can be transformed in disjunctive normal form • ) 2 layers (AND - OR) • Every clause gets a decoding neuron with  = n) output = 1 only if clause satisfied (AND gate) • All outputs of decoding neuronsare inputs of a neuron with  = 1 (OR gate) q.e.d. G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 17

18. x1 0,2 ¢10 0,4 ≥ 0,7 x2 0,3 x3 x1 x2 ≥ 7 x3 Introduction to Artificial Neural Networks Generalization: inputs with weights fires 1 if 0,2 x1 + 0,4 x2 + 0,3 x3≥ 0,7 2 x1 + 4 x2 + 3 x3≥ 7 ) duplicate inputs! )equivalent! G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 18

19. Proof: N „)“ Let Multiplication with yields inequality with coefficients in N Duplicate input xi, such that we get ai b1 b2 bi-1 bi+1 bn inputs. Threshold  = a0 b1 bn „(“ Set all weights to 1. q.e.d. Introduction to Artificial Neural Networks Theorem: Weighted and unweighted MCP-nets are equivalent for weights 2Q+. G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 19

20. Introduction to Artificial Neural Networks Conclusion for MCP nets + feed-forward: able to compute any Boolean function + recursive: able to simulate DFA − very similar to conventional logical circuits − difficult to construct − no good learning algorithm available G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 20

21. What can a single MPP do? 1 1 J J N N 0 0 Example: isolation of x2 yields: separating line J 1 separatesR2 in 2 classes  N 0 0 1 Introduction to Artificial Neural Networks Perceptron (Rosenblatt 1958) → complex model → reduced by Minsky & Papert to what is „necessary“ → Minsky-Papert perceptron (MPP), 1969 G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 21

22. NAND AND OR NOR 1 0 0 1 XOR 1 0 0 1 Introduction to Artificial Neural Networks = 0 = 1 )0 <  w1, w2≥  > 0 )w2≥  ? )w1 + w2≥ 2 )w1≥  )w1 + w2 <  contradiction! w1 x1 + w2 x2≥  G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 22

23. Introduction to Artificial Neural Networks 1969: Marvin Minsky / Seymor Papert • book Perceptrons→ analysis math. properties of perceptrons • disillusioning result:perceptions fail to solve a number of trivial problems! • XOR-Problem • Parity-Problem • Connectivity-Problem • „conclusion“: All artificial neurons have this kind of weakness! research in this field is a scientific dead end! • consequence: research funding for ANN cut down extremely (~ 15 years) G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 23

24. x1 2 x2 1 x1 2 x2 XOR 1 0 0 1 Introduction to Artificial Neural Networks how to leave the „dead end“: • Multilayer Perceptrons: • Nonlinear separating functions: )realizes XOR g(x1, x2) = 2x1 + 2x2 – 4x1x2 -1 with  = 0 g(0,0) = –1g(0,1) = +1g(1,0) = +1g(1,1) = –1 G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 24

25. )0 ≥  )w2≥  )w1≥  )w1 + w2<  Introduction to Artificial Neural Networks How to obtain weights wi and threshold  ? as yet: by construction example: NAND-gate requires solution of a system of linear inequalities (2 P) (e.g.: w1 = w2 = -2,  = -3) now: by „learning“ / training G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 25

26. graphically: → translation and rotation of separating lines Introduction to Artificial Neural Networks Perceptron Learning Assumption: test examples with correct I/O behavior available • Principle: • choose initial weights in arbitrary manner • fed in test pattern • if output of perceptron wrong, then change weights • goto (2) until correct output for al test paterns G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 26

27. I/O correct! let w‘x > 0, should be ≤ 0! let w‘x ≤ 0, should be > 0! (w–x)‘x = w‘x – x‘x < w‘ x (w+x)‘x = w‘x + x‘x > w‘ x Introduction to Artificial Neural Networks P: set of positive examplesN: set of negative examples Perceptron Learning • choose w0 at random, t = 0 • choose arbitrary x 2 P [ N • if x 2 P and wt‘x > 0 then goto 2if x 2 N and wt‘x ≤ 0 then goto 2 • if x 2 P and wt‘x ≤ 0 then wt+1 = wt + x; t++; goto 2 • if x 2 N and wt‘x > 0 then wt+1 = wt– x; t++; goto 2 • stop? If I/O correct for all examples! remark: algorithm converges, is finite, worst case: exponential runtime G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 27

28. - 1 x1 ≥0 w1 x2 w2 Introduction to Artificial Neural Networks Example threshold as a weight: w = (, w1, w2)‘ ) suppose initial vector of weights is w(0) = (1, -1, 1)‘ G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 28

29. A B Introduction to Artificial Neural Networks We know what a single MPP can do. What can be achieved with many MPPs? Single MPP ) separates plane in two half planes Many MPPs in 2 layers ) can identify convex sets • How? ) 2 layers! • Convex? ( 8 a,b 2 X:  a + (1-) b 2 X for 2 (0,1) G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 29

30. Introduction to Artificial Neural Networks Single MPP ) separates plane in two half planes Many MPPs in 2 layers ) can identify convex sets Many MPPs in 3 layers ) can identify arbitrary sets Many MPPs in > 3 layers ) not really necessary! • arbitrary sets: • partitioning of nonconvex set in several convex sets • two-layered subnet for each convex set • feed outputs of two-layered subnets in OR gate (third layer) G. Rudolph: Computational Intelligence ▪ Winter Term 2009/10 30