用有限状态自然语言生成模型解释违规痕迹
Explaining Violation Traces with Finite State Natural Language Generation Models
摘要：
任何核查技术的一个基本要素是查明并向用户通报导致偏离预期行为的系统行为。这种行为通常作为系统动作的长跟踪而可用，这将受益于跟踪的自然语言解释，特别是在业务逻辑级规范的上下文中。在本文中，我们提出了一个自然语言生成模型，可以用来解释这种痕迹。一个关键的思想是解释语言是一个CNL，也就是说，从形式上讲，正则语言敏感的转换，可以用有限状态机表示。同时，它允许各种形式的抽象和简化，这有助于向用户传达的解释的自然性。
英文摘要：
An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
