63
On paradoxes, robots and autonomous systems - conceptual model or losing control? Speaker: Opher Etzion

ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

Embed Size (px)

Citation preview

Page 1: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

On paradoxes, robots and

autonomous systems -

conceptual model or losing

control?

Speaker: Opher Etzion

Page 2: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

Asimov coined the axioms for robotics. These are the assertions that every robot must obey

Page 3: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

3

Page 4: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

4

Page 5: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

5

The Autonomous Car Paradox

) based on article in Scientific American)

Page 6: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

OUTLINE:

1. On Paradox, contradiction and logic

2. On Autonomous Systems

3. On dillemas

6

1. On Paradoxes2. On Autonomous Systems3. On Dilemmas

OUTLINE:

Page 7: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

OUTLINE:

1. On Paradox, contradiction and logic

2. On Autonomous Systems

3. On dillemas

7

On Paradoxes

Page 8: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

8

Paradoxes: Let’s go to the basics…

Page 9: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

9

Russell’s paradox: The Barber version

Page 10: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

10

Bibliographies that quote themselves

Bibliographies that don’t quote themselves

Russell’s paradox: The Librarian version

Page 11: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

11

These are the assertions that every model must obey

Page 12: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

12

Page 13: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

13

Page 14: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

14

The Heap Paradox

Page 15: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

15

Zenon’s Paradox

Page 16: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

16

The man from Mars allegory

Nuel Belnap

What is the color of this desk?

Page 17: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

17

Is the desk RED ?

Sure...

Page 18: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

18

Not really. This

desk is YELLOW

Is the desk RED ?

Page 19: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

19

I don’t have a clue

Is the desk RED ?

Page 20: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

20

This desk is GREEN

This desk is RED

Is the desk RED ?

Page 21: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

21

Nuel Belnap

The man from Mars allegory

Page 22: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

22

Fuzzy Logic

On Autonomous Systems

Page 23: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

23

Autonomous systems – analogy to human thinking

Sensing

Making sense of what we sense

Real Time Decision Making

Acting

Page 24: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

24

IoT and robotics

Robots serve as intelligent actuators – and are becoming autonomous

Page 25: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

25

Healthcare robotics

Rehabilitation robots: enhancing patients with motoric and cognitive skills

Assistive robots: Robots for independent living of disabled persons

Page 26: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

26

Some future healthcare

robotics applications

Automated assistance of monitored patients

Page 27: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

27

Some future healthcare

robotics applications

Help in sit-to-stand and sit-down actions for people with motor disabilities

Page 28: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

28

Some future healthcare

robotics applications

Autonomous moving of drugs and medical equipment within the hospital

Page 29: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

29

Some future healthcare

robotics applications

Support of medical staff in various activities

Page 30: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

30

Some future healthcare

robotics applications

People movement and movement monitoring

Page 31: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

31

Some future healthcare

robotics applications

People assistance in panic and danger situations

Page 32: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

32

