不确定结构中的双相似状态
摘要：不确定的等价关系在这里被我们提供了一个范畴化的概念，它允许推论关于等价关系并与相关系统的不知情而进行推理。这种不确定性在自动机学习算法中自然而然地出现，其中我们调查的是两个观察行为是否来自于一个不透明的黑匣子系统的相同内部状态。我们将这种不确定性建模为一个带有偏序的集合函子，用于描述学习过程可能出现的未来发展。基于这样的函子，我们提供了基于扩展的不确定等价关系的定义，并验证了基本性质。除了在Mealy机器中的应用之外，我们的框架还实例化为现有的悬挂自动机上的兼容关系，这些悬挂自动机被用于基于模型的测试。我们表明，不确定等价关系是两个状态在黑匣子系统中由相同状态实现的必要但不充分条件。为了解决这一方向的失败，我们用对偶代数模拟的方式对不确定等价关系进行了表征。
作者：Jurriaan Rot, Thorsten Wi{ss}mann
论文ID：2303.15279
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2023-03-28