Sonderforschungsbereich Transregio 62 (SFB TRR-62)

Der SFB/Transregio 62 "eine Companion-Technologie für kognitive technische Systeme" befasst sich mit der systematischen Erforschung kognitiver Fähigkeiten und deren Realisierung in technischen Systemen. 

Das Vorhaben folgt der Vision, dass technische Systeme der Zukunft Companion-Systeme sind – kognitive technische Systeme, die ihre Funktionalität vollkommen individuell auf den jeweiligen Nutzer abstimmen: Sie orientieren sich an seinen Fähigkeiten, Vorlieben, Anforderungen und aktuellen Bedürfnissen und stellen sich auf seine Situation und emotionale Befindlichkeit ein. Dabei stehen die Eigenschaften der Individualität, Anpassungsfähigkeit, Verfügbarkeit, Kooperativität und Vertrauenswürdigkeit im Zentrum der Untersuchung.

  • Im Teilprojekt A1 befasst sich unsere Arbeitsgruppe mit der Realisierung von Planungs- und Entscheidungskompetenz in Companion-Systemen.

    Ein Companion-System soll in der Lage sein, individualisierte und an die jeweilige Umgebungssituation sowie den Emotionsstatus des Nutzers angepasste Handlungsvorschläge zu unterbreiten, Entscheidungsunterstützung zu leisten sowie selbstständig Aktionen auszuführen.

    Als Grundlage hierfür wird ein Verfahren zur individualisierten Plangenerierung entwickelt, mit dem Handlungspläne und -anweisungen auf individuelle Nutzer zugeschnitten und an ihren jeweiligen Bedürfnissen, Fähigkeiten und Präferenzen orientiert erzeugt werden können. Da ein Companion-System zwangsläufig auch mit unvorhergesehenen Ereignissen und unerwartetem Nutzerverhalten konfrontiert wird, muss es einmal generierte und bereits in der Ausführung befindliche Pläne entsprechend modifizieren können. Dazu werden Verfahren zur Anpassung von Plänen an neue Zielvorgaben und die aktuelle emotionale Befindlichkeit des Nutzers entwickelt sowie Verfahren zur Planreparatur, die Fehler, die während der Ausführung eines Handlungsplanes entstehen, situations- und nutzerangepasst kompensieren.

  • In Teilprojekt A2 arbeiten wir an einer Wissensarchitektur für Companion-Systeme und untersuchen Fragestellungen zur Repräsentation unsicheren Wissens.

    Das Forschungsvorhaben befasst sich mit grundlegenden Fragestellungen zu Struktur und Aufbau von deklarativen Wissensbasen für Companion-Systeme und bündelt die symbolische Modellierung der Information, die in den Planungs-, Entscheidungs-, Interaktions- und Dialogprozessen eines solchen Systems benötigt wird.

    In diesem Zusammenhang werden Methoden zur systematischen und konsistenten Übertragung von sensorisch gewonnener Situations- und Emotionsinformation auf die deklarative Wissensrepräsentationsebene entwickelt, wobei die durchgängige Behandlung der Unsicherheit dieser Information im Vordergrund steht.

    Ein zweiter Schwerpunkt liegt auf der Werkzeugunterstützung beim Aufbau der Wissensbasen. Diese setzen sich aus verschiedenen Modellkomponenten zusammen, die aufeinander abgestimmt sein müssen und weder in sich, noch in ihrem Zusammenspiel Widersprüche aufweisen dürfen. Daher werden zunächst spezielle Konsistenzkriterien für die Modellkomponenten eines Companion-Systems definiert. Anschließend werden geeignete Mechanismen zu ihrer Überprüfung entwickelt und in einem Werkzeug zur systematischen Modellkonstruktion umgesetzt.

  • In Teilprojekt Z3 entwickeln wir ein Architekturkonzept sowie eine Experimentierplattform zur Erstellung und Evaluierung von Companion-Systemen.

    Companion-Systeme setzen sich aus einer Vielzahl von Funktionseinheiten zusammen, deren Aufgaben von der Erfassung, Klassifikation, Fusion und Deutung verschiedenster Umgebungs- und Nutzerparameter über die Umsetzung unterschiedlicher Formen der Mensch-Computer-Interaktion bis zur Realisierung höherer kognitiver Fähigkeiten wie Planung und Entscheidungsfindung reichen.

    Um diese Einheiten in wohldefinierter Weise und je nach Beschaffenheit der aktuellen Anwendung zu einer Gesamtfunktionalität zusammenfügen zu können, werden in diesem Forschungsvorhaben Architekturkonzepte für Companion-Systeme entwickelt. Darüber hinaus entsteht eine Experimentierplattform zur Erstellung und Evaluierung solcher Systeme.

    Ziel ist es, die Komponenten eines Companion-Systems auf dieser Basis zunächst schrittweise zu Teildemonstratoren zu integrieren und ihre Funktionalität anhand verschiedener Szenarios zu erproben.

