论文标题
从规范模型到解释模型：定时自动机的提取和完善过程
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
论文作者
论文摘要
自主系统控制我们日常生活中的许多任务。为了提高对这些系统的信任以及人类与自治系统之间互动的安全性，应向用户，专家和公共当局解释系统的行为和自治决策原因。提供此类解释的一种方法是使用行为模型在运行时生成上下文和特定于用户的解释。但是，由于需要构建其他模型，这是以更高的建模工作为代价的。在本文中，我们提出了一个高级过程，以从系统模型中提取此类解释模型，然后将这些模型改进特定用户，解释目的和情况。通过这种情况，我们可以重新使用规范模型，以将自我解释功能集成到系统中。我们使用自动驾驶域中的运行示例来展示我们的方法。
Autonomous systems control many tasks in our daily lives. To increase trust in those systems and safety of the interaction between humans and autonomous systems, the system behaviour and reasons for autonomous decision should be explained to users, experts and public authorities. One way to provide such explanations is to use behavioural models to generate context- and user-specific explanations at run-time. However, this comes at the cost of higher modelling effort as additional models need to be constructed. In this paper, we propose a high-level process to extract such explanation models from system models, and to subsequently refine these towards specific users, explanation purposes and situations. By this, we enable the reuse of specification models for integrating self-explanation capabilities into systems. We showcase our approach using a running example from the autonomous driving domain.
