Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning...
Transcript of Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning...
![Page 1: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/1.jpg)
Diagnostic Reasoning for Robotics
using Action Languages
Esra Erdem1, Volkan Patoğlu1, Zeynep G. Saribatur2
1 Sabancı University, İstanbul, Turkey2 Vienna University of Technology, Vienna, Austria
This research is partially supported by TUBITAK 113M422 and 114E491, 111E116 grants.
![Page 2: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/2.jpg)
• Teams collaborate with each other for a common goal• Coordination of teams is needed to use shared resources efficiently
• Each team consists of heterogeneous robots• Each team has cognitive skills, like hybrid planning with minimum total action cost
Robotic Domains with Multiple Teams of Robots
E. Erdem, V. Patoglu, Z. G. Saribatur, P. Schüller, T. Uras, “Finding optimal plans for multiple teams of robots through a
mediator: A logic-based approach”, TPLP 13(4-5): 831-846 (2013).
Z. G. Saribatur, E. Erdem, V. Patoglu, “Cognitive factories with multiple teams of heterogeneous robots: Hybrid reasoning
for optimal feasible global plans”, Proc. of IROS, 2014.
![Page 3: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/3.jpg)
Plan Execution Monitoring
Domain-independent NOVELTY: Causal replanning!
i. systematically identify the causes of discrepancies and changes, and
ii. systematically modify the action description and the planning problem accordingly
![Page 4: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/4.jpg)
Causal Replanning
NOVELTY: Diagnostic reasoning for replanning!• Identify causes of discrepancies and modify the planning problem• Add repair actions to the domain description
![Page 5: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/5.jpg)
Model-Based Diagnosis
𝐷 𝑂 𝐻
Expected behavior of the system Observations Hypothesis
Ս Ս
Is the logical theory consistent?
![Page 6: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/6.jpg)
Model-Based Diagnosis for Plan Execution
𝐷𝑑𝑖𝑎𝑔 𝑂𝑡
𝑀
𝐻
Description of robotic actions
and change
Observations about
current state
Hypothesis about broken
robots orcomponents
Ս Ս
Is the logical theory consistent?
If it is consistent then which actions in 𝑃𝑡 could not be executed and why not?
Ս Ս𝑆0
𝑀
𝑃𝑡
Plan execution so far from the initial state
![Page 7: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/7.jpg)
Describing Robotic Actions for Diagnostic Reasoning
𝐷Description of robotic actions
for robotic planning
𝐷𝑑𝑖𝑎𝑔Description of robotic actions
for diagnosis
Transformation of formulas
NOVELTY: o no auxiliary actions o use of defaults and nondeterminismo feasibility checks embedded
Systematic and domain independent Polynomial time Correctness proved
![Page 8: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/8.jpg)
Action Languages
![Page 9: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/9.jpg)
Transforming an Action Description for Diagnosis
![Page 10: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/10.jpg)
Transforming an Action Description for Diagnosis
![Page 11: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/11.jpg)
Transforming an Action Description for Diagnosis
Proposition 1 Every query satisfied by D is satisfied by Ddiag.
![Page 12: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/12.jpg)
Diagnosis
![Page 13: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/13.jpg)
Generating Hypotheses
𝑅 All robots and their components
𝐻 Hypothesis about broken robots and their components
Generate a hypothesis
NOVELTY: o Minimality of cardinality is guaranteed, while
maximizing the likelihood of hypothesiso Learning from experiences with probabilities
is utilized in declarative optimization Systematic and domain-independent
#𝑚𝑖𝑛𝑖𝑚𝑖𝑧𝑒 [1, 𝑟 ∶ 𝑏𝑟𝑜𝑘𝑒𝑛 𝑟 , 𝑟 ∈ 𝑅]#𝑚𝑎𝑥𝑖𝑚𝑖𝑧𝑒 [𝑤, 𝑟: 𝑤𝑒𝑖𝑔ℎ𝑡 𝑟, 𝑤 , 𝑏𝑟𝑜𝑘𝑒𝑛 𝑟 , 𝑟 ∈ 𝑅]
![Page 14: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/14.jpg)
Implementation and Experimentation
YES!
Is the logical theory consistent?
𝑂𝑡
𝑀
Ս ՍՍ Ս𝑆0
𝑀 𝑃𝑡𝐷𝑑𝑖𝑎𝑔 𝐻
False negatives are generated without geometric reasoning.
Is integrating feasibility checks useful for generating better diagnoses?
Is integrating learning useful for generating better diagnoses and faster?
YES!
Does diagnostic reasoning improve replanning?
YES!
![Page 15: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/15.jpg)
Implementation and Experimentation
YES!
Is the logical theory consistent?
𝑂𝑡
𝑀
Ս ՍՍ Ս𝑆0
𝑀 𝑃𝑡𝐷𝑑𝑖𝑎𝑔 𝐻
False negatives are generated without geometric reasoning.
Is integrating feasibility checks useful for generating better diagnoses?
![Page 16: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/16.jpg)
Implementation and Experimentation
YES!
Is the logical theory consistent?
𝑂𝑡
𝑀
Ս ՍՍ Ս𝑆0
𝑀 𝑃𝑡𝐷𝑑𝑖𝑎𝑔 𝐻
False negatives are generated without geometric reasoning.
Is integrating feasibility checks useful for generating better diagnoses?
![Page 17: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/17.jpg)
Implementation and Experimentation
Is integrating learning useful for generating better diagnoses and faster?
YES!
![Page 18: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/18.jpg)
Implementation and Experimentation
Does diagnostic reasoning improve replanning?
YES!
![Page 19: Diagnostic Reasoning for Robotics using Action Languages · 2015. 10. 15. · Diagnostic Reasoning for Robotics using Action Languages Esra Erdem 1, Volkan Patoğlu, Zeynep G. Saribatur2](https://reader035.fdocuments.in/reader035/viewer/2022071404/60f8d9ebd89658779873bc41/html5/thumbnails/19.jpg)
Conclusions
Novelties of our diagnostic reasoning framework from the AI and Robotics perspectives:• It generates diagnoses without introducing auxiliary “break’’ actions.• It can optimize these diagnoses.• It utilizes feasibility checks as needed.• It utilizes learning from earlier diagnoses and failures.
Erdem, E., Patoglu, V., Saribatur, Z.G.: Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive
factories with multiple robots. Proc. of ICRA (2015).