arXiv:2607.21184cs.AIcs.LG2026-07

用逻辑编程解析气象公报,解释专家选图标的理由。

Explaining Weather Bulletins via ILP

论文配图:Explaining Weather Bulletins via ILP
图 1 · 摘自论文原文
  • 基于ILP框架从气象数据生成可解释的规则
  • 成功还原专家在公报中使用特定符号的决策逻辑
  • 方法通用,可推广至其他地区和气象源

归纳逻辑编程(ILP)自上世纪90年代起作为符号学习与声明式知识表示结合的框架发展至今,已具备学习复杂非单调假设的能力,拓展了实际应用场景。本文基于FastLAS2框架,旨在生成简洁、可解释的假设,以澄清意大利弗留利-威尼斯朱利亚大区区域气象观测站OSMER FVG发布的气象公报。我们提出一个流程:从模拟气象原始数据及OSMER公报(作为真实标签)中提取为ASP事实,并生成ILP训练样本;再通过FastLAS2推导出解释性假设。该假设经自然语言转换后,可解释人类专家发布的气象预报及其在公报图示中选择特定符号的依据。该方法具有通用性,不局限于特定区域,可应用于其他来源或地区的气象公报。

原文摘要 · Abstract (English)

Inductive Logic Programming (ILP) originated within the Logic Programming community in the Nineties as a framework for combining symbolic learning with declarative knowledge representation. Nowadays, mature ILP frameworks exist and they are capable of learning complex, non-monotonic hypotheses, thus broadening both the modeling capabilities and the scope of real-world applications of ILP. This work is primarily based on the FastLAS2 framework and aims to generate simple, interpretable hypotheses to help clarify the weather bulletins issued by OSMER FVG, the Regional Meteorological Observatory of the Italian region of Friuli Venezia-Giulia. In this paper we present a pipeline that, starting from simulated meteorological raw data and from OSMERs' bulletins (used as ground truth), extracts data as ASP facts and generates ILP examples. From such examples an explanatory hypothesis is then inferred via FastLAS2. Such a hypothesis (translated into natural language) explains the weather forecast issued by human experts, and in particular the rationale behind experts' choices of specific symbols in the bulletin pictogram (the symbol-annotated meteorological map of the forecast). The proposed approach is general, not specific to any particular region and it can equally be applied to bulletins from other sources and to different regions.

逻辑编程气象预测可解释性知识发现

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。