论文标题
自主决定性系统的挑剔表征
A Doxastic Characterisation of Autonomous Decisive Systems
论文作者
论文摘要
一个高度自主的系统（HAS）必须评估其处境并获得信念，根据哪些信念，它决定下一步该怎么做。这些信念并不仅仅基于到目前为止所做的观察，而是基于对世界的一般见解。这些见解是在设计过程中建立的，或者在其任务过程中由可信赖的来源提供。尽管它的信念可能不精确并且可能存在缺陷，但它必须推断可能的未来，以评估其行动的后果，然后自主做出决定。在本文中，我们将一个自主决定性系统形式化为一种系统，总是选择当前认为是最好的行动。我们证明，可以检查是否可以在应用程序领域，动态变化的知识库和LTL任务目标列表的情况下检查自主决定性系统。此外，我们可以为自主决定性系统综合信仰形成。对于正式表征，我们使用Doxastic框架来安全至关重要的HASS，其中信仰形成支持了HAS的外推。
A highly autonomous system (HAS) has to assess the situation it is in and derive beliefs, based on which, it decides what to do next. The beliefs are not solely based on the observations the HAS has made so far, but also on general insights about the world, in which the HAS operates. These insights have either been built in the HAS during design or are provided by trusted sources during its mission. Although its beliefs may be imprecise and might bear flaws, the HAS will have to extrapolate the possible futures in order to evaluate the consequences of its actions and then take its decisions autonomously. In this paper, we formalize an autonomous decisive system as a system that always chooses actions that it currently believes are the best. We show that it can be checked whether an autonomous decisive system can be built given an application domain, the dynamically changing knowledge base and a list of LTL mission goals. We moreover can synthesize a belief formation for an autonomous decisive system. For the formal characterization, we use a doxastic framework for safety-critical HASs where the belief formation supports the HAS's extrapolation.