Das Projekt ist finanziert durch die Deutsche Forschungsgemeinschaft (DFG).

Projektlaufzeit: Januar 2009 bis Dezember 2017

Publikationen des SFB TRR-62

2015

79.
P. Bercher, "Hybrid Planning - Theoretical Foundations and Practical Applications" in Doctoral Consortium at ICAPS 2015, 2015.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15DissertationAbstractDC.pdf
78.
G. Behnke, P. Bercher, S. Biundo, B. Glimm, D. Ponomaryov and M. R. G. Schiller, "Integrating Ontologies and Planning for Cognitive Systems" in Proceedings of the 28th International Workshop on Description Logics (DL 2015), CEUR Workshop Proceedings, 2015.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BBBG15a.pdf
77.
M. Stark, "Invariantensynthese für Planung in Unsicherheit", Bachelor Thesis, Ulm University, 2015.
76.
T. Geier, F. Richter and S. Biundo, "Locally Conditioned Belief Propagation" in Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI), Amsterdam, AUAI Press, 2015, pp. 296--305.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Geier2015Lcbp.pdf
75.
G. Behnke, D. Höller and S. Biundo, "On the Complexity of HTN Plan Verification and its Implications for Plan Recognition" in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), 25th International Conference on Automated Planning and Scheduling, Jerusalem, 7-11 June 2015,Ronen Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, Eds. AAAI Press, 2015, pp. 25-33.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke2015HTNVerification.pdf
74.
M. Kotzyba, D. Ponomaryov, T. Low, M. Thiel and A. Nürnberger, "Ontology-supported Exploratory Search for Physical Training Exercises" in Proceedings of the ISWC 2015 Posters & Demonstrations Track, CEUR-WS.org, 2015.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KPLT15a.pdf
73.
A. Steigmiller and B. Glimm, "Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures", Journal of Artificial Intelligence Research, vol. 54, pp. 535--592, 2015. http://jair.org/media/4897/live-4897-9009-jair.pdf.
DOI:10.1613/jair.4897
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf
72.
T. Welz, "Planreparatur im Hierarchischen Planen: Ein systemunabhängiger Ansatz", Bachelor Thesis, Ulm University, 2015.
71.
T. Hörnle and M. Tornow, "Reference Architecture Approach for Companion-Systems" in Proc. of the Int. Symposium on Companion Technology (ISCT 2015), 2015.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Hoernle15Architecture.pdf
70.
F. Nothdurft, G. Behnke, P. Bercher, S. Biundo and W. Minker, "The Interplay of User-Centered Dialog Systems and AI Planning" in Proceedings of the 16th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL), Prague, Czech Republic, Association for Computational Linguistics, 2015, pp. 344--353.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Nothdurft15MIP.pdf
69.
R. Alford, P. Bercher and D. Aha, "Tight Bounds for HTN Planning" in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), AAAI Press, 2015, pp. 7--15.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightHTNBounds.pdf
68.
R. Alford, P. Bercher and D. Aha, "Tight Bounds for HTN planning with Task Insertion" in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2015, pp. 1502--1508.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBounds.pdf
67.
R. Alford, P. Bercher and D. Aha, "Tight Bounds for HTN planning with Task Insertion (Extended Abstract)" in Proceedings of the Eighth Annual Symposium on Combinatorial Search (SoCS), AAAI Press, 2015, pp. 221--222.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBoundsAbstract.pdf
66.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "User-Centered Planning - A Discussion on Planning in the Presence of Human Users" in Proceedings of the First International Symposium on Companion Technology (ISCT 2015), First International Symposium on Companion Technology (ISCT 2015), Ulm, Germany, 23. - 25. September 2015, 2015, pp. 79--82.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15UserCenteredDiscussion.pdf
65.
M. Schmautz, "Variabledecomposition for Conditioned Belief Propagation", Bachelor Thesis, Ulm University, 2015.

