Publikation

Self-Explaining Digital Systems – Some Technical Steps

Görschwin Fey, Rolf Drechsler

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2019) April 8-9 Kaiserslautern Germany 2019.

Abstrakt

Today’s increasingly complex adaptable and autonomous systems are hard to design and difficult to use. Partly this is dueto problems in understanding why a system executes certain actions. We propose to extend digital systems such that theycan explain their actions to users and designers. We formalize this asself-explanationand show how to implement andverify a self-explaining system. A robot controller serves as proof-of-concept for self-explanation.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence