Recent work shows issues of consistency with explanations, with methods
generating local explanations that seem reasonable instance-wise, but that are
inconsistent across instances. This suggests not only that instance-wise
explanations can be unreliable, but mainly that, when interacting with a system
via multiple inputs, a user may actually lose confidence in the system. To
better analyse this issue, in this work we treat explanations as objects that
can be subject to reasoning and present a formal model of the interactive
scenario between user and system, via sequences of inputs, outputs, and
explanations. We argue that explanations can be thought of as committing to
some model behaviour (even if only prima facie), suggesting a form of
entailment, which, we argue, should be thought of as non-monotonic. This
allows: 1) to solve some considered inconsistencies in explanation, such as via
a specificity relation; 2) to consider properties from the non-monotonic
reasoning literature and discuss their desirability, gaining more insight on
the interactive explanation scenario.

本文提出了关于解释对象的一种形式模型，用于分析用户与系统之间的交互情景，通过输入，输出和解释的顺序。作者论证了解释可以被认为是承诺某种行为模式的对象，并认为其应被视为非单调性。这样做可以通过确定性关系解决一些解释中考虑到的不一致性，也可以考虑非单调推理文献中的属性并讨论其可取性，从而更深入地了解交互式解释场景。

关于交互性解释的非单调推理

On Interactive Explanations as Non-Monotonic Reasoning

Recognising that real-world optimisation problems have multiple
interdependent components can be quite easy. However, providing a generic and
formal model for dependencies between components can be a tricky task. In fact,
a PMIC can be considered simply as a single optimisation problem and the
dependencies between components could be investigated by studying the
decomposability of the problem and the correlations between the sub-problems.
In this work, we attempt to define PMICs by reasoning from a reverse
perspective. Instead of considering a decomposable problem, we model multiple
problems (the components) and define how these components could be connected.
In this document, we introduce notions related to problems with mutliple
interndependent components. We start by introducing realistic examples from
logistics and supply chain management to illustrate the composite nature and
dependencies in these problems. Afterwards, we provide our attempt to formalise
and classify dependency in multi-component problems.

该研究介绍了通过建立多个问题组件的模型，定义依赖关系，从而形成 PMIC 模型的尝试，为实现对混合问题的分类提供了一种新的视角。

多个相互依存组件问题研究 - 第一部分

A study of problems with multiple interdependent components - Part I

In this work we start walking the path to a new perspective for viewing
cyberwarfare scenarios, by introducing conceptual tools (a formal model) to
evaluate the costs of an attack, to describe the theater of operations,
targets, missions, actions, plans and assets involved in cyberwarfare attacks.
We also describe two applications of this model: autonomous planning leading to
automated penetration tests, and attack simulations, allowing a system
administrator to evaluate the vulnerabilities of his network.

本文使用概念工具（形式模型）评估攻击的成本，并描述参与网络攻击的操作目标、任务、行动、计划和资产。在此基础上，提出两种模型应用：自主规划和攻击模拟，用于自动化渗透测试和网络漏洞评估。