基于可能性推理的开放式科学发现

研究提出利用可能性理论将大语言模型（LLM）的开放式科学发现形式化为溯因自主科学发现（AASD）。针对假设生成与背景知识动态修正的挑战，研究引入了可计算的发现进展度量“溯因效用”，并开发出首个 AASD 算法“可能性前沿搜索”（possibility frontier search）。