New Developments for Robert Assisting Novice Users Even Better in DIY Projects Gregor Behnke , Pascal Bercher, Matthias Kraus, Marvin Schiller, Kristof Mickeleit, Timo H¨ age, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo Ulm University / University of Freiburg 30/10/2020
New Developments for Robert Gregor Behnke, Uni Freiburg Do-It-Yourself Projects 2/11
New Developments for Robert Gregor Behnke, Uni Freiburg Do-It-Yourself Projects 2/11
New Developments for Robert Gregor Behnke, Uni Freiburg Do-It-Yourself Projects 2/11
New Developments for Robert Gregor Behnke, Uni Freiburg Do-It-Yourself Projects 2/11
New Developments for Robert Gregor Behnke, Uni Freiburg Do-It-Yourself Projects 2/11
New Developments for Robert Gregor Behnke, Uni Freiburg Do-It-Yourself Projects 2/11
New Developments for Robert Gregor Behnke, Uni Freiburg Do-It-Yourself Projects 2/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assisting DIYers 3/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assisting DIYers 3/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assisting DIYers 3/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert 4/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as • Text 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as • Text • Images 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as • Text • Images • Videos 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as • Text • Images • Videos • Interaction via speech and touch 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as • Text • Images • Videos • Interaction via speech and touch • HTN domain provides useful abstraction 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as • Text • Images • Videos • Interaction via speech and touch • HTN domain provides useful abstraction • Allows changes to the presented plan 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Assistance delivered by Robert • Actions are presented as • Text • Images • Videos • Interaction via speech and touch • HTN domain provides useful abstraction • Allows changes to the presented plan • Proactivity using Connected Tool 5/11
New Developments for Robert Gregor Behnke, Uni Freiburg Robert’s components • (HTN-)Planner 6/11
New Developments for Robert Gregor Behnke, Uni Freiburg Robert’s components • (HTN-)Planner • Ontology Manager 6/11
New Developments for Robert Gregor Behnke, Uni Freiburg Robert’s components • (HTN-)Planner • Ontology Manager • Dialogue Manager 6/11
New Developments for Robert Gregor Behnke, Uni Freiburg Robert’s components • (HTN-)Planner • Ontology Manager • Dialogue Manager • User Interface 6/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan The user might not like the presented plan! 7/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan The user might not like the presented plan! vs 7/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan The user might not like the presented plan! vs • We can’t know the user’s preference in beforehand. 7/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan The user might not like the presented plan! vs • We can’t know the user’s preference in beforehand. ⇒ React to the user’s whishes. 7/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the user 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user • Transform request into LTL 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user • Transform request into LTL φ = G ¬ sawElectric ∧ E sawManually 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user • Transform request into LTL φ = G ¬ sawElectric ∧ E sawManually • Find plan that satisfies formula 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user • Transform request into LTL φ = G ¬ sawElectric ∧ E sawManually π | = φ • Find plan that satisfies formula 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user • Transform request into LTL φ = G ¬ sawElectric ∧ E sawManually π | = φ • Find plan that satisfies formula • Accumulate set of formulae for multiple requests 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user • Transform request into LTL φ = G ¬ sawElectric ∧ E sawManually π | = φ • Find plan that satisfies formula • Accumulate set of formulae φ 1 , φ 2 , . . . for multiple requests 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Changing the Plan • Receive request from the U: I want to use the manual saw instead of the electric one. user • Transform request into LTL φ = G ¬ sawElectric ∧ E sawManually π | = φ • Find plan that satisfies formula • Accumulate set of formulae φ 1 , φ 2 , . . . for multiple requests What about inconsistencies? = � φ i , drop the oldest one ⇒ If ¬∃ π : π | 8/11
New Developments for Robert Gregor Behnke, Uni Freiburg Connected Tool 9/11
New Developments for Robert Gregor Behnke, Uni Freiburg Connected Tool • Sensors to PSR18Li • Gyroscopic • Accelerometric • Compass 9/11
New Developments for Robert Gregor Behnke, Uni Freiburg Connected Tool • Sensors to PSR18Li • Gyroscopic • Accelerometric • Compass • Trained Neural Network using data from 12 subjects 9/11
New Developments for Robert Gregor Behnke, Uni Freiburg Connected Tool • Sensors to PSR18Li • Gyroscopic • Accelerometric • Compass • Trained Neural Network using data from 12 subjects • Recognise Activities • off • screwing • drilling • drill change • battery change • other 9/11
New Developments for Robert Gregor Behnke, Uni Freiburg Proactivity We now know what the user is doing! 10/11
New Developments for Robert Gregor Behnke, Uni Freiburg Proactivity We now know what the user is doing! ⇒ Help the user complete his project with suitable dialogue strategies 10/11
New Developments for Robert Gregor Behnke, Uni Freiburg Proactivity We now know what the user is doing! ⇒ Help the user complete his project with suitable dialogue R: You seem to be working with strategies the connected tool for the • Inform the user of the connected first time. Don’t worry, I’ll tool guide you through the steps! 10/11
New Developments for Robert Gregor Behnke, Uni Freiburg Proactivity We now know what the user is doing! R: I noticed that you were drilling. Did that work? ⇒ Help the user complete his U: No, it didn’t. project with suitable dialogue R: Ok, do you need additional strategies help? • Inform the user of the connected U: Yes, please. tool R: A video of this project step • Supportive questions could help. I’m going to play it for you. (Then a video is played.) 10/11
New Developments for Robert Gregor Behnke, Uni Freiburg Proactivity We now know what the user is doing! ⇒ Help the user complete his project with suitable dialogue R: I haven’t seen any tool strategies activity by you in three • Inform the user of the connected minutes. Do you need help? tool U: ... • Supportive questions • Handle inactivity 10/11
New Developments for Robert Gregor Behnke, Uni Freiburg Eval We evaluated changing the plan and proactivity 11/11
New Developments for Robert Gregor Behnke, Uni Freiburg Eval We evaluated changing the plan and proactivity • A/B test for proactivity ( n = 32, even split) 11/11
Recommend
More recommend