Datum
2020-11Autor
Opfer, StephanSchlagwort
004 Informatik Autonomer RoboterMensch-Maschine-KommunikationFramework <Informatik>ServiceroboterAnswer Set ProgrammingMetadata
Zur Langanzeige
Dissertation
Symbolic Representation of Dynamic Knowledge for Robotic Teams
Zusammenfassung
Das Forschungsziel dieser Arbeit ist es, die konzeptionellen Grundlagen für ein Team autonomer Roboter zu entwickeln, welches in der Lage ist, Wissen über seine Umwelt symbolisch darzustellen, über sein symbolisches Wissen zu kommunizieren und mit dem Wissen zu schlussfolgern, während sich die Umgebung dynamisch ändert. Dieses Forschungsziel wird durch mehrere Anwendungsbereiche motiviert, wobei die Domäne der Haushaltsroboter das Forschungsziel am besten motiviert. Wir haben die Anwendungsdomänen und das Forschungsziel genau analysiert und auf Grund der Ergebnisse Anforderungen für die allgemeine Domänenunabhängigkeit, den Umgang mit unbekannten und dynamischen Umgebungen und die Erleichterung der Mensch-Roboter-Interaktion formuliert.
Unsere vorgeschlagene Lösung koordiniert ein Team autonomer Roboter mit dem ALICA Framework. Um die Anforderungen zu erfüllen, haben wir das ALICA Framework neu implementiert und es beispielsweise um eine generische Solver-Schnittstelle erweitert. Die generische Solver-Schnittstelle ermöglicht die Integration nicht monotoner symbolischer Schlussfolgerungsverfahren und verbessert daher die Domänenunabhängigkeit des ALICA Frameworks.
Weitherin haben wir eine symbolische Wissensbasis für dynamisches Wissen entwickelt, welche die Antwortmengenprogrammierung (ASP) als nicht monotonen Schlussfolgerungskern verwendet. Auf die Wissensdatenbank kann über die generische Solver-Schnittstelle aus dem Kontext des ALICA Frameworks zugegriffen werden. Sie bietet jedoch auch eine generische Schnittstelle, welche die Interaktion mit anderen Modulen unserer Softwarearchitektur erleichtert.
Das Design unserer Wissensbasis erleichtert auch die Interaktion zwischen Menschen und Robotern. Dies haben wir erreicht, indem wir eine Allgemeinwissensdatenbank integriert haben und es Menschen ermöglicht haben, Roboter zur Laufzeit zu unterrichten. Darüber hinaus haben wir eine schlanke Middleware entwickelt, die die Kommunikationsanforderungen der Domäne der Haushaltsroboter erfüllt und die wissensbasierte Zusammenarbeit zwischen Robotern ermöglicht.
Zusätzlich zu den Experimenten, die der Bewertung einzelner Teile unserer Lösung gewidmet waren, haben wir auch das gesamte System in zwei verschiedenen Demonstratoren evaluiert. Der Wumpus World-Demonstrator ist ein Standard-Spielzeugszenario für die Evaluierung künstlicher Intelligenz, während der gridbasierte Servicerobotersimulator realistischere Anwendungsfälle bietet. Insgesamt zeigen die Ergebnisse der Experimente, dass unser System die Anforderungen erfüllt. Wir haben jedoch auch festgestellt, dass weitere Forschungen zum ASP-basierten Schlussfolgern mit dynamisches Wissen erforderlich sind.
Unsere vorgeschlagene Lösung koordiniert ein Team autonomer Roboter mit dem ALICA Framework. Um die Anforderungen zu erfüllen, haben wir das ALICA Framework neu implementiert und es beispielsweise um eine generische Solver-Schnittstelle erweitert. Die generische Solver-Schnittstelle ermöglicht die Integration nicht monotoner symbolischer Schlussfolgerungsverfahren und verbessert daher die Domänenunabhängigkeit des ALICA Frameworks.
Weitherin haben wir eine symbolische Wissensbasis für dynamisches Wissen entwickelt, welche die Antwortmengenprogrammierung (ASP) als nicht monotonen Schlussfolgerungskern verwendet. Auf die Wissensdatenbank kann über die generische Solver-Schnittstelle aus dem Kontext des ALICA Frameworks zugegriffen werden. Sie bietet jedoch auch eine generische Schnittstelle, welche die Interaktion mit anderen Modulen unserer Softwarearchitektur erleichtert.
Das Design unserer Wissensbasis erleichtert auch die Interaktion zwischen Menschen und Robotern. Dies haben wir erreicht, indem wir eine Allgemeinwissensdatenbank integriert haben und es Menschen ermöglicht haben, Roboter zur Laufzeit zu unterrichten. Darüber hinaus haben wir eine schlanke Middleware entwickelt, die die Kommunikationsanforderungen der Domäne der Haushaltsroboter erfüllt und die wissensbasierte Zusammenarbeit zwischen Robotern ermöglicht.
Zusätzlich zu den Experimenten, die der Bewertung einzelner Teile unserer Lösung gewidmet waren, haben wir auch das gesamte System in zwei verschiedenen Demonstratoren evaluiert. Der Wumpus World-Demonstrator ist ein Standard-Spielzeugszenario für die Evaluierung künstlicher Intelligenz, während der gridbasierte Servicerobotersimulator realistischere Anwendungsfälle bietet. Insgesamt zeigen die Ergebnisse der Experimente, dass unser System die Anforderungen erfüllt. Wir haben jedoch auch festgestellt, dass weitere Forschungen zum ASP-basierten Schlussfolgern mit dynamisches Wissen erforderlich sind.
Zitieren
@phdthesis{doi:10.17170/kobra-202105083868,
author={Opfer, Stephan},
title={Symbolic Representation of Dynamic Knowledge for Robotic Teams},
school={Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik},
month={11},
year={2020}
}
0500 Oax 0501 Text $btxt$2rdacontent 0502 Computermedien $bc$2rdacarrier 1100 2020$n2020 1500 1/eng 2050 ##0##http://hdl.handle.net/123456789/12830 3000 Opfer, Stephan 4000 Symbolic Representation of Dynamic Knowledge for Robotic Teams / Opfer, Stephan 4030 4060 Online-Ressource 4085 ##0##=u http://nbn-resolving.de/http://hdl.handle.net/123456789/12830=x R 4204 \$dDissertation 4170 5550 {{Autonomer Roboter}} 5550 {{Mensch-Maschine-Kommunikation}} 5550 {{Framework <Informatik>}} 5550 {{Serviceroboter}} 5550 {{Answer Set Programming}} 7136 ##0##http://hdl.handle.net/123456789/12830
2021-05-17T15:12:32Z 2021-05-17T15:12:32Z 2020-11 doi:10.17170/kobra-202105083868 http://hdl.handle.net/123456789/12830 eng Namensnennung 4.0 International http://creativecommons.org/licenses/by/4.0/ 004 Symbolic Representation of Dynamic Knowledge for Robotic Teams Dissertation Das Forschungsziel dieser Arbeit ist es, die konzeptionellen Grundlagen für ein Team autonomer Roboter zu entwickeln, welches in der Lage ist, Wissen über seine Umwelt symbolisch darzustellen, über sein symbolisches Wissen zu kommunizieren und mit dem Wissen zu schlussfolgern, während sich die Umgebung dynamisch ändert. Dieses Forschungsziel wird durch mehrere Anwendungsbereiche motiviert, wobei die Domäne der Haushaltsroboter das Forschungsziel am besten motiviert. Wir haben die Anwendungsdomänen und das Forschungsziel genau analysiert und auf Grund der Ergebnisse Anforderungen für die allgemeine Domänenunabhängigkeit, den Umgang mit unbekannten und dynamischen Umgebungen und die Erleichterung der Mensch-Roboter-Interaktion formuliert. Unsere vorgeschlagene Lösung koordiniert ein Team autonomer Roboter mit dem ALICA Framework. Um die Anforderungen zu erfüllen, haben wir das ALICA Framework neu implementiert und es beispielsweise um eine generische Solver-Schnittstelle erweitert. Die generische Solver-Schnittstelle ermöglicht die Integration nicht monotoner symbolischer Schlussfolgerungsverfahren und verbessert daher die Domänenunabhängigkeit des ALICA Frameworks. Weitherin haben wir eine symbolische Wissensbasis für dynamisches Wissen entwickelt, welche die Antwortmengenprogrammierung (ASP) als nicht monotonen Schlussfolgerungskern verwendet. Auf die Wissensdatenbank kann über die generische Solver-Schnittstelle aus dem Kontext des ALICA Frameworks zugegriffen werden. Sie bietet jedoch auch eine generische Schnittstelle, welche die Interaktion mit anderen Modulen unserer Softwarearchitektur erleichtert. Das Design unserer Wissensbasis erleichtert auch die Interaktion zwischen Menschen und Robotern. Dies haben wir erreicht, indem wir eine Allgemeinwissensdatenbank integriert haben und es Menschen ermöglicht haben, Roboter zur Laufzeit zu unterrichten. Darüber hinaus haben wir eine schlanke Middleware entwickelt, die die Kommunikationsanforderungen der Domäne der Haushaltsroboter erfüllt und die wissensbasierte Zusammenarbeit zwischen Robotern ermöglicht. Zusätzlich zu den Experimenten, die der Bewertung einzelner Teile unserer Lösung gewidmet waren, haben wir auch das gesamte System in zwei verschiedenen Demonstratoren evaluiert. Der Wumpus World-Demonstrator ist ein Standard-Spielzeugszenario für die Evaluierung künstlicher Intelligenz, während der gridbasierte Servicerobotersimulator realistischere Anwendungsfälle bietet. Insgesamt zeigen die Ergebnisse der Experimente, dass unser System die Anforderungen erfüllt. Wir haben jedoch auch festgestellt, dass weitere Forschungen zum ASP-basierten Schlussfolgern mit dynamisches Wissen erforderlich sind. open access Opfer, Stephan 2021-03-04 vi, 178 Seiten Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik Geihs, Kurt (Prof. Dr.) Nardi, Daniele (Prof. Dr.) Autonomer Roboter Mensch-Maschine-Kommunikation Framework <Informatik> Serviceroboter Answer Set Programming publishedVersion false
Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden: