利用时间溯因进行生物信号解释：QRS检测案例研究

本工作提出了一种基于时间抽象模式概念的生物信号解释溯因框架。时间抽象模式定义了观察假设与其证据支持所构成的观察集合之间的抽象关系。通过从模式的任意证据子集溯因生成新的观察，构建观察的抽象层次，其中高层包含对给定信号所涉生理过程具有更大解释价值的观察。非单调推理技术被应用于该模型，以寻找一组初始观察的最佳解释，甚至允许通过移除、添加或修改观察来纠正这些观察，使其与可用的领域知识保持一致。已有初步实验将该框架应用于一个著名且有界的问题：心电图信号中的QRS检测。目的并非提供新的更优QRS检测器，而是检验溯因范式的有效性。这些实验表明，仅由少量简单节律抽象模式构成的知识库即可通过显著提高检测F1分数来增强最先进算法的结果，同时也证明了该溯因框架纠正灵敏度和特异度失败的能力。