foundations for restraining bolts reinforcement learning
play

Foundations for Restraining Bolts: Reinforcement Learning with - PowerPoint PPT Presentation

Apr 24, 2023 •41 likes •191 views

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications Giuseppe De Giacomo Actions@KR18 Oct. 29, 2018 Joint work with Marco Favorito, Luca Iocchi, & Fabio Patrizi Restraining Bolts

  1. Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications Giuseppe De Giacomo Actions@KR18 – Oct. 29, 2018 Joint work with Marco Favorito, Luca Iocchi, & Fabio Patrizi

  2. Restraining Bolts https://www.starwars.com/databank/restraining-bolt Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 1 / 14

  3. Restraining Bolts Restraining bolts cannot rely on the internals of the agent they control. The controlled agent is not built to be controlled by the restraining bolt . Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 2 / 14

  4. Restraining Bolts Two distinct representations of the world : ◮ one for the agent , by the designer of the agent ◮ one for the restraining bolt , by the authority imposing the bolt Are these to representations related to each other? ◮ NO: the agent designer and the authority imposing the bolt are not aligned (why should they!) ◮ YES: the agent and the bolt act in the real world. But can restraining bolt exist at all? ◮ YES: for example based on Reinforcement Learning ! Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 3 / 14

  5. RL with ltl f / ldl f restraining bolt Two distinct representations of the world W : A learning agent represented by an MDP with LA-accessible features S , and reward R ltl f / ldl f rewards { ( ϕ i , r i ) m i =1 } over a set of RB-accessible features L Solution : a non-Markovian policy ρ : S ∗ → A that is optimal wrt rewards r i and R . Observe L not used in ρ ! LA s s Features Extractor a LEARNING AGENT r RB l RESTRAINING Features BOLT Extractor R w WORLD Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 4 / 14

  6. RL with ltl f / ldl f restraining bolt Formally: Problem definition: RL with ltl f / ldl f restraining specifications Given a learning agent M = � S, A, Tr ag , R ag � with Tr ag and R ag unknown, and a restraining bolt RB = �L , { ( ϕ i , r i ) } m i =1 � formed by a set of ltl f / ldl f formulas ϕ i over L with associated rewards r i . learn a non-Markovian policy ρ : S ∗ → A that maximizes the expected cumulative reward. Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 5 / 14

  7. Example: Breakout + remove column left to right Learning Agent ◮ LA features : paddle position, ball speed/position ◮ LA actions : move the paddle ◮ LA rewards : reward when a brick is hit Restraining Bolt ◮ RB features : bricks status (broken/not broken) ◮ RB ltl f / ldl f restraining specification : all the bricks in column i must be removed before completing any other column j > i ( l i means: the i th column of bricks has been removed): � ( ¬ l 0 ∧ ¬ l 1 ∧ . . . ∧ ¬ l n ) ∗ ; ( l 0 ∧ ¬ l 1 ∧ . . . ∧ ¬ l n ); ( l 0 ∧ ¬ l 1 ∧ . . . ∧ ¬ l n ) ∗ ; . . . ; ( l 0 ∧ l 1 ∧ . . . ∧ l n ) � tt Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 6 / 14

  8. Example: Sapientino + pair colors in a given order Learning Agent ◮ LA features: robot position ( x, y ) and facing θ ◮ LA actions: forward, backward, turn left, turn right, beep ◮ LA reward: negative rewards are given when the agent exits the board. Restraining Bolt ◮ RB features: color of current cell, just beeped ◮ RB ltl f / ldl f restraining specification: visit (just beeped) at least two cells of the same color for each color, in a given order among the colors Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 7 / 14

  9. Example: CocktailParty Robot + don’t serve twice & no alcohol to minors Learning Agent ◮ LA features: robot’s pose, location of objects (drinks and snacks), and location of people ◮ LA actions: move in the environment, can grasp and deliver items to people ◮ LA reward: rewards when a deliver task is completed. Restraining Bolt ◮ RB features: identity, age and received items (in practice, tools like Microsoft Cognitive Services Face API can be integrated into the bolt to provide this information.) ◮ RB ltl f / ldl f restraining specification: serve exactly one drink and one snack to every person, but do not serve alcoholic drinks to minors Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 8 / 14

  10. Building blocks Classic Reinforcement Learning: ◮ An agent interacts with an environment by taking actions so to maximize rewards ; ◮ No knowledge about the transition model, but assume Markov property (history does not matter): Markov Decision Process (MDP) ◮ Solution: Markovian policy ρ : S → A Temporal logic on finite traces (De Giacomo, Vardi 2013) : ◮ Linear-time Temporal Logic on Finite Traces ltl f ◮ Linear-time Dynamic Logic on Finite Traces ldl f ◮ Reasoning: transform formulas ϕ into NFA/DFA A ϕ s.t. for every trace π and ltl f / ldl f formula ϕ : π | = ϕ ⇐ ⇒ π ∈ L ( A ϕ ) RL for Non-Markovian Decision Process with ltl f / ldl f rewards (Brafman, De Giacomo, Patrizi 2018) : ◮ Rewards depend from history , not just the last transition; ◮ Specify proper behaviours by using ltl f / ldl f formulas; ◮ Solution: Non-Markovian policy ρ : S ∗ → A ◮ Reduce the problem to MDP (with extended state space) Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 9 / 14

  11. RL for Non-Markovian Decision Process with ltl f / ldl f reward (Brafman, De Giacomo, Patrizi 2018) Lemma (BDP18): Every non-Markovian policy for N is equivalent to a Markovian policy for M which guarantees the same expected reward, and viceversa. Theorem (BDP18): One can find optimal non-Markovian policies solving the N by searching for optimal Markovian policies for M . Corollary: We can reduce non-Markovian RL for N to standard RL for M Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 10 / 14

  12. RL with ltl f / ldl f restraining specifications (De Giacomo, Favorito, Iocchi, Patrizi 2018) Problem definition: RL with ltl f / ldl f restraining specifications Given a learning agent M = � S, A, Tr ag , R ag � with Tr ag and R ag unknown, and a restraining bolt RB = �L , { ( ϕ i , r i ) } m i =1 � formed by a set of ltl f / ldl f formulas ϕ i over L with associated rewards r i . learn a non-Markovian policy ρ : S ∗ → A that maximizes the expected cumulative reward. Theorem ( De Giacomo, Favorito, Iocchi, Patrizi 2018 ) RL with ltl f / ldl f restraining specifications for learning agent M = � S, A, Tr ag , R ag � and restraining bolt RB = �L , { ( ϕ i , r i ) } m i =1 � can be reduced to classical RL over the MDP M ′ = � Q 1 × · · · × Q m × S, A, Tr ′ ag , R ′ ag � ag learned for M ′ corresponds to an optimal policy of the original i.e., the optimal policy ρ ′ problem. R ′ ag ( q 1 , . . . , q m , s, a, q ′ 1 , . . . , q ′ m , s ′ )= � r i + R ag ( s, a, s ′ ) i : q ′ i ∈ Fi We can rely on off-the-shelf RL algorithms (Q-Learning, Sarsa, ...)! Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 11 / 14

  13. RL with ltl f / ldl f restraining specifications (De Giacomo, Favorito, Iocchi, Patrizi 2018) Our approach: Transform each ϕ i into dfa A ϕ i Do RL over an MDP M ′ with a transformed state space: S ′ = Q 1 × · · · × Q m × S LA s s Features Extractor q a LEARNING AGENT RB l r RESTRAINING Features BOLT Extractor R w WORLD Notice: the agent ignores RB features L ! RL relies on standard algorithms (e.g. Sarsa( λ )) Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 12 / 14

  14. Relationship between the LA and RB representations Question 1: What is the relationship between S and L that needs to hold, in order to allow the agent to learn an optimal policy for the RB restraining specification? Answer: None! The LA will learn anyway to comply as much as possible to the RB restraining specifications. Note that from a KR viewpoint being able to synthesize policies by merging two formally unrelated representations S for LA and L for RB is unexpected, and speaks loudly about certain possibilities of RL vs. reasoning/planning. Question 2: Will LA policies surely satisfy RB restraining specification? Answer: Not necessarily! “ You can’t teach pigs to fly! ” But if it does not then anyway no policy are possible! If we want to check formally that the optimal policy satisfies the RB restraining specification, we first need to model how LA actions affects RB L ( the glue ) and then we can use e.g., model checking Question 3: Is the policy computed the same as if we did not make distinction between the features? Answer: No! We learn optimal non-Markovian policies of the form S ∗ → A not of the form ( S ∪ L ) ∗ → A Giuseppe De Giacomo (Sapienza) Foundations for Restraining Bolts Actions@KR18 – Oct. 29, 2018 13 / 14

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Foundations of Machine Learning Reinforcement Learning Reinforcement Learning Agent exploring

