4
The Reactive Paradigm
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
• Describe the Reactive Paradigm in terms of the 3 robot primitives and its organization of sensing
• List the characteristics of a reactive robotic system, and discuss the connotations of surrounding the reactive paradigm
• Describe the two dominant methods for combining behaviors in a reactive architecture: subsumption and potential field summation
• Be able to program a behavior using pfields
• Be able to construct a new potential field from primitive pfields and sum pfields to generate an emergent behavior
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 1
4 Review:
Lessons from Biology
• Programs should decompose complex actions into behaviors. Complexity emerges from concurrent behaviors acting independently
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
• Agents should rely on straightforward activation mechanisms such as IRM
• Perception filters sensing and considers only what is relevant to the task (action-oriented perception)
• Behaviors are independent but the output may be used in many ways including: combined with others to produce a resultant output or to inhibit others
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 2
4
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
Hierarchical Organization is
“Horizontal”
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 3
4
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
More Biological is “Vertical”
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 4
4 Sensing is
Behavior-Specific or Local
Review
Organization
-SA
beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
Behaviors can “share” perception without knowing it
This is behavioral sensor fusion
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 5
4
Reactive Robots
RELEASER behavior
SENSE ACT
Overview
History
Reactive
USAR
Summary
• Most apps are programmed with this paradigm
• Biologically based:
– Behaviors (independent processes), released by perceptual or internal events (state)
– No world models or long term memory
– Highly modular, generic
– Overall behavior emerges
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 6
4
Overview
History
Reactive
USAR
Summary
Example 1: Robomow
• Behaviors?
• Random
• Avoid
– Avoid(bump=obstacle)
– Avoid(wire=boundary)
• Stop
– Stop(tilt=ON)
• All active www.friendlymachines.com
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 7
4
Overview
History
Reactive
USAR
Summary
Example 2: My Real Baby
• Behaviors?
• Touch-> Awake
• Upside down & Awake-> Cry
• Awake & Hungry -> Cry
• Awake & Lonely -> Cry www.irobot.com
•
Note can get crying from multiple behaviors
• Note internal state (countdown timer on Lonely)
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 8
4
Reactive
• Historically, there are two main styles of creating a reactive system
– Subsumption architecture
• Layers of behavioral competence
• How to control relationships
– Potential fields
• Concurrent behaviors
• How to navigate
• They are equivalent in power
• In practice, see a mixture of both layers and concurrency
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 9
4
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
Subsumption:
Rodney Brooks
From http://www.spe.sony.com/classics/fastcheap/index.html
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 10
4
Subsumption Philosophy
•
Modules should be grouped into layers of competence
Review
Organization
-SA
-beh. specific
Subsumption
Philosophy
-Level 0
-Level 1
-Level 2
Summary
• Modules in a higher lever can override or subsume behaviors in the next lower level
– Suppression: substitute input going to a module
– Inhibit: turn off output from a module
• No internal state in the sense of a local, persistent representation similar to a world model.
•
Architecture should be taskable : accomplished by a higher level turning on/off lower layers
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 11
4
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
Level 0
-Level 1
-Level 2
Summary
Level 0: Runaway
PS
RUN AWAY
MS follow-corridor 2 wander 1 runaway 0
PS MS
HALT
COLLIDE
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 12
4
Example Perception: Polar Plot
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary • Plot is ego-centric if sensing is ego-centric, can often eliminate need for memory, representation
• Plot is distributed (available to whatever wants to use it)
• Although it is a representation in the sense of being a data structure, there is no memory (contains latest information) and no reasoning (2-3 means a “wall”)
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 13
4
Level 1: Wander
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
PS
WANDER
MS encoders
PS
AVOID
MS
Note sharing of
Perception, fusion follow-corridor 2 wander 1 runaway 0
What would
Inhibition do?
14 Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm
4
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
LIGHT
Class Exercise
PHOTO-
TROPHISM move2light 2 wander 1 runaway 0
S
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 15
4
Level 2: Follow-Corridors
STAY-IN-MIDDLE
PS MS
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary follow-corridor 2 wander 1 runaway 0
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 16
4
Class Exercise
• Design the roomba with subsumption
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 17
4
Subsumption Review
• What is the Reactive Paradigm in terms of primitives?
• What is the Reactive Paradigm in terms of sensing?
Review
Organization
-SA
-beh. specific
Subsumption
-Philosophy
-Level 0
-Level 1
-Level 2
Summary
• Does the Reactive Paradigm solve the Open World problem?
• How does the Reactive Paradigm eliminate the problem?
• What is the difference between a behavior and a level of competence?
frame
• What is the difference between suppression and inhibition in subsumption?
18 Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm
4 Potential Fields:
Ron Arkin
From http://www.cc.gatech.edu/aimosaic/faculty/arkin
Introduction to AI Robotics (MIT Press)
From http://www.cc.gatech.edu/aimosaic/robot-lab/MRLhome.html
Chapter 4: The Reactive Paradigm 19
4
Potential Fields Philosophy
• The motor schema component of a behavior can be expressed with a potential fields methodology
– A potential field can be a “primitive” or constructed from primitives which are summed together
– The output of behaviors are combined using vector summation
• From each behavior, the robot “feels” a vector or force
– Magnitude = force, strength of stimulus, or velocity
– Direction
• But we visualize the “force” as a field, where every point in space represents the vector that it would feel if it were at that point
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 20
4
Example: Run Away via Repulsion
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 21
4
5 Primitive Potential Fields
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 22
4 Draw These Now!
Common fields in behaviors
• Uniform
– Move in a particular direction, corridor following
• Repulsion
– Runaway (obstacle avoidance)
• Attraction
– Move to goal
• Perpendicular
– Corridor following
• Tangential
– Move through door, docking (in combination with other fields)
• random
– do you think this is a potential field? what would it look like?
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 23
4
Class Exercise
• Name the field you’d use for
– Moving towards a light
– Avoiding obstacles
Attractive
Repulsive
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 24
4 Combining Fields for
Emergent Behavior obstacle obstacle
If robot were dropped anywhere on this grid, it would want to move to goal and avoid obstacle:
Behavior 1: MOVE2GOAL
Behavior 2: RUNAWAY
The output of each independent behavior is a vector, the 2 vectors is summed to produce emergent behavior
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 25
4
Fields and Their Combination
2 meters
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 26
4
Robot only feels vectors for this point when it (if) reaches that point
Path Taken
• If robot started at this location, it would take the following path
• It would only “feel”the vector for the location, then move accordingly, “feel” the next vector, move, etc.
• Pfield visualization allows us to see the vectors at all points, but robot never computes the “field of vectors” just the local vector
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 27
4
Discussion
• Could you represent the Arctic Tern feeding behavior with potential fields?
– what happens with multiple red dots?
– can you inhibit with potential fields?
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 28
4 Example: follow-corridor or follow-sidewalk
Note use of
Magnitude profiles:
Perpendicular decreases
Perpendicular Uniform
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm
Combined
29
4 Class Exercise:
Draw Fields for Wall-Following
(assume that robot stands still if no wall)
Just half of a follow-corridor, but…
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 30
4 But how does the robot see a wall without reasoning or intermediate representations?
• Perceptual schema “connects the dots”, returns relative orientation
PS:
Sonars
Find-wall
Introduction to AI Robotics (MIT Press) orientation MS: Perp.
MS: Uniform
Chapter 4: The Reactive Paradigm
S
31
4
OK, But why isn’t that a representation of a wall?
• It’s not really reasoning that it’s a wall, rather it is reacting to the stimulus which happens to be smoothed
(common in neighboring neurons)
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 32
4
Level 0: Runaway
Note: multiple instances of a behavior vs. 1:
Could just have 1
Instance of RUN AWAY,
Which picks nearest reading;
Doesn’t matter, but this
Allows addition of another
Sonar without changing the
RUN AWAY behavior
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 33
4
Level 1: Wander
Wander is
Uniform, but
Changes direction aperiodically
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 34
4
Level 2: Follow Corridor
Follow-corridor
Should we
Leave
Run Away
In? Do we
Need it?
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 35
4
Pfields
• Advantages
– Easy to visualize
– Easy to build up software libraries
– Fields can be parameterized
– Combination mechanism is fixed, tweaked with gains
• Disadvantages
– Local minima problem (sum to magnitude=0)
• Box canyon problem
– Jerky motion
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 36
4
Example: Docking Behavior
Orientation, ratio of pixel counts
tangent vector
Total count
attraction vector
Introduction to AI Robotics (MIT Press)
• Arkin and Murphy, 1990, Questa,
Grossmann, Sandini, 1995, Tse and
Luo, 1998, Vandorpe, Xu, Van
Brussel, 1995. Roth, Schilling, 1998,
37
4
Docking Behavior Video
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 38
4 Class Discussion:
When Does a Field End?
• Imagine the case of a “SodaPup” robot (MIT)
– task: find and pick up a Coca-Cola can
– environment: red cans are only red object in world
– behavior: ??
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 39
4
Pfields Summary
• Reactive Paradigm: SA, sensing is local
– Solves the
Open World problem by emulating biology
– Eliminates the frame problem by not using any global or persistent representation
– Perception is direct, ego-centric, and distributed
• Two architectural styles are: subsumption and pfields
• Behaviors in pfield methodologies are a tight coupling of sensing to acting; modules are mapped to schemas conceptually
• Potential fields and subsumption are logically equivalent but different implementations
• Pfield problems include
– local minima (ways around this)
– jerky motion
– bit of an art
Introduction to AI Robotics (MIT Press) Chapter 4: The Reactive Paradigm 40