Aktive Wissensadaption für intelligente autonome Roboter
Active Belief Repair for Intelligent Autonomous Robots
Wissenschaftsdisziplinen
Informatik (100%)
Keywords
-
Autonomous Robots,
Model-Based Diagnosis,
Repair,
Planning,
Deliberation,
Robustness
Wenn ein autonomer Roboter robust in einer dynamischen Real-World Umgebung agieren soll, so muss er in der Lage sein mit unerwarteten, unvorhergesehenen und mehrdeutigen Situationen umgehen können. Eine häufige Ursache für solche Situationen ist, dass der aktuelle Zustand der Welt inkonsistent mit der interne Abbildung oder der Wissensbasis des Roboters ist. Zum Beispiel glaubt der Roboter, er ist in einem anderen Büro, als in dem er sich tatsächlich befindet. Üblicherweise wird dies durch Unsicherheiten in der Wahrnehmung und im Handeln des Roboters oder durch externe Ereignisse, die der Roboter nicht kontrollieren oder wahrnehmen kann, verursacht. Wenn ein Roboter nicht in der Lage ist solche Situationen zu erkennen, so wird er in der Ausführung seiner Aufgabe scheitern, da die Entscheidungsfindung des Roboters sich auf eine konsistente Wissensbasis verlässt. Menschen sind auf Grund ihrer Schlussfolgerungsfähigkeiten sehr gut darin mit solchen Phänomenen umzugehen. Sie benutzen allgemein gültige Schlussfolgerungen um solche Inkonsistenzen zu detektieren. Zusätzlich sind sie in der Lage Aktionen zu setzen, um diese Inkonsistenzen zu reduzieren. Wenn zum Beispiel eine Person sich nicht sicher ist, in welchem Stockwerk sie sich befindet, geht sie zurück zum Lift oder Treppenhaus und sieht nach in welchen Stockwerk sie gerade ist. In dem Projekt schlagen wir einen Schlussfolgerungsmechanismus vor, der es einem Roboter erlaubt Inkonsistenzen in seiner Wissensbasis zu erkennen und Reparaturaktionen ab zu leiten, die die Inkonsistenzen eliminieren oder zumindest reduzieren. Der Ansatz nutzt ein Hintergrundmodel (Hausverstand), wie der Roboter und die Welt funktionieren sollten, und Methoden der Model-Basierten Diagnose um Inkonsistenzen zu detektieren und deren Ursache zu lokalisieren, zum Beispiel falsche oder unsichere Fakten. Weiters erstellt der Ansatz automatisch Reparaturpläne, die der Roboter ausführen kann, um die Inkonsistenzen zu reduzieren. Diese Reduktion erfolgt durch die Bestätigung oder Entfernung von Fakten aus der Wissensbasis.
Wenn ein autonomer Roboter robust in einer dynamischen Real-World Umgebung agieren soll, so muss er in der Lage sein mit unerwarteten, unvorhergesehenen und mehrdeutigen Situationen umgehen können. Eine häufige Ursache für solche Situationen ist, dass der aktuelle Zustand der Welt inkonsistent mit der internen Abbildung oder der Wissensbasis des Roboters ist. Zum Beispiel glaubt der Roboter, er ist in einem anderen Büro, als in dem er sich tatsächlich befindet. Üblicherweise wird dies durch Unsicherheiten in der Wahrnehmung und im Handeln des Roboters oder durch externe Ereignisse, die der Roboter nicht kontrollieren oder wahrnehmen kann, verursacht. Wenn ein Roboter nicht in der Lage ist solche Situationen zu erkennen, so wird er in der Ausführung seiner Aufgabe scheitern, da die Entscheidungsfindung des Roboters sich auf eine konsistente Wissensbasis verlässt. Menschen sind auf Grund ihrer Schlussfolgerungsfähigkeiten sehr gut darin mit solchen Phänomenen umzugehen. Sie benutzen allgemein gültige Schlussfolgerungen um solche Inkonsistenzen zu detektieren. Zusätzlich sind sie in der Lage Aktionen zu setzen, um diese Inkonsistenzen zu reduzieren. Wenn zum Beispiel eine Person sich nicht sicher ist, in welchem Stockwerk sie sich befindet, geht sie zurück zum Lift oder Treppenhaus und sieht nach in welchem Stockwerk sie gerade ist. In dem Projekt entwickelten wir einen Schlussfolgerungsmechanismus, der es einem Roboter erlaubt Inkonsistenzen in seiner Wissensbasis zu erkennen und Reparaturaktionen abzuleiten, die die Inkonsistenzen eliminieren oder zumindest reduzieren. Der Ansatz nutzt ein Hintergrundmodell (Hausverstand), wie der Roboter und die Welt funktionieren sollten, und Methoden der Model-Basierten Diagnose um Inkonsistenzen zu detektieren und deren Ursache zu lokalisieren, zum Beispiel falsche oder unsichere Fakten. Weiters erstellt der Ansatz automatisch Reparaturpläne, die der Roboter ausführen kann, um die Inkonsistenzen zu reduzieren. Diese Reduktion erfolgt durch die Bestätigung oder Entfernung von Fakten aus der Wissensbasis. Am Ende des Projektes wurde die Methode in einen realen Serviceroboter integriert und erhöhte die Robustheit des Roboters gegenüber unerwarteten Ereignissen in der Umgebung wie verlegte Objekte oder ungenaue Navigationsbefehle.
- Technische Universität Graz - 100%
Research Output
- 94 Zitationen
- 18 Publikationen
-
2012
Titel The Ontology Lifecycle in RoboCup: Population from Text and Execution DOI 10.1007/978-3-642-32060-6_33 Typ Book Chapter Autor Gspandl S Verlag Springer Nature Seiten 389-401 -
2012
Titel Improving Belief Management for High-Level Robot Programs by Using Diagnosis Templates. Typ Conference Proceeding Abstract Autor Ferrein A Et Al Konferenz International Workshop on Principles of Diagnosis 2012 (DX). Great Malvern, UK -
2014
Titel Using Common Sense Invariants in Belief Management for Autonomous Agents DOI 10.1007/978-3-319-07455-9_6 Typ Book Chapter Autor Mühlbacher C Verlag Springer Nature Seiten 49-59 -
2013
Titel Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice DOI 10.1007/978-3-642-36249-1_7 Typ Book Chapter Autor Steinbauer G Verlag Springer Nature Seiten 187-213 -
2012
Titel A Dependable Perception-Decision-Execution Cycle for Autonomous Robots DOI 10.1109/icra.2012.6225078 Typ Conference Proceeding Abstract Autor Gspandl S Seiten 2992-2998 -
2012
Titel Selective Belief Management for High-Level Robot Programs. Typ Conference Proceeding Abstract Autor Podesser S Konferenz International Workshop on Principles of Diagnosis 2012 (DX). Great Malvern, UK -
2015
Titel Diagnosis Makes the Difference for a Successful Execution of High-Level Robot Control Programs DOI 10.1007/978-3-319-08338-4_81 Typ Book Chapter Autor Mühlbacher C Verlag Springer Nature Seiten 1119-1132 -
2013
Titel Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. Typ Journal Article Autor Gspandl S -
2013
Titel A Survey about Faults of Robots Used in RoboCup DOI 10.1007/978-3-642-39250-4_31 Typ Book Chapter Autor Steinbauer G Verlag Springer Nature Seiten 344-355 -
2013
Titel Maintaining consistency in a robot's knowledge-base via diagnostic reasoning DOI 10.3233/aic-2012-0544 Typ Journal Article Autor Gspandl S Journal AI Communications Seiten 29-38 -
2014
Titel Knowledge-Aware Execution of Programs in IndiGolog. Typ Conference Proceeding Abstract Autor Mühlbacher C Konferenz 9th International Workshop on Cognitive Robotics, Czech Republic -
2014
Titel Active Diagnosis for Agents with Belief Management. Typ Conference Proceeding Abstract Autor Mühlbacher C Konferenz International Workshop on Principles of Diagnosis 2014 (DX). Graz, Austria -
2010
Titel On the Way to Automated Belief Repair for Autonomous Robots. Typ Conference Proceeding Abstract Autor Steinbauer G Konferenz International Workshop on the Principles of Diagnosis (DX 2010), Portland, OR, USA. 2010 -
2011
Titel Belief Management for High-Level Robot Programs. Typ Conference Proceeding Abstract Autor Ferrein A Et Al Konferenz Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain. July 2011 -
2011
Titel Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots. Typ Conference Proceeding Abstract Autor Steinbauer G Konferenz ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments, Tallinn, Estonia. June 2011. -
2011
Titel Belief Management for Autonomous Robots Using History-Based Diagnosis DOI 10.1007/978-3-642-21332-8_17 Typ Book Chapter Autor Gspandl S Verlag Springer Nature Seiten 113-118 -
2011
Titel On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems. Typ Conference Proceeding Abstract Autor Steinbauer G Konferenz International Workshop on the Principles of Diagnosis (DX 2011), Murnau, Germany. October 2011 -
2011
Titel Robust Robotics Using History-Based Diagnosis in IndiGolog. Typ Conference Proceeding Abstract Autor Mate W Konferenz Austrian Robotics Workshop. Hall/Tirol, Austria, May 2011.