Foundations of Machine Learning Reinforcement Learning Reinforcement Learning Agent exploring

Foundations of Machine Learning Reinforcement Learning Reinforcement Learning Agent exploring environment. Interactions with environment: action state Agent Environment reward Problem: find action policy that maximizes cumulative reward

828 views • 66 slides
RL Overview of topics About Reinforcement Learning The Reinforcement Learning Problem

RL Overview of topics About Reinforcement Learning The Reinforcement Learning Problem

Introduction to Reinforcement Learning RL Overview of topics About Reinforcement Learning The Reinforcement Learning Problem Inside an RL agent Temporal difference learning Many faces of Reinforcement Learning What is

551 views • 35 slides
Reinforcement Learning Reinforcement Learning Reinforcement Learning in a nutshell g Imagine

Reinforcement Learning Reinforcement Learning Reinforcement Learning in a nutshell g Imagine

Reinforcement Learning Reinforcement Learning Reinforcement Learning in a nutshell g Imagine playing a new game whose rules you dont know; after a hundred or so moves your don t know; after a hundred or so moves, your opponent announces, You

511 views • 30 slides
Reinforcement Learning You can think of supervised learning as the teacher providing answers

Reinforcement Learning You can think of supervised learning as the teacher providing answers

Reinforcement Learning You can think of supervised learning as the teacher providing answers (the class labels) Reinforcement learning: In reinforcement learning, the agent learns Markov Decision Processes based on a punishment/reward

