速報 大型語言模型輔助成員查詢:以反概念驗證本體學習 在主動學習中成員查詢允許學習者向教師提出是非命題以驗證本體涵蓋性。本研究將候選公理重寫為對應反概念並以受控自然語言表述,再交由大型語言模型提供近似實例作為反例近似。實驗使用十三款商用大型語言模型於多個既有本體,結果顯示僅會出現第二類錯誤,召回率保持穩定且主要影響為延緩建模流程。