用可能性推理实现开放式科学发现

论文将开放式自主科学发现形式化为基于可能性理论的 AASD，提出可计算的发现进度度量 abductive utility，并给出首个 AASD 算法 possibility frontier search。该算法在维持 anytime validity 的同时，在合适条件下渐近达到 ε-optimal abductive utility，在合成与真实科学发现任务上表现良好。