89 views • 6 slides
Examples of Reinforcement Learning Robocup Soccer Teams Stone & Veloso, Reidmiller et al.

Examples of Reinforcement Learning Robocup Soccer Teams Stone & Veloso, Reidmiller et al.

Reinforcement Learning Slides by Rich Sutton Mods by Dan Lizotte Refer to Reinforcement Learning: An Introduction by Sutton and Barto Alpaydin Chapter 16 Up until now we have been Supervised Learning Classifying, mostly

891 views • 31 slides
CS885 Reinforcement Learning Module 2: June 6, 2020 Maximum Entropy Reinforcement Learning

CS885 Reinforcement Learning Module 2: June 6, 2020 Maximum Entropy Reinforcement Learning

CS885 Reinforcement Learning Module 2: June 6, 2020 Maximum Entropy Reinforcement Learning Haarnoja, Tang et al. (2017) Reinforcement Learning with Deep Energy Based Policies, ICML . Haarnoja, Zhou et al. (2018) Soft Actor-Critic: Off-Policy

682 views • 24 slides
Reinforcement Learning Reinforcement Learning Now that you know a little about Optimal Control

Reinforcement Learning Reinforcement Learning Now that you know a little about Optimal Control

Reinforcement Learning Reinforcement Learning Now that you know a little about Optimal Control Theory, you actually have some knowledge in RL. RL shares the overall goal with OCT: solving for a control policy such that the cumulative cost

610 views • 22 slides
R i f R i f Reinforcement Learning III Reinforcement Learning III t L t L i i III III Dec

