Open-ended Scientific Discovery with Possibilistic Reasoning

What this work does

The paper formalizes abductive autonomous scientific discovery with possibility theory, allowing agents to generate and test hypotheses while acknowledging that better explanations may remain undiscovered. It introduces an abductive-utility objective and an anytime-valid frontier-search algorithm.