2014

64.
T. Geier, F. Richter and S. Biundo, "Conditioned Belief Propagation Revisited: Extended Version" , Aug. 2014.
Datei:pdfhttp://vts.uni-ulm.de/docs/2014/9201/vts_9201_13795.pdf
63.
M. Glodek, T. Geier, S. Biundo and G. Palm, "A layered architecture for probabilistic complex pattern recognition to detect user preferences", Neural-Symbolic Networks for Cognitive Capacities, 2014. http://www.sciencedirect.com/science/article/pii/S2212683X14000486.
DOI:10.1016/j.bica.2014.06.003
62.
F. Honold, P. Bercher, F. Richter, F. Nothdurft, T. Geier, R. Barth, T. Hörnle, F. Schüssel, S. Reuter, M. Rau, G. Bertrand, B. Seegebarth, P. Kurzok, B. Schattenberg, W. Minker, M. Weber and S. Biundo, "Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems" in 10th International Conference on Intelligent Environments (IE 2014), IEEE, 2014, pp. 378--381.
DOI:10.1109/IE.2014.60
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Honold2014HomeTheaterVideo.pdf
61.
T. Geier, F. Richter and S. Biundo, "Conditioned Belief Propagation Revisited" in Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 18-22 August 2014,Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Eds. Amsterdam: IOS Press, 2014, pp. 1011-1012.
DOI:10.3233/978-1-61499-419-0-1011
60.
T. Schneider, "Entwicklung nutzerunabhängiger Strategien zur Auswahl, Vereinfachung und Zusammenfassung von formalen Planerklärungen", Bachelor Thesis, Ulm University, 2014.
59.
S. Keen, "Exploiting Task Decomposition Graphs for Hierarchical Planning ", Diploma Thesis, Ulm University, 2014.
58.
D. Höller, P. Bercher, F. Richter, M. R. G. Schiller, T. Geier and S. Biundo, "Finding User-friendly Linearizations of Partially Ordered Plans" in 28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014), 2014.
Weblink:http://www.puk-workshop.de/puk2014/prog.html
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller14PlanLinearization.pdf
57.
P. Bercher, S. Keen and S. Biundo, "Hybrid Planning Heuristics Based on Task Decomposition Graphs" in Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014), AAAI Press, 2014, pp. 35--43.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Bercher14HybridHeuristics.pdf
56.
T. Schmidke, "Interaktive Handlungsplanung", Master Thesis, Ulm University, 2014.
55.
L. Pragst, F. Richter, P. Bercher, B. Schattenberg and S. Biundo, "Introducing Hierarchy to Non-Hierarchical Planning Models – A Case Study for Behavioral Adversary Models" in 28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014), 2014.
Weblink:http://www.puk-workshop.de/puk2014/prog.html
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Pragst14CyberSecurity.pdf