I(

The classical use of robots are for industrial purposes: production, machinery control, product design…

Industrial Robots

Page 33: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

33

I(

Autonomic management and coordination of production activities among multiple robots

Industrial Robots and IoT

Page 34: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

34

I(

Autonomous management of equipment and instruments

Industrial Robots and IoT

Page 35: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

35

I(

Immediate reaction to critical situations such as: high temperature, harmful chemicals in the air

Industrial Robots and IoT

Page 36: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

36

I(

Autonomic control of electrical and energy plants

Industrial Robots and IoT

Page 37: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

37

Robotics for defense

Robots are used for unmanned tools (ground and air) for transport and intelligence , threat detection and combat

Page 38: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

38

Robotics for defense and IoT

Autonomous and smart detection of harmful chemicals and biological weapons

Page 39: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

39

Robotics for defense and IoT

Autonomic control of land vehicles and aircrafts

Page 40: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

40

Robotics for defense and IoT

Identification and access prevention of suspicious people intruding to sensitive places

Page 41: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

41

Robotics for defense and IoT

Rescue trapped people

Page 42: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

42

Smart pacemaker

A pacemaker is a small device that's placed in the chest or abdomen to help control abnormal heart rhythms. This device uses electrical pulses to prompt the heart to beat at a normal rate.

Implants for cardiovascular diseases

source: https://www.cambridgeconsultants.com/media/press-releases/setting-pace

Page 43: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

43

Sensors and actuators –technology still under development

Goal:

to improve insulin replacement therapy until glycemic control is practically normal, and to ease the burden of therapy for the insulin-dependent.

Implants for diabetes patients

Source: https://www.slideshare.net/energexsystems/pancreas-presentation

Page 44: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

Dilemmas

44

Page 45: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

45

Causality

In order to derive conclusions from facts and events there is a need to identify causalities.

Statistical methods can infer correlations.

Causality inference is more tricky….

Page 46: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

46

Causal inference

How the knowledge about causality is being acquired?

Expert knowledge

Statistical inference

Inference using semantic or association net

Necessity? and relevance?

Page 47: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

47

Dangers of using correlation as causality

indicator

Correlation between A and B:

1. A causes B

2. B causes A

3. There is C which causes both A and B

4. A combination of all three interpretations

The faster windmills are observed to rotate, the more wind is observed to be.

Therefore wind is caused by the rotation of windmills.

Page 48: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

48

Dangers of using correlation as causality

indicator

Correlation between A and B:

1. A causes B

2. B causes A

3. There is C which causes both A and B

4. A combination of all three interpretations

Sleeping with one's shoes on is strongly correlated with waking up with a headache.

Therefore, sleeping with one's shoes on causes headache.

(correct answer: going to bad drunk causes both)

Page 49: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

49

Dangers of using correlation as causality

indicator

Correlation between A and B:

1. A causes B

2. B causes A

3. There is C which causes both A and B

4. A combination of all three interpretations

As ice cream sales increase, the rate of drowning deaths increases sharply.

Therefore, ice cream consumption causes drowning. (real answer: they are both in the same context – summer).

Page 50: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

False positives and negatives

False positive:The pattern is matched;The real-world situation does not occur

False negative:The pattern is not matched;The real-world situation occurs

Learning from experience

Page 51: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

51

Sensing can be noisy

Page 52: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

What are we uncertain of?

Uncertain whether a reported event has occurred (e.g. accident)

Uncertain what really happened. What is the type and magnitude of the accident (vehicles involved, casualties)

Uncertain when an event occurred (will occur): timing of forecasted congestion

Uncertain where an event occurred (will occur): location of forecasted congestion

Uncertain about the level of causality between a car heading towards highway and a car getting into the highway

Uncertain about the accuracyof a sensor input: count of cars, velocity of cars…

The pattern: more than 100 cars approach an area within 5 minutes after an accident derives a congestion forecasting

Uncertain about the validityof a forecasting pattern

Uncertain about the quality of the decision about traffic lights setting

Page 53: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

Sources of uncertainty

Uncertaininput data/

Events

SourceMalfunction

ThermometerHuman error

MaliciousSource

Fake tweet

Sensor disrupter

Projectionof temporalanomalies

Wrong hourly sales summary

SourceInaccuracy

Samplingor

approximation

Propagationof

uncertainty

Visual data

Rumor

Wrong trend

Inference based on uncertain value

Page 54: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

54

Defense Robots

Unmanned aerial vehicle – Robots that arebeing employed for logistics, intelligence,and combat

In reality –Asimov’s axioms were not adopted

Page 55: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

55

What would you

do?

BACK TO:

The Autonomous Car Paradox

) based on article in Scientific American)

Page 56: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

56

Deep Learning is takingover autonomous

systems

Autonomous systems are equipped withself-learning capabilities. This creates asituation where the actual algorithmbehind their activities is not transparent

Page 57: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

57

Murder by the Internet

“With so many devices being Internet connected, it makes murdering people remotely relatively simple, at least from a technical perspective. That’s horrifying,” said IID president and CTO Rod Rasmussen. “Killings can be carried out with a significantly lower chance of getting caught, much less convicted, and if human history shows us anything, if you can find a new way to kill, it will be eventually be used.”

EXAMPLES: Turn off pacemakers, Shutdown car systems while driving, stop IV drip from functioning

Safe vs. connected

Page 58: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

58

The Singularity Dillema

Page 59: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

59

Who will move to the next phase of evolution?

Page 60: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

60

Implications on socialequality

Will the majority of humanity stay behind?

Page 61: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

61

The Solaria Paradox

||autonomous systems|| >>||human beings||

Page 62: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

62

Progress vs. Employability

What will be the purpose in life? Howshould the time be spent?

Page 63: ER 2017 tutorial - On Paradoxes, Autonomous Systems and dilemmas

63

Maybe Asimov was rightand the galaxy should becontrolled by a smartrobot?