睡眠医学指南符号表示的集成逻辑
Ensemble Logic for Symbolic Representation of Sleep Medicine Guidelines
浏览论文内容
中文总结 AI 辅助
研究针对AASM手册评分规则解释多样问题，提出将其转换为QEL的框架，经提取编译确定相关命题和规范，反向翻译语义保真度高，能澄清歧义，为计算表型分析提供严格规范，促进PSG分析标准化。
中文摘要 AI 辅助
美国睡眠医学学会（AASM）手册是多导睡眠图（PSG）评分的临床标准，但其叙述规则存在多种合理解释，导致评分者间差异以及不同研究和软件系统的实施差异。我们提出一个正式框架，将睡眠评分规则转换为理性集成逻辑（QEL），它是一种密集时间形式主义，结合了一阶量化和度量时态运算符。通过提取和编译程序，确定了18个独特原子命题并得出12个对应可临床评分的AASM事件的最终规范。QEL规范反向翻译为面向临床医生的语言，虽词汇重叠率低，但语义保真度高。形式化还澄清了潜在歧义。该框架为计算表型分析产生可执行、严格的规则规范，实现跨数据集更一致的实施和标准化开源PSG分析。
英文摘要
The American Academy of Sleep Medicine (AASM) Manual is the clinical standard for polysomnography (PSG) scoring, but its narrative rules can admit multiple reasonable interpretations, contributing to inter-scorer variability and implementation differences across studies and software systems. We present a formal framework for translating sleep-scoring rules into Rational Ensemble Logic (QEL), a dense-time (i.e., a continuous, rational-valued timeline rather than discrete steps) formalism that combines first-order quantification with metric temporal operators. Using an extraction-and-compilation procedure, we identified 18 unique atomic propositions and derived 12 final specifications corresponding to clinically scoreable AASM events. Back-translation of QEL specifications into clinician-facing language retained high semantic fidelity to the original scoring narratives (embedding cosine similarity: 79.3, 95% CI: 79.0--79.7) despite low lexical overlap (ROUGE-L: 18.3, 95 CI: 17.6--18.9). Formalization also clarifies latent ambiguities, including implicit physiological latencies and overlapping exclusions. This framework yields executable, rigorous rule specifications for computational phenotyping, more consistent implementation across datasets, and standardized open-source PSG analysis. This work is a part of the "Symbolic Biomedicine" program championed by the corresponding author.