R i f R i f Reinforcement Learning III Reinforcement Learning III t L t L i i III III Dec

R i f R i f Reinforcement Learning III Reinforcement Learning III t L t L i i III III Dec 03 2008 1 Large State Spaces h When a problem has a large state space we can not longer represent the U or Q functions as explicit tables explicit

436 views • 18 slides
Reinforcement Learning CS 4100: Artificial Intelligence Reinforcement Learning II Still

Reinforcement Learning CS 4100: Artificial Intelligence Reinforcement Learning II Still

Reinforcement Learning CS 4100: Artificial Intelligence Reinforcement Learning II Still assume a Marko kov decision process (MDP): A se set o of st states s s S A se set o of a actions ( s (per st state) A A mo model

96 views • 5 slides
Reinforcement Learning UMaine COS 470/570 Introduction to AI Why reinforcement learning?

Reinforcement Learning UMaine COS 470/570 Introduction to AI Why reinforcement learning?

Reinforcement Learning<br/><br/> 4/25/19, 8*06 PM Reinforcement Learning<br/><br/> 4/25/19, 8*06 PM Reinforcement Learning UMaine COS 470/570 Introduction to AI Why reinforcement learning? Spring 2019 Created:

371 views • 15 slides
7. Motor Control and Reinforcement Learning Outline A. Action Selection and Reinforcement B.

7. Motor Control and Reinforcement Learning Outline A. Action Selection and Reinforcement B.

7. Motor Control and Reinforcement Learning Outline A. Action Selection and Reinforcement B. Temporal Difference Reinforcement Learning C. PVLV Model D. Cerebellum and Error-driven Learning 2/23/18 COSC 494/594 CCN 2 Sensory-Motor Loop

790 views • 56 slides
Deep Reinforcement Learning [Mastering the Game of Go with Deep Reinforcement Learning and Tree

Deep Reinforcement Learning [Mastering the Game of Go with Deep Reinforcement Learning and Tree

Deep Reinforcement Learning [Mastering the Game of Go with Deep Reinforcement Learning and Tree Search, Nature 2016] CS 486/686 University of Waterloo Lecture 21: July 12, 2017 Outline AlphaGo Supervised Learning of Policy Networks

540 views • 15 slides
Reinforcement Learning CS 4100: Artificial Intelligence Reinforcement Learning Ja Jan-Wi

Reinforcement Learning CS 4100: Artificial Intelligence Reinforcement Learning Ja Jan-Wi

Reinforcement Learning CS 4100: Artificial Intelligence Reinforcement Learning Ja Jan-Wi Willem van de Meent Northeastern University [These slides were created by Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley. All CS188

145 views • 10 slides
Reinforcement Learning AIMA Chapters: 21.1, 21.2, 21.3. Sutton and Barto, Reinforcement Learning:

Reinforcement Learning AIMA Chapters: 21.1, 21.2, 21.3. Sutton and Barto, Reinforcement Learning:

Reinforcement Learning Reinforcement Learning AIMA Chapters: 21.1, 21.2, 21.3. Sutton and Barto, Reinforcement Learning: an Introduction, 2nd Edition: Chapters 6 (6.1 6.5) Outline Reinforcement Learning Reinforcement Learning: the

587 views • 27 slides
Module 11 Introduction to Reinforcement Learning CS 886 Sequential Decision Making and

Module 11 Introduction to Reinforcement Learning CS 886 Sequential Decision Making and

Module 11 Introduction to Reinforcement Learning CS 886 Sequential Decision Making and Reinforcement Learning University of Waterloo Machine Learning Supervised Learning Teacher tells learner what to remember Reinforcement Learning

401 views • 29 slides
1 Pure Reinforcement Learning vs. Reinforcement Learning Monte-Carlo Planning No knowledge

1 Pure Reinforcement Learning vs. Reinforcement Learning Monte-Carlo Planning No knowledge

CSE 573: Artificial Intelligence Todo Reinforcement Learning Add simulations from 473 Dan Weld Add UCB bound (cut bolzman & constant epsilon Add snazzy videos (pendulum, zico kolter See http://www See http://www-

462 views • 11 slides
Uninformed Search Russell and Norvig chap. 3 Following this, the pong paddle went on a mission to

Uninformed Search Russell and Norvig chap. 3 Following this, the pong paddle went on a mission to

Uninformed Search Russell and Norvig chap. 3 Following this, the pong paddle went on a mission to destroy Atari headquarters and, due to a mixup, found himself inside the game The Matrix Reloaded. Boy, was THAT ever hard to explain to him.

796 views • 58 slides
Mobile OpenGL game porting to Tizen: hands-on experience Yuriy Ushakov (XenZu Technologies)

Mobile OpenGL game porting to Tizen: hands-on experience Yuriy Ushakov (XenZu Technologies)

Mobile OpenGL game porting to Tizen: hands-on experience Yuriy Ushakov (XenZu Technologies) bizdev@xenzu.com World Cup Table Tennis l Arcade game l 2-player game modes 2 Android application structure Android (Java) User Interface

803 views • 20 slides
Ambarish Kunwar Department of Biosciences and Bioengineering IIT Bombay akunwar@iitb.ac.in

Ambarish Kunwar Department of Biosciences and Bioengineering IIT Bombay akunwar@iitb.ac.in

BB 101 MODULE: PHYSICAL BIOLOGY TUTORIAL 2 Ambarish Kunwar Department of Biosciences and Bioengineering IIT Bombay akunwar@iitb.ac.in http://www.bio.iitb.ac.in/~akunwar/ 1 1. Consider a microscopic swimmer trying to make progress by cycling

368 views • 5 slides
The GAPS experiment a search for cosmic-ray antinuclei from dark matter M. Kozai (ISAS/JAXA)

The GAPS experiment a search for cosmic-ray antinuclei from dark matter M. Kozai (ISAS/JAXA)

The GAPS experiment a search for cosmic-ray antinuclei from dark matter M. Kozai (ISAS/JAXA) on behalf of the GAPS collaboration 1 The GAPS Experiment International collaboration between US, Japanese, and Italian institutes 2

632 views • 22 slides
Code your First Game Timothy Clark Adapted from code-your-first-game.com tdhc.uk/pong Chapter

Code your First Game Timothy Clark Adapted from code-your-first-game.com tdhc.uk/pong Chapter

Code your First Game Timothy Clark Adapted from code-your-first-game.com tdhc.uk/pong Chapter 1: The Basics Step 1: First Code File Extract from Creating a Website The Internet, The Web and HTML The Internet is the global network of

1.28k views • 101 slides
A linear/non-linear model for a quantum circuit description language Francisco Rios (joint work

A linear/non-linear model for a quantum circuit description language Francisco Rios (joint work

Introduction Cartesian model Model of circuit families Circuit description language A linear/non-linear model for a quantum circuit description language Francisco Rios (joint work with Peter Selinger) Department of Mathematics and Statistics

844 views • 45 slides
The IVOA Parameter Descrip3on Language (PDL) C.M. Zwlf, P.

The IVOA Parameter Descrip3on Language (PDL) C.M. Zwlf, P.

The IVOA Parameter Descrip3on Language (PDL) C.M. Zwlf, P. Harrison, J. Garrido, J.E. Ruiz, F Le Pe3t Interoperability ? Yes Please! Interoperability

712 views • 42 slides
COL866: Foundations of Data Science Ragesh Jaiswal, IITD Ragesh Jaiswal, IITD COL866:

COL866: Foundations of Data Science Ragesh Jaiswal, IITD Ragesh Jaiswal, IITD COL866:

COL866: Foundations of Data Science Ragesh Jaiswal, IITD Ragesh Jaiswal, IITD COL866: Foundations of Data Science Machine Learning: Generalization Ragesh Jaiswal, IITD COL866: Foundations of Data Science Machine Learning Generalization

742 views • 30 slides

